The following pages link to REDLOG (Q16433):
Displaying 17 items.
- Hybrid Automata in Systems Biology: How Far Can We Go? (Q5404076) (← links)
- Certified Computer Algebra on Top of an Interactive Theorem Prover (Q5428262) (← links)
- On Proving the Absence of Oscillations in Models of Genetic Circuits (Q5429354) (← links)
- Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks (Q5429361) (← links)
- Automated Technology for Verification and Analysis (Q5491865) (← links)
- Programming Languages and Systems (Q5493376) (← links)
- Programming Languages and Systems (Q5493387) (← links)
- Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition (Q5495916) (← links)
- Hierarchical Reasoning for the Verification of Parametric Systems (Q5747759) (← links)
- Computer Aided Verification (Q5900703) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- Finite differences/elements in classical beam problems: Derivation of feasibility conditions under parametric inequality constraints with the help of Reduce and REDLOG (Q5937893) (← links)
- Simple CAD construction and its applications (Q5938543) (← links)
- Improved algorithms for linear complementarity problem arising from collision response (Q5943287) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Semilinear motion planning in REDLOG (Q5956427) (← links)
- A geometric method for model reduction of biochemical networks with polynomial rate functions (Q5963804) (← links)
