English
Related papers

Related papers: A Geometric Approach to Cylindrical Algebraic Deco…

200 papers

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

Rings and Algebras · Mathematics 2017-08-04 Nathan BeDell

The development of algorithmic fractal dimensions in this century has had many fruitful interactions with geometric measure theory, especially fractal geometry in Euclidean spaces. We survey these developments, with emphasis on connections…

Computational Complexity · Computer Science 2020-07-29 Jack H. Lutz , Elvira Mayordomo

We present a simple geometric construction linking geometric to deformation quantization. Both theories depend on some apparently arbitrary parameters, most importantly a polarization and a symplectic connection, and for real polarizations…

Mathematical Physics · Physics 2009-07-06 Christoph Nölle

One of the difficulties in doing noncommutative projective geometry via explicitly presented graded algebras is that it is usually quite difficult to show flatness, as the Hilbert series is uncomputable in general. If the algebra has a…

Algebraic Geometry · Mathematics 2022-02-18 Eric M. Rains

Superanalysis can be deformed with a fermionic star product into a Clifford calculus that is equivalent to geometric algebra. With this multivector formalism it is then possible to formulate Riemannian geometry and an inhomogeneous…

Mathematical Physics · Physics 2015-06-26 Peter Henselder

This paper introduces arithmetic geometry for polynomial identity algebras using non-commutative (formal) deformation theory. Since formal deformation theory is inherently local the arithmetic and geometric results that follow give local…

Number Theory · Mathematics 2023-08-29 Daniel Larsson

We automatically verify the crucial steps in the original proof of correctness of an algorithm which, given a geometric graph satisfying certain additional properties removes edges in a systematic way for producing a connected graph in…

Logic in Computer Science · Computer Science 2023-11-30 Lucas Böltz , Viorica Sofronie-Stokkermans , Hannes Frey

A general scheme for determining and studying integrable deformations of algebraic curves is presented. The method is illustrated with the analysis of the hyperelliptic case. An associated multi-Hamiltonian hierarchy of systems of…

Exactly Solvable and Integrable Systems · Physics 2009-11-10 B. Konopelchenko , L. Martinez Alonso

We consider cylindrical algebraic decompositions (CADs) as a tool for representing semi-algebraic subsets of $\mathbb{R}^n$. In this framework, a CAD $\mathscr{C}$ is adapted to a given set $S$ if $S$ is a union of cells of $\mathscr{C}$.…

Symbolic Computation · Computer Science 2026-01-15 Lucas Michel , Pierre Mathonet , Naïm Zénaïdi

In this paper we consider disjoint decomposition of algebraic and non-linear partial differential systems of equations and inequations into so-called simple subsystems. We exploit Thomas decomposition ideas and develop them into a new…

Commutative Algebra · Mathematics 2015-05-19 Thomas Bächler , Vladimir Gerdt , Markus Lange-Hegermann , Daniel Robertz

Through the subsequent discussion we consider a certain particular sort of (topological) algebras, which may substitute the `` structure sheaf algebras'' in many--in point of fact, in all--the situations of a geometrical character that…

General Relativity and Quantum Cosmology · Physics 2007-05-23 Anastasios Mallios

The geodesic complexity of a Riemannian manifold is a numerical isometry invariant that is determined by the structure of its cut loci. In this article we study decompositions of cut loci over whose components the tangent cut loci fiber in…

Geometric Topology · Mathematics 2022-10-25 Stephan Mescher , Maximilian Stegemeyer

Our main result is that any real cubic algebraic number has a continued fraction expansion with polynomial coefficients. Some generalizations are mentioned.

Number Theory · Mathematics 2025-02-28 Henri Cohen

Tropical Differential Algebraic Geometry considers difficult or even intractable problems in Differential Equations and tries to extract information on their solutions from a restricted structure of the input. The Fundamental Theorem of…

A new projection operator based on cylindrical algebraic decomposition (CAD) is proposed. The new operator computes the intersection of projection factor sets produced by different CAD projection orders. In other words, it computes the gcd…

Symbolic Computation · Computer Science 2014-05-20 Jingjun Han , Liyun Dai , Bican Xia

This paper presents a new class of adaptive filters, namely Geometric-Algebra Adaptive Filters (GAAFs). They are generated by formulating the underlying minimization problem (a deterministic cost function) from the perspective of Geometric…

Optimization and Control · Mathematics 2018-08-22 Wilder B. Lopes , Cassio G. Lopes

Historically, there have been many attempts to produce an appropriate mathematical formalism for modeling the nature of physical space, such as Euclid's geometry, Descartes' system of Cartesian coordinates, the Argand plane, Hamilton's…

History and Philosophy of Physics · Physics 2016-02-23 James M. Chappell , Azhar Iqbal , Derek Abbott

Many statistical models are algebraic in that they are defined in terms of polynomial constraints, or in terms of polynomial or rational parametrizations. The parameter spaces of such models are typically semi-algebraic subsets of the…

Statistics Theory · Mathematics 2010-03-04 Mathias Drton , Seth Sullivant

Quadratic algebras are generalizations of Lie algebras which include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…

Mathematical Physics · Physics 2018-01-03 Mauricio A. Escobar Ruiz , Willard Miller , Eyal Subag

Tropical mathematics redefines the rules of arithmetic by replacing addition with taking a maximum, and by replacing multiplication with addition. After briefly discussing a tropical version of linear algebra, we study polynomials build…

Algebraic Geometry · Mathematics 2019-08-21 Ralph Morrison