swMATH796MaRDI QIDQ13544FDOQ13544
Author name not available (Why is that?)
Official website: http://www.regularchains.org/
Cited In (only showing first 100 items - show all)
- Comprehensive Triangular Decomposition
- Computing strong regular characteristic pairs with Gröbner bases
- Thomas decomposition of algebraic and differential systems
- When does \(\langle T \rangle\) equal \(\text{sat}(T)\)?
- Change of order for regular chains in positive dimension
- Real root isolation of regular chains
- Algorithms for computing triangular decompositions of polynomial systems
- A package for parametric matrix computations
- Algorithms for computing triangular decomposition of polynomial systems
- Algorithmic Thomas decomposition of algebraic and differential systems
- The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple
- Computing the canonical representation of constructible sets
- Computing with semi-algebraic sets: relaxation techniques and effective boundaries
- On approximate linearized triangular decompositions
- Intersection formulas and algorithms for computing triangular decompositions
- Solving via modular methods
- Epsilon
- Ginv
- Maple
- QEPCAD
- SymbolicData
- OreModules
- Maplet
- modpn
- SqFreeEVAL
- Formal algorithmic elimination for PDEs
- DISCOVERER
- Janet
- SgpDec
- BPAS
- CUMODP
- BLAD
- DifferentialThomas
- DIFFALG
- Paramotopy
- Jets
- IFSGen4LaTeX
- grobcov.lib
- ProjectionCAD
- control.lib
- Wsolve
- primdec
- Metalibm
- LocalizeRingForHomalg
- AlgebraicThomas
- OreMorphisms
- AIDA
- FRISCO
- Indiff
- MABSys
- Phcmaple
- InvolutiveBases
- SDeval
- MapleTA
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- NLControl
- OreAlgebraicAnalysis
- ConstructibleSetTools
- ParametricSystemTools
- Gröbner bases for polynomial systems with parameters
- Audi
- Singularity
- PowerSeries
- BranchCuts
- Theoryguru
- Chordal
- RealCertify
- SolveTools
- Stacks Project
- TDDS
- AlgebraicGeometryTools
- CylindricalAlgebraicDecompose
- RealComprehensiveTriangularize
- Formal algorithmic elimination for PDEs
- Open weak CAD and its applications
- Computing limits with the regularchains and powerseries libraries
- The \texttt{modpn} library: bringing fast polynomial arithmetic into \texttt{Maple}
- OSCAR
- ExpandedLiePointSymmetry
- Database of Polynomial Systems
- MultivariatePowerSeries
- Computer theorem proving for verifiable solving of geometric construction problems
- Algebraic transformation of differential characteristic decompositions from one ranking to another
- Truth table invariant cylindrical algebraic decomposition
- Computations modulo regular chains
- Model reduction of chemical reaction systems using elimination
- Decomposing polynomial sets into simple sets over finite fields: the zero-dimensional case
- Real root isolation of regular chains
- Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response
- A method for semi-rectifying algebraic and differential systems using scaling type Lie point symmetries with linear algebra
- Cylindrical algebraic decomposition in the RegularChains library
- Solving parametric polynomial systems by RealComprehensiveTriangularize
- Fast arithmetic for triangular sets: from theory to practice
- Characterizations and criteria for synchronization of heterogeneous networks to linear subspaces
- Doing algebraic geometry with the RegularChains library
- Quantifier elimination by cylindrical algebraic decomposition based on regular chains
- A symbolic-numerical algorithm for isolating real roots of certain radical expressions
- Thomas decomposition and nonlinear control systems
- Computational schemes for subresultant chains
- On the mechanization of straightedge and compass constructions
This page was built for software: RegularChains
