Overview
The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and artificial intelligence. 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 for Java, which 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 generalisation.
So many sophisticated problems can be solved easily with its adaptable components.
You can get this Java library and its documentation here:
News
- 06/14/2009: A recent publication
[1.]
indicates in real world benchmarks that the compared functionality in the Orbital library is competitive in performance to other tools
Statistics
The Orbital library provides you with access to mathematical, algorithmic, and logical functionality.
It comprises
- 38,588 SLOC (Source Lines of Code, i.e., not counting comments), generated using David A. Wheeler's 'SLOCCOUNT'
- 284 public classes and interfaces in 14 packages
- The interfaces provide access to implementations in 5 additional implementation packages
totaling 870 classes, including inner classes.
The Orbital library is mentioned in the following papers (among other publications) and is used in the underlying implementations:
-
André Platzer, Jan-David Quesel, and Philipp Rümmer.
Real World Verification.
In Renate A. Schmidt, editor,
International Conference on Automated Deduction, CADE'09, Montreal, Canada, Proceedings,
volume 5663 of LNCS, pages 485-501. Springer, 2009.
(c) Springer Verlag
[bib
| pdf]
-
André Platzer and Jan-David Quesel.
KeYmaera: A Hybrid Theorem Prover for Hybrid Systems.
In Alessandro Armando, Peter Baumgartner, and Gilles Dowek, editors,
Automated Reasoning, Third International Joint Conference, IJCAR 2008, Sydney, Australia, Proceedings,
volume 5195 of LNCS, pages 171-178. Springer, 2008.
(c) Springer Verlag
[bib
| pdf
| doi
| slides]
|
