Related papers: Algebraic Analysis Applied to the Theory of Linear…
Linear typed $\lambda$-calculi are more delicate than their simply typed siblings when it comes to metatheoretic results like preservation of typing under renaming and substitution. Tracking the usage of variables in contexts places more…
An abstract mathematical framework is presented in this paper as a unification of several deformed or generalized algebra proposed recently in the context of generalized statistical theories intended to treat certain complex thermodynamic…
Semicrossed product algebras have been used to study dynamical systems since their introduction by Arveson in 1967. In this survey article, we discuss the history and some recent work, focussing on the conjugacy problem, dilation theory and…
The algebraic structures known as {\it Leavitt path algebras} were initially developed in 2004 by Ara, Moreno and Pardo, and almost simultaneously (using a different approach) by the author and Aranda Pino. During the intervening decade,…
This book gives a thorough introduction to topological data analysis (TDA), the application of algebraic topology to data science. Algebraic topology is traditionally a very specialized field of math, and most mathematicians have never been…
Algebras of Logic deal with some algebraic structures, often bounded lattices, considered as models of certain logics, including logic as a domain of order theory. There are well known their importance and applications in social life to…
The paper has a form of a talk on the given topic. It consists of three parts. The first part of the paper contains main notions, the second one is devoted to logical geometry, the third part describes types and isotypeness. The problems…
The study of Reynolds algebras has its origin in the well-known work of O. Reynolds on fluid dynamics in 1895 and has since found broad applications. It also has close relationship with important linear operators such as algebra…
Dynamic Complexity was introduced by Immerman and Patnaik \cite{PatnaikImmerman97} (see also \cite{DongST95}). It has seen a resurgence of interest in the recent past, see…
The role of the algebraic method has long been understood in shedding light on the topological structure of sets. However, when the set is a simplicial complex and host to a dynamical process, in particular the trajectory of a canonically…
This Lecture Notes is meant to introduce noncommutative algebraic geometry tools (which were invented by M. Artin, W. Schelter, J. Tate, and M. Van den Bergh in the late 1980s) and also graded skew Clifford algebras (which were introduced…
A generalization of the reduction technique for ODEs recently introduced by Gao and Liu is given. It is shown that the use of algebraic methods allows the extension of the procedure to much more general flows, as well as the derivation of…
Linear dynamical systems are the foundational statistical model upon which control theory is built. Both the celebrated Kalman filter and the linear quadratic regulator require knowledge of the system dynamics to provide analytic…
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circuits can also be viewed as the elements of the smallest…
This is a revised version of the notes from the week-long course I gave at the Centre de Recerca Matematica, Barcelona, in September of 2010. The aim is to give a working overview of recent methods and results in "Blaschkean integral…
An equational logic program is a set of directed equations or rules, which are used to compute in the obvious way (by replacing equals with ``simpler'' equals). We present static analysis techniques for efficient equational logic…
Algebraic quantum field theory is a general mathematical framework for relativistic quantum physics, based on the theory of operator algebras. It comprises all observable and operational aspects of a theory. In its framework the entire…
We formulate the notion of continuous evolution algebra in terms of differentiable matrix-valued functions, to then study those such algebras arising as solutions of ODE problems. Given their dependence on natural bases, matrix Lie groups…
As soon as a new technology emerges, the education community explores its affordances and the possibilities to apply it in education. In this paper, we analyze sessions with ChatGPT around topics in basic Linear Algebra. We reflect the…
Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantale-valued functions relative to ternary relations. The resulting notion of…