Orbital library

The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components that surround the heart of many scientific applications, hence the name ”Orbital library”. In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity, and generalization. Many sophisticated problems can be solved easily with its adaptable components. (Source: http://freecode.com/)


References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Reynolds, Andrew; King, Tim; Kuncak, Viktor: Solving quantified linear arithmetic by counterexample-guided instantiation (2017)
  2. Ábrahám, Erika; Abbott, John; Becker, Bernd; Bigatti, Anna M.; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas: \ssfSC$^2$: satisfiability checking meets symbolic computation. (Project paper) (2016)
  3. Avigad, Jeremy; Lewis, Robert Y.; Roux, Cody: A heuristic prover for real inequalities (2016)
  4. Corzilius, Florian; Kremer, Gereon; Junges, Sebastian; Schupp, Stefan; Ábrahám, Erika: SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving (2015)
  5. Wilson, David J.; Bradford, Russell J.; Davenport, James H.: Speeding up cylindrical algebraic decomposition by Gröbner bases (2012)
  6. Kredel, Heinz: Unique factorization domains in the Java computer algebra system (2011)
  7. Kredel, Heinz; Jolly, Raphael: Generic, type-safe and object oriented computer algebra software (2010)
  8. Platzer, André; Quesel, Jan-David; Rümmer, Philipp: Real world verification (2009)
  9. Kredel, Heinz: On a Java computer algebra system, its performance and applications (2008)
  10. Kredel, Heinz: Evaluation of a Java computer algebra system (2008)
  11. Platzer, André; Quesel, Jan-David: KeYmaera: A hybrid theorem prover for hybrid systems. (System description) (2008)


Further publications can be found at: http://symbolaris.com/pub/publications.html