Orbital library
From MaRDI portal
Software:17701
No author found.
Related Items (15)
A heuristic prover for real inequalities ⋮ SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving ⋮ Sharper and Simpler Nonlinear Interpolants for Program Verification ⋮ Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases ⋮ Pegasus: sound continuous invariant generation ⋮ Solving quantified linear arithmetic by counterexample-guided instantiation ⋮ KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) ⋮ Unique Factorization Domains in the Java Computer Algebra System ⋮ On a Java computer algebra system, its performance and applications ⋮ Using machine learning to improve cylindrical algebraic decomposition ⋮ Generic, Type-Safe and Object Oriented Computer Algebra Software ⋮ Evaluation of a Java Computer Algebra System ⋮ Real World Verification ⋮ Validating numerical semidefinite programming solvers for polynomial invariants ⋮ $$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
This page was built for software: Orbital library
