RegularChains

No author found.

Related Items (87)

Size of coefficients of lexicographical Groöbner bases ⋮ Computations modulo regular chains ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Curtains in CAD: Why Are They a Problem and How Do We Fix Them? ⋮ MABSys: Modeling and Analysis of Biological Systems ⋮ Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks ⋮ Computational schemes for subresultant chains ⋮ Computing the canonical representation of constructible sets ⋮ Qualitative investigation of a gene model using computer algebra algorithms ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Solving via Modular Methods ⋮ Verifiable Conditions on Asymptotic Stabilisability for a Class of Planar Switched Linear Systems ⋮ Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry ⋮ Algebraic and symbolic computation methods in dynamical systems. Based on articles written for the invited sessions of the 5th symposium on system structure and control, IFAC, Grenoble, France, February 4--6, 2013 and of the 21st international symposium on mathematical theory of networks and systems (MTNS 2014), Groningen, the Netherlands, July 7--11, 2014 ⋮ A symbolic-numerical algorithm for isolating real roots of certain radical expressions ⋮ Model reduction of chemical reaction systems using elimination ⋮ Unnamed Item ⋮ Gröbner bases for polynomial systems with parameters ⋮ A method for semi-rectifying algebraic and differential systems using scaling type lie point symmetries with linear algebra ⋮ Parallelization of triangular decompositions: techniques and implementation ⋮ Chordal Networks of Polynomial Ideals ⋮ Algorithms for computing triangular decomposition of polynomial systems ⋮ Comprehensive Triangular Decomposition ⋮ Computing with semi-algebraic sets: relaxation techniques and effective boundaries ⋮ Characterizations and Criteria for Synchronization of Heterogeneous Networks to Linear Subspaces ⋮ Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case ⋮ Decomposing polynomial sets simultaneously into Gröbner bases and normal triangular sets ⋮ What does ``without loss of generality mean, and how do we detect it ⋮ Algorithmic Thomas decomposition of algebraic and differential systems ⋮ Thomas Decomposition and Nonlinear Control Systems ⋮ Discovering polynomial Lyapunov functions for continuous dynamical systems ⋮ Open weak CAD and its applications ⋮ Complexity of triangular representations of algebraic sets ⋮ When does \(\langle T \rangle\) equal \(\text{sat}(T)\)? ⋮ Formal Algorithmic Elimination for PDEs ⋮ Formal algorithmic elimination for PDEs ⋮ Jordan Canonical Form with Parameters from Frobenius Form with Parameters ⋮ On the mechanization of straightedge and compass constructions ⋮ Computing strong regular characteristic pairs with Gröbner bases ⋮ On the uniqueness problem for quadrature domains ⋮ Unnamed Item ⋮ On approximate triangular decompositions in dimension zero ⋮ Change of order for regular chains in positive dimension ⋮ Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings ⋮ The Gröbner cover ⋮ Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response ⋮ The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple} ⋮ Computing the real solutions of polynomial systems with the RegularChains library in Maple ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple ⋮ Thomas Decomposition of Algebraic and Differential Systems ⋮ On exact Reznick, Hilbert-Artin and Putinar's representations ⋮ Unnamed Item ⋮ Identifying the parametric occurrence of multiple steady states for some biological networks ⋮ On types of degenerate critical points of real polynomial functions ⋮ Real Root Isolation of Regular Chains ⋮ Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings ⋮ Truth table invariant cylindrical algebraic decomposition ⋮ Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition ⋮ Triangular decomposition of semi-algebraic systems ⋮ Algebraic transformation of differential characteristic decompositions from one ranking to another ⋮ Computing images of polynomial maps ⋮ Fully incremental cylindrical algebraic decomposition ⋮ Cylindrical algebraic decomposition with equational constraints ⋮ Fast arithmetic for triangular sets: from theory to practice ⋮ Quantifier elimination by cylindrical algebraic decomposition based on regular chains ⋮ The Complexity of Cylindrical Algebraic Decomposition with Respect to Polynomial Degree ⋮ Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one ⋮ Recognition of concurrency relations between inaccurate lines ⋮ Algorithms for computing triangular decompositions of polynomial systems ⋮ Comprehensive LU Factors of Polynomial Matrices ⋮ An algorithmic approach to Chevalley’s Theorem on images of rational morphisms between affine varieties ⋮ Subresultant chains using Bézout matrices ⋮ Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition ⋮ New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis ⋮ On parametric linear system solving ⋮ Computing limits with the regularchains and powerseries libraries ⋮ Real Quantifier Elimination in the RegularChains Library ⋮ Cylindrical Algebraic Decomposition in the RegularChains Library ⋮ Hierarchical Comprehensive Triangular Decomposition ⋮ A Package for Parametric Matrix Computations ⋮ Using the Regular Chains Library to Build Cylindrical Algebraic Decompositions by Projecting and Lifting ⋮ Doing Algebraic Geometry with the RegularChains Library ⋮ Using Maple’s RegularChains Library to Automatically Classify Plane Geometric Loci ⋮ Solving Parametric Polynomial Systems by RealComprehensiveTriangularize ⋮ Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains

This page was built for software: RegularChains