REDLOG

swMATH4250MaRDI QIDQ16433FDOQ16433

Author name not available (Why is that?)

Cited In (only showing first 100 items - show all)

• On the complexity of quantified linear systems
• Hidden verification for computational mathematics
• Title not available (Why is that?)
• Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
• A hypergeometric inequality
• Algorithmic methods for investigating equilibria in epidemic modeling
• A quantifier-elimination based heuristic for automatically generating inductive assertions for programs
• Title not available (Why is that?)
• A speed-up of the algorithm for computing comprehensive Gröbner systems
• Solution formulas for cubic equations without or with constraints
• How to use cylindrical algebraic decomposition
• Formal modelling, analysis and verification of hybrid systems
• A Symbolic Approach to Generation and Analysis of Finite Difference Schemes of Partial Differential Equations
• Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
• A new approach for automatic theorem proving in real geometry
• Real World Verification
• Simple CAD construction and its applications
• On quantified linear implications
• Computer Aided Verification
• Automated Deduction – CADE-20
• Title not available (Why is that?)
• SAT modulo linear arithmetic for solving polynomial constraints
• A simple algorithm to compute comprehensive Gröbner bases using Gröbner bases
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• New Domains for Applied Quantifier Elimination
• \(\epsilon\)-semantics computations on biological systems
• Computational complexity and feasibility of data processing and interval computations
• Efficient projection orders for CAD
• QEPCAD B
• Symbolic reachability computation for families of linear vector fields
• Algorithmic global criteria for excluding oscillations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Discovering polynomial Lyapunov functions for continuous dynamical systems
• Minimal canonical comprehensive Gröbner systems
• Gröbner bases for polynomial systems with parameters
• Verification and synthesis using real quantifier elimination
• Title not available (Why is that?)
• Title not available (Why is that?)
• Certified Computer Algebra on Top of an Interactive Theorem Prover
• Efficient solution of a class of quantified constraints with quantifier prefix exists-forall
• Quantifier elimination for a class of exponential polynomial formulas
• Deciding polynomial-transcendental problems
• Providing a Basin of Attraction to a Target Region of Polynomial Systems by Computation of Lyapunov-Like Functions
• A complexity perspective on entailment of parameterized linear constraints
• Algebraic analysis on asymptotic stability of switched hybrid systems
• Detection of Hopf bifurcations in chemical reaction networks using convex coordinates
• On Proving the Absence of Oscillations in Models of Genetic Circuits
• On the computation of parametric Gröbner bases for modules and syzygies
• 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
• Analyzing restricted fragments of the theory of linear arithmetic
• The complexity of quantifier elimination and cylindrical algebraic decomposition
• Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response
• SyNRAC: a toolbox for solving real algebraic constraints
• An incremental algorithm for computing cylindrical algebraic decompositions
• 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
• Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
• Title not available (Why is that?)
• 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
• Parametric quantified SAT solving
• Multiphase until formulas over Markov reward models: an algebraic approach
• Parametric toricity of steady state varieties of reaction networks
• Symbol elimination and applications to parametric entailment problems
• Virtual substitution for SMT-solving
• Better answers to real questions
• $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
• Building bridges between symbolic computation and satisfiability checking
• Linear-invariant generation for probabilistic programs: automated support for proof-based methods
• Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition
• The Gröbner cover
• A multi-criteria computer package for power transformer fault detection and diagnosis
• 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
• Efficient Preprocessing Methods for Quantifier Elimination
• 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
• Automatic generation of bounds for polynomial systems with application to the Lorenz system
• Applied Algebraic Geometry in Model Based Design for Manufacturing

This page was built for software: REDLOG