RegularChains
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Fast arithmetic for triangular sets: from theory to practice
- Dagwood
- Epsilon
- Ginv
- Kronecker
- Maple
- MetiTarski
- ZariskiFrames
- Locales
- DifferentialElimination
- QEPCAD
- REDLOG
- SymbolicData
- 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
- Open weak CAD and its applications
- Complexity of triangular representations of algebraic sets
- On the mechanization of straightedge and compass constructions
- The Gröbner cover
- OreModules
- Maplet
- modpn
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries
- SqFreeEVAL
- DISCOVERER
- Janet
- SgpDec
- 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
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Using machine learning to improve cylindrical algebraic decomposition
- On exact Reznick, Hilbert-Artin and Putinar's representations
- BPAS
- CUMODP
- DifferentialThomas
- BLAD
- DIFFALG
- Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
- Paramotopy
- 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
- Jets
- IFSGen4LaTeX
- Wsolve
- ProjectionCAD
- grobcov.lib
- control.lib
- Computing strong regular characteristic pairs with Gröbner bases
- On the uniqueness problem for quadrature domains
- Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response
- Identifying the parametric occurrence of multiple steady states for some biological networks
- On types of degenerate critical points of real polynomial functions
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- primdec
- Computing images of polynomial maps
- Metalibm
- Fully incremental cylindrical algebraic decomposition
- Cylindrical algebraic decomposition with equational constraints
- OreMorphisms
- LocalizeRingForHomalg
- AlgebraicThomas
- AIDA
- Study of \(D\)-decompositions by the methods of computational real-valued algebraic geometry
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- On approximate triangular decompositions in dimension zero
- Change of order for regular chains in positive dimension
- FRISCO
- Mathematical software -- ICMS 2014. 4th international congress, Seoul, South Korea, August 5--9, 2014. Proceedings
- MABSys
- Indiff
- Phcmaple
- InvolutiveBases
- SDeval
- MapleTA
- Qualitative investigation of a gene model using computer algebra algorithms
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Parallelization of triangular decompositions: techniques and implementation
- OreAlgebraicAnalysis
- NLControl
- Real root isolation of regular chains
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Recognition of concurrency relations between inaccurate lines
- ConstructibleSetTools
- ParametricSystemTools
- 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
- Size of coefficients of lexicographical Gröbner bases: the zero-dimensional, radical and bivariate case
- Computations modulo regular chains
- MABSys: Modeling and analysis of biological systems
- Verifiable conditions on asymptotic stabilisability for a class of planar switched linear systems
- Computing the canonical representation of constructible sets
This page was built for software: RegularChains
