English
Related papers

Related papers: Computing Cylindrical Algebraic Decomposition via …

200 papers

Diffusive representations of fractional derivatives have proven to be useful tools in the construction of fast and memory efficient numerical methods for solving fractional differential equations. A common challenge in many of the known…

Numerical Analysis · Mathematics 2022-04-11 Kai Diethelm

Control Lyapunov functions (CLFs) play a vital role in modern control applications, but finding them remains a problem. Recently, the control Lyapunov-value function (CLVF) and robust CLVF have been proposed as solutions for nonlinear…

Optimization and Control · Mathematics 2024-04-03 Zheng Gong , Hyun Joe Jeong , Sylvia Herbert

Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups. Accordingly, we use mathematical tools like products and…

Group Theory · Mathematics 2025-05-06 Attila Egri-Nagy , Chrystopher L. Nehaniv

In the analysis of High-Energy Physics data, it is frequently desired to separate resonant signals from a smooth, non-resonant background. This paper introduces a new technique - functional decomposition (FD) - to accomplish this task. It…

Data Analysis, Statistics and Probability · Physics 2018-05-15 Ryan Edgar , Dante Amidei , Christopher Grud , Karishma Sekhon

We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…

Geometric Topology · Mathematics 2018-12-26 Luck Darnière

Let $\mathbb{F}_q$ be a finite field. Given two irreducible polynomials $f,g$ over $\mathbb{F}_q$, with $\mathrm{deg} f$ dividing $\mathrm{deg} g$, the finite field embedding problem asks to compute an explicit description of a field…

Symbolic Computation · Computer Science 2020-01-07 Ludovic Brieulle , Luca De Feo , Javad Doliskani , Jean-Pierre Flori , Éric Schost

Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Br\"and\'en and Solus have given sufficient conditions under which the image…

Combinatorics · Mathematics 2021-03-08 Christos A. Athanasiadis , Eleni Tzanaki

We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied…

Symbolic Computation · Computer Science 2022-01-05 Matthias Heller , Andreas von Manteuffel

In this article we present a parallel modular algorithm to compute all solutions with multiplicities of a given zero-dimensional polynomial system of equations over the rationals. In fact, we compute a triangular decomposition using…

Commutative Algebra · Mathematics 2013-06-12 Deeba Afzal , Faira Kanwal , Gerhard Pfister , Stefan Steidel

The Donald-Flanigan conjecture asserts that any group algebra of a finite group has a separable deformation. We apply an inductive method to deform group algebras from deformations of normal subgroup algebras, establishing an infinite…

Representation Theory · Mathematics 2024-04-16 Yuval Ginosar , Ariel Amsalem

Diagonalization, or eigenvalue decomposition, is very useful in many areas of applied mathematics, including signal processing and quantum physics. Matrix decomposition is also a useful tool for approximating matrices as the product of a…

Spectral Theory · Mathematics 2016-06-07 Théo Trouillon , Christopher R. Dance , Éric Gaussier , Guillaume Bouchard

We propose a simple technique that, if combined with algorithms for computing functions of triangular matrices, can make them more efficient. Basically, such a technique consists in a specific scaling similarity transformation that reduces…

Numerical Analysis · Mathematics 2021-11-18 João R. Cardoso , Amir Sadeghi

We study the complexity of some fundamental operations for triangular sets in dimension zero. Using Las-Vegas algorithms, we prove that one can perform such operations as change of order, equiprojectable decomposition, or quasi-inverse…

Symbolic Computation · Computer Science 2011-09-21 Adrien Poteaux , Éric Schost

We present a novel certified and complete algorithm to compute arrangements of real planar algebraic curves. It provides a geometric-topological analysis of the decomposition of the plane induced by a finite number of algebraic curves in…

Computational Geometry · Computer Science 2012-01-13 Eric Berberich , Pavel Emeliyanenko , Alexander Kobel , Michael Sagraloff

In this paper we generalize previous work on decomposition in three-dimensional orbifolds by 2-groups realized as analogues of central extensions, to orbifolds by more general 2-groups. We describe the computation of such orbifolds in…

High Energy Physics - Theory · Physics 2023-08-23 Alonso Perez-Lona , Eric Sharpe

The classical approach to solvability of a mathematical problem is to define a method which includes certain rules of operation or algorithms. Then using the defined method, one can show that some problems are solvable or not solvable or…

Geophysics · Physics 2010-12-03 August Lau , Chuan Yin

Existing structural analysis methods may fail to find all hidden constraints for a system of differential-algebraic equations with parameters if the system is structurally unamenable for certain values of the parameters. In this paper, for…

Numerical Analysis · Mathematics 2024-01-11 Wenqiang Yang , Wenyuan Wu , Greg Reid

In this survey, we first review some known results on the representation theory of algebras with triangular decomposition, including the classification of the simple modules. We then discuss a recipe to construct Hopf algebras with…

Quantum Algebra · Mathematics 2020-08-24 Cristian Vay

A way to construct and classify the three dimensional polynomially deformed algebras is given and the irreducible representations is presented. for the quadratic algebras 4 different algebras are obtained and for cubic algebras 12 different…

Mathematical Physics · Physics 2007-05-23 Bindu A. Bambah

Let R be a ring. A construction method for flexible quadratic algebras with scalar involution over R is presented which unifies various classical constructions in the literature, in particular those to construct composition algebras.

Rings and Algebras · Mathematics 2007-05-23 S. Pumpluen