REDLOG

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