REDLOG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Synthesizing switching controllers for hybrid systems by generating invariants
- On the complexity of quantified linear systems
- Combined Decision Techniques for the Existential Theory of the Reals
- Hidden verification for computational mathematics
- Multiphase until formulas over Markov reward models: an algebraic approach
- Parametric quantified SAT solving
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- A hypergeometric inequality
- Time-bounded termination analysis for probabilistic programs with delays
- Parametric toricity of steady state varieties of reaction networks
- Symbol elimination and applications to parametric entailment problems
- scientific article; zbMATH DE number 1567868 (Why is no real title available?)
- Algorithmic methods for investigating equilibria in epidemic modeling
- scientific article; zbMATH DE number 2151206 (Why is no real title available?)
- Better answers to real questions
- Virtual substitution for SMT-solving
- Adapting real quantifier elimination methods for conflict set computation
- A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
- Improved algorithms for linear complementarity problem arising from collision response
- Solution formulas for cubic equations without or with constraints
- scientific article; zbMATH DE number 1794361 (Why is no real title available?)
- How to use cylindrical algebraic decomposition
- On the implementation of CGS real QE
- A speed-up of the algorithm for computing comprehensive Gröbner systems
- Building bridges between symbolic computation and satisfiability checking
- Formal modelling, analysis and verification of hybrid systems
- Effective Quantifier Elimination for Presburger Arithmetic with Infinity
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
- Linear-invariant generation for probabilistic programs: automated support for proof-based methods
- The Gröbner cover
- A new approach for automatic theorem proving in real geometry
- A multi-criteria computer package for power transformer fault detection and diagnosis
- Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
- Comprehensive Gröbner bases in a Java computer algebra system
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
- On quantified linear implications
- Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
- A logic based approach to finding real singularities of implicit ordinary differential equations
- Efficient Preprocessing Methods for Quantifier Elimination
- Real World Verification
- Multiple object semilinear motion planning
- Simple CAD construction and its applications
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- SAT modulo linear arithmetic for solving polynomial constraints
- Computer Aided Verification
- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks
- The strategy challenge in SMT solving
- scientific article; zbMATH DE number 2125587 (Why is no real title available?)
- Automated Deduction – CADE-20
- A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
- Thirty years of virtual substitution. Foundations, techniques, applications
- Efficiently and effectively recognizing toricity of steady state varieties
- Algorithmic reduction of biological networks with multiple time scales
- Applied Algebraic Geometry in Model Based Design for Manufacturing
- scientific article; zbMATH DE number 1444369 (Why is no real title available?)
- Interpolation-based height analysis for improving a recurrence solver
- An algebraic method to fidelity-based model checking over quantum Markov chains
- A geometric method for model reduction of biochemical networks with polynomial rate functions
- Weak Integer Quantifier Elimination Beyond the Linear Case
- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems
- Generating Polynomial Invariants with DISCOVERER and QEPCAD
- Model checking QCTL plus on quantum Markov chains
- 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
- On invariant synthesis for parametric systems
- scientific article; zbMATH DE number 1574492 (Why is no real title available?)
- Reachability and optimal control for linear hybrid automata: a quantifier elimination approach
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- Computational complexity and feasibility of data processing and interval computations
- scientific article; zbMATH DE number 1444367 (Why is no real title available?)
- \(\epsilon\)-semantics computations on biological systems
- New Domains for Applied Quantifier Elimination
- Efficient simplification techniques for special real quantifier elimination with applications to the synthesis of optimal numerical algorithms
- Efficient projection orders for CAD
- QEPCAD B
- Comprehensive Gröbner bases in a Java computer algebra system
- Aligator
- DDDLIB
- dpgb
- PGB
- QEPCAD
- RAGlib
- REDUCE
- RegularChains
- Risa/Asir
- SACLIB
- SumCracker
- SYNRAC
- COMBINE
- MARCO
- Paradox
- RSOLVER
- SymbolicData
This page was built for software: REDLOG
