QEPCAD
From MaRDI portal
swMATH752MaRDI QIDQ13503FDOQ13503
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=968710
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- A hypergeometric inequality
- Algebraic approaches to stability analysis of biological systems
- Algorithms in real algebraic geometry
- Algorithms in real algebraic geometry
- Differential dynamic logic for hybrid systems
- Hybrid Systems: Computation and Control
- Partial cylindrical algebraic decomposition for quantifier elimination
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- Automatic computation of the complete root classification for a parametric polynomial
- Computer algebra for special function inequalities
- Solving systems of strict polynomial inequalities
- Computational complexity and feasibility of data processing and interval computations
- On solving systems of bivariate polynomials
- FGb
- Maple
- Interval arithmetic in cylindrical algebraic decomposition
- RAGlib
- SingSurf
- Title not available (Why is that?)
- Benchmarks
- SPASS+T
- PENBMI
- Orbital library
- PoCaB
- Binomials.m2
- modpn
- dReal
- Juno-2
- HSolver
- REACH
- DISCOVERER
- ISOLATE
- PHCpack
- Title not available (Why is that?)
- AQCS
- Paramotopy
- PolyPaver
- BOTTEMA
- FIDE
- VSDITLU
- MathSAT5
- SymProve3
- Proof General Kit
- ProjectionCAD
- d/dt
- Analytica
- GUARDIAN
- SAHA-Tool
- QERRC
- Ellipsoidal Toolbox
- AIDA
- BACH
- HybridSal
- SMT-RAT
- BioModels
- SDeval
- JSBML
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Emscripten
- infinite group relaxation
- RealTriangularize
- raSAT
- ConstructibleSetTools
- ParametricSystemTools
- FloPoCo
- EFSMT
- JBernstein
- Cremona
- R-Charon
- CGSQE
- BranchCuts
- Theoryguru
- Tarski
- CoincidentRootLoci
- Chordal
- Coq Interval
- Algebraic Numbers
- iSAT
- TDDS
- CylindricalAlgebraicDecompose
- Special_Function_Bounds
- RealComprehensiveTriangularize
- MESSI
- MetiTarski: An Automatic Prover for the Elementary Functions
- PrSAT
- DSGRN
- helperOC
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Computing cylindrical algebraic decomposition via triangular decomposition
- Constructing invariants for hybrid systems
- Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
- An algorithmic construction of entropies in higher-order nonlinear PDEs
- SyNRAC: a toolbox for solving real algebraic constraints
- Polynomial constraints and unsat cores in \textsc{Tarski}
- A decision procedure for probability calculus with applications
- On the complexity of quantified linear systems
- On invariant checking
- Title not available (Why is that?)
This page was built for software: QEPCAD