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