Related papers: Scalar actions in Lean's mathlib
We study arithmetic inequalities for multiplicative, sub(super)-multiplicative, sub(super)-homogeneous functions. Applications for the classical arithmetic functions are pointed out.
Linear algebra is a major field of numerical computation and is widely applied. Most linear algebra libraries (in most programming languages) do not statically guarantee consistency of the dimensions of vectors and matrices, causing runtime…
We introduce, for any group $G$, a category $G\Gamma$ such that diagrams $G\Gamma \rightarrow \mathcal{SS}ets$ satisfying a Segal condition correspond to infinite loop spaces with a $G$-action. We also consider diagrams which encode group…
Signal Processing (SP) and Machine Learning (ML) rely on good math and coding knowledge, in particular, linear algebra, probability, trigonometry, and complex numbers. A good grasp of these relies on scalar algebra learned in middle school.…
The focus of these lecture notes is on abstract models and basic ideas and results that relate to the operational semantics of programming languages largely conceived. The approach is to start with an abstract description of the computation…
Large language models (LLMs) are primarily designed to understand unstructured text. When directly applied to structured formats such as tabular data, they may struggle to discern inherent relationships and overlook critical patterns. While…
The purpose of the present paper is to find the necessary and sufficient conditions for the subclasses of analytic functions associated with Pascal distribution to be in subclasses of spiral-like univalent functions and inclusion relations…
PENLAB is an open source software package for nonlinear optimization, linear and nonlinear semidefinite optimization and any combination of these. It is written entirely in MATLAB. PENLAB is a young brother of our code PENNON \cite{pennon}…
A realization of representations of the Lie algebra $\mathfrak{o}_5$ in the space of functions on a group $Spin_5\simeq Sp_4$ is considered. In a representation we take a Gelfand-Tsetlin type base associated with a restriction…
Borrowing inspiration from Marcone and Mont\'{a}lban's one-one correspondence between the class of signed trees and the equimorphism classes of indecomposable scattered linear orders, we find a subclass of signed trees which has an…
We investigate some properties of the clopen type semigroup of an action of a countable group on a compact, $0$-dimensional, Hausdorff space X. We discuss some characterizations of dynamical comparison (most of which were already known in…
Due to the remarkable language understanding and generation abilities of large language models (LLMs), their use in educational applications has been explored. However, little work has been done on investigating the pedagogical ability of…
Interactive theorem provers, like Isabelle/HOL, Coq and Lean, have expressive languages that allow the formalization of general mathematical objects and proofs. In this context, an important goal is to reduce the time and effort needed to…
This paper deals with nonsmooth convex optimization problems in Euclidean spaces. We identify special elements of the subdifferential of a convex function, called specular gradients. Based on this observation, we propose three numerical…
Symmetric functions provide one of the most efficient tools for combinatorial enumeration, in the context of objects that may be acted upon by permutations. Only assuming a basic knowledge of linear algebra, we introduce and describe the…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
Deep Active Learning (DAL) has been advocated as a promising method to reduce labeling costs in supervised learning. However, existing evaluations of DAL methods are based on different settings, and their results are controversial. To…
The applicability and usefulness of implicit sampling in stochastic optimal control, stochastic localization, and simultaneous localization and mapping (SLAM), is explored; implicit sampling is a recently-developed variationally-enhanced…
The simulations of the light scalar mesons on the lattice are presented at the introductory level. The methods for determining the scalar meson masses are described. The problems related to some of these methods are presented and their…
Linear algebra expressions, which play a central role in countless scientific computations, are often computed via a sequence of calls to existing libraries of building blocks (such as those provided by BLAS and LAPACK). A sequence…