Related papers: Dynamical method in algebra: Effective Nullstellen…
Linear Dynamical Systems, both discrete and continuous, are invaluable mathematical models in a plethora of applications such the verification of probabilistic systems, model checking, computational biology, cyber-physical systems, and…
We revisit tensor algebras of subproduct systems with Hilbert space fibers, resolving some open questions in the case of infinite dimensional fibers. We characterize when a tensor algebra can be identified as the algebra of uniformly…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
An algebraic structure related to discrete zero curvature equations is established. It is used to give an approach for generating master symmetries of first degree for systems of discrete evolution equations and an answer to why there exist…
The problem of algebraic dependence of solutions to (non-linear) first order autonomous equations over an algebraically closed field of characteristic zero is given a `complete' answer, obtained independently of model theoretic results on…
We consider faithful actions of simple algebraic groups on self-dual irreducible modules, and on the associated varieties of totally singular subspaces, under the assumption that the dimension of the group is at least as large as the…
In this memoir, we seek to construct a constructive theory that is as complete as possible to describe the algebraic properties of the real number field in constructive mathematics without a dependent choice axiom. To this purpose, we use a…
Over a field of characteristic zero we prove two formality conditions. We prove that a dg Lie algebra is formal if and only if its universal enveloping algebra is formal. We also prove that a commutative dg algebra is formal as a dg…
A second order accurate numerical scheme is proposed and implemented for the Landau-Lifshitz-Gilbert equation, which models magnetization dynamics in ferromagnetic materials, with large damping parameters. The main advantages of this method…
We introduce a very natural topology on the set of total orderings of monomials of any algebra having a countable basis over a field. This topological space and some notable subspaces are compact. This topological framework allows us to…
Alon's combinatorial Nullstellensatz (Theorem 1.1 from \cite{Alon1}) is one of the most powerful algebraic tools in combinatorics, with a diverse array of applications. Let $\F$ be a field, $S_1,S_2,..., S_n$ be finite nonempty subsets of…
Symmetry under a particular class of non-strictly canonical transformation may be used to identify, and subsequently excise degrees of freedom which do not contribute to the closure of the algebra of dynamical observables. Such redundant…
In this work we propose a formal system for fuzzy algebraic reasoning. The sequent calculus we define is based on two kinds of propositions, capturing equality and existence of terms as members of a fuzzy set. We provide a sound semantics…
Computer Algebra systems are widely spread because of some of their remarkable features such as their ease of use and performance. Nonetheless, this focus on performance sometimes leads to unwanted consequences: algorithms and computations…
A classical theorem of Forster asserts that a finite module $M$ of rank $\leq n$ over a Noetherian ring of Krull dimension $d$ can be generated by $n + d$ elements. We prove a generalization of this result, with "module" replaced by…
Traces of powers of the zero mode in the W3 Algebra have recently been found to be of interest, for example in relation to Black Hole thermodynamics, and arise as the terms in an expansion of the full characters of the algebra. We calculate…
We present a symbolic tool that provides robust algebraic methods to handle automatic deduction tasks for a dynamic geometry construction. The main prototype has been developed as two different worksheets for the open source computer…
An attempt is made to construct space and obtain dynamics from Loop Algebras and their elements. We define three new products between loops namely 'Vertical Product', 'Horizontal Product' and 'Total Product'. As for the dynamics, we obtain…
In this work, we extend modular techniques for computing Gr\"obner bases involving rational coefficients to (two-sided) ideals in free algebras. We show that the infinite nature of Gr\"obner bases in this setting renders the classical…
A version of the Dynamical Systems Method (DSM) for solving ill-posed nonlinear equations with monotone operators in a Hilbert space is studied in this paper. An a posteriori stopping rule, based on a discrepancy-type principle is proposed…