Orbital library
From MaRDI portal
Cited in
(37)- \textsf{SC}\(^2\): satisfiability checking meets symbolic computation. (Project paper)
- Using machine learning to improve cylindrical algebraic decomposition
- KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)
- On a Java computer algebra system, its performance and applications
- A heuristic prover for real inequalities
- Speeding up cylindrical algebraic decomposition by Gröbner bases
- Solving quantified linear arithmetic by counterexample-guided instantiation
- \texttt{SMT-RAT}: an open source \texttt{C++} toolbox for strategic and parallel SMT solving
- Unique factorization domains in the Java computer algebra system
- Aligator
- AXIOM
- MetiTarski
- Sharper and Simpler Nonlinear Interpolants for Program Verification
- Evaluation of a Java Computer Algebra System
- SDSAT
- ALDOR
- KeYmaera
- jscl-meditor
- JAS
- Symja
- ProjectionCAD
- OOLACA
- CArL
- SMT-RAT
- SPECTRA
- Generic, type-safe and object oriented computer algebra software
- Commons Math
- Bellerophon
- BranchCuts
- Theoryguru
- iSAT
- VeriPhy
- frlib
- Validating numerical semidefinite programming solvers for polynomial invariants
- KeYmaera X
- Real World Verification
- Pegasus: sound continuous invariant generation
This page was built for software: Orbital library
