REDLOG
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Minimal canonical comprehensive Gröbner systems
- Combining logical and algebraic techniques for natural style proving in elementary analysis
- A new approach for automatic theorem proving in real geometry
- Aligator
- DDDLIB
- dpgb
- Reasoning over networks by symbolic methods
- PGB
- QEPCAD
- RAGlib
- REDUCE
- RegularChains
- Risa/Asir
- SACLIB
- SumCracker
- SYNRAC
- Simplification of quantifier-free formulae over ordered fields
- Computational complexity and feasibility of data processing and interval computations
- COMBINE
- MARCO
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package.
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture
- Linear problems in valued fields
- Paradox
- RSOLVER
- A Kochen-Specker system has at least 22 vectors
- SymbolicData
- Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications
- PENBMI
- Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas
- Automatic generation of bounds for polynomial systems with application to the Lorenz system
- The Gröbner cover
- Orbital library
- libpoly
- Positive solutions of systems of signed parametric polynomial inequalities
- JAS
- PoCaB
- Binomials.m2
- dReal
- Automatically discovering relaxed Lyapunov functions for polynomial dynamical systems
- PTIME parametric verification of safety properties for reasonable linear hybrid automata
- DISCOVERER
- REACH
- Multistationarity in the space of total concentrations for systems that admit a monomial parametrization
- AQCS
- Efficiently and effectively recognizing toricity of steady state varieties
- A logic based approach to finding real singularities of implicit ordinary differential equations
- MAS
- Algorithmic reduction of biological networks with multiple time scales
- Paramotopy
- An algebraic method to fidelity-based model checking over quantum Markov chains
- Cooperating techniques for solving nonlinear real arithmetic in the \texttt{cvc5} SMT solver (system description)
- FIDE
- BOTTEMA
- Model checking QCTL plus on quantum Markov chains
- Verifying Pufferfish privacy in hidden Markov models
- ProjectionCAD
- grobcov.lib
- Time-bounded termination analysis for probabilistic programs with delays
- d/dt
- PROSPER
- QERRC
- GUARDIAN
- On quantified linear implications
- Dynamics of a density-dependent stage-structured predator-prey system with Beddington-DeAngelis functional response
- 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
- Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition
- pyHybrid Analysis
- On invariant synthesis for parametric systems
- On multivariate Hermitian quadratic forms
- Special algorithm for stability analysis of multistable biological regulatory systems
- AIDA
- Erratum to: ``Analyzing restricted fragments of the theory of linear arithmetic
- HybridSal
- On the realisability of double-cross matrices by polylines in the plane
- A multi-criteria computer package for power transformer fault detection and diagnosis
- Discovering polynomial Lyapunov functions for continuous dynamical systems
- \(\epsilon\)-semantics computations on biological systems
- Hidden verification for computational mathematics
- Algorithmic methods for investigating equilibria in epidemic modeling
- Quantifier elimination in automatic loop parallelization
- Multiple object semilinear motion planning
- A class of mechanically decidable problems beyond Tarski's model
- Pufferfish
- SMT-RAT
- BioModels
- JSBML
- Polynomial optimization with applications to stability analysis and control -- alternatives to sum of squares
- A hypergeometric inequality
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation)
- Pyhybridanalysis
- Emscripten
- An optimal quantum error-correcting procedure using quantifier elimination
- scientific article; zbMATH DE number 1574480 (Why is no real title available?)
- scientific article; zbMATH DE number 1574492 (Why is no real title available?)
- scientific article; zbMATH DE number 1670790 (Why is no real title available?)
- scientific article; zbMATH DE number 1670792 (Why is no real title available?)
- scientific article; zbMATH DE number 1684383 (Why is no real title available?)
This page was built for software: REDLOG
