swMATH4250MaRDI QIDQ16433FDOQ16433
Author name not available (Why is that?)
Official website: http://redlog.dolzmann.de/
Cited In (only showing first 100 items - show all)
- On the complexity of quantified linear systems
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- A hypergeometric inequality
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
- How to use cylindrical algebraic decomposition
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- A new approach for automatic theorem proving in real geometry
- Real World Verification
- Computer Aided Verification
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- Weak Integer Quantifier Elimination Beyond the Linear Case
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- Algebraic analysis on asymptotic stability of continuous dynamical systems
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- An algebraic method to fidelity-based model checking over quantum Markov chains
- Model checking QCTL plus on quantum Markov chains
- Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
- New Domains for Applied Quantifier Elimination
- Computational complexity and feasibility of data processing and interval computations
- QEPCAD B
- Title not available (Why is that?)
- DDDLIB
- dpgb
- QEPCAD
- RAGlib
- Title not available (Why is that?)
- SymbolicData
- PENBMI
- Orbital library
- libpoly
- JAS
- PoCaB
- Binomials.m2
- dReal
- REACH
- DISCOVERER
- AQCS
- MAS
- Paramotopy
- BOTTEMA
- FIDE
- grobcov.lib
- ProjectionCAD
- d/dt
- GUARDIAN
- PROSPER
- QERRC
- pyHybrid Analysis
- AIDA
- HybridSal
- Pufferfish
- SMT-RAT
- BioModels
- JSBML
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- Emscripten
- Pyhybridanalysis
- ConstructibleSetTools
- ParametricSystemTools
- Minimal canonical comprehensive Gröbner systems
- Gröbner bases for polynomial systems with parameters
- SYMOPT
- CGSQE
- ABsolver
- LightDP
- H-PILoT
- PipLib
- global_report
- Tarski
- iSAT
- TDDS
- MESSI
- helperOC
- Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
- Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
- On Proving the Absence of Oscillations in Models of Genetic Circuits
- Symbolic decision procedure for termination of linear programs
- Termination of linear programs with nonlinear constraints
- Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology
- A symbolic-numeric approach to multi-objective optimization in manufacturing design
- An SOS-QE approach to nonlinear gain analysis for polynomial dynamical systems
- Stability analysis for discrete biological models using algebraic methods
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Hybrid Automata in Systems Biology: How Far Can We Go?
- Weak quantifier elimination for the full linear theory of the integers
- SyNRAC: a toolbox for solving real algebraic constraints
- Title not available (Why is that?)
- Simplification of quantifier-free formulae over ordered fields
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Implementing the cylindrical algebraic decomposition within the Coq system
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- Combined Decision Techniques for the Existential Theory of the Reals
- Hidden verification for computational mathematics
- Parametric quantified SAT solving
- Multiphase until formulas over Markov reward models: an algebraic approach
- Title not available (Why is that?)
- Algorithmic methods for investigating equilibria in epidemic modeling
- Parametric toricity of steady state varieties of reaction networks
- Symbol elimination and applications to parametric entailment problems
- Better answers to real questions
This page was built for software: REDLOG
