Cited in
(only showing first 100 items - show all)- Efficiently and effectively recognizing toricity of steady state varieties
- An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
- On the feasibility of semi-algebraic sets in Poisson regression
- Algorithmic reduction of biological networks with multiple time scales
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- Characterizing positively invariant sets: inductive and topological methods
- Plane partitions. VI: Stembridge's TSPP theorem
- Proving inequalities and solving global optimization problems via simplified CAD projection
- The complexity of cylindrical algebraic decomposition with respect to polynomial degree
- Interpolation-based height analysis for improving a recurrence solver
- Parametric optimization and optimal control using algebraic geometry methods
- Nonlinear control system design by quantifier elimination
- Computer algebra for special function inequalities
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Algebraic analysis on asymptotic stability of continuous dynamical systems
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- A linear programming relaxation based approach for generating barrier certificates of hybrid systems
- Identifying the parametric occurrence of multiple steady states for some biological networks
- The degree-decreasing decomposition of symmetric forms with a program for algebraic inequality decision
- A computational method for determining strong stabilizability of \(n\)-D systems
- Inequality constraints in rectangular finite/boundary elements
- Fully incremental cylindrical algebraic decomposition
- scientific article; zbMATH DE number 1574492 (Why is no real title available?)
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- On the collision detection problem of two moving objects described by algebraic sets
- MetiTarski: An automatic theorem prover for real-valued special functions
- Computer Algebra in Scientific Computing
- Constructing a single cell in cylindrical algebraic decomposition
- Computing differential invariants of hybrid systems as fixed points
- The TPTP typed first-order form with arithmetic
- Solving systems of strict polynomial inequalities
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- Cylindrical algebraic decomposition using validated numerics
- Computational complexity and feasibility of data processing and interval computations
- scientific article; zbMATH DE number 1157656 (Why is no real title available?)
- scientific article; zbMATH DE number 1444367 (Why is no real title available?)
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification
- Solving parametric piecewise polynomial systems
- Improved projection for cylindrical algebraic decomposition
- Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems
- Stabilisability and stability for explicit and implicit polynomial systems: A symbolic computation approach
- Polynomial function intervals for floating-point software verification
- Computing equilibria of semi-algebraic economies using triangular decomposition and real solution classification
- A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning
- A revisited perspective on symbolic mathematical computing and artificial intelligence
- On solving systems of bivariate polynomials
- Aligator
- FGb
- Kronecker
- Maple
- MetiTarski
- RAGlib
- REDUCE
- RegularChains
- SACLIB
- SARAG
- SingSurf
- LINLBF
- Sostools
- SumCracker
- SYNRAC
- BarcelogicTools
- MARCO
- KeYmaera
- Paradox
- JavaView
- HyTech
- PHAVer
- SMV
- REDLOG
- RSOLVER
- Benchmarks
- SPASS+T
- PENBMI
- Orbital library
- PoCaB
- Binomials.m2
- modpn
- dReal
- Juno-2
- HSolver
- REACH
- DISCOVERER
- ISOLATE
- PHCpack
- AQCS
- Paramotopy
- PolyPaver
- BOTTEMA
- FIDE
- VSDITLU
- MathSAT5
- SymProve3
- Proof General Kit
- ProjectionCAD
- d/dt
- Analytica
This page was built for software: QEPCAD
