2 projects tagged "Logic"
Updated 10 Apr 2010
Orbital library
| Pop | 59.33 |
|---|---|
| Vit | 2.98 |
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.
Updated 24 Jan 2011
Smart Challenge
| Pop | 18.33 |
|---|---|
| Vit | 29.11 |
Smart Challenge is a computer game to exercise logical thought by solving millions of randomly generated tangram puzzles. It allows you to create and store new puzzles and display the ranking of solution times for each puzzle. Additionally, it has levels of difficulty for the random generated tangram puzzles.
