 |
| Home |
| Research |
| Tools |
| KeYmaera |
| AMC |
| SAAtRe |
| Orbital library |
| j'Imp Prover |
| j'Abr CAS |
| Synx CCK |
| Games |
| Download |
| About |
| Site Map |
Tools for Logic, Computer Science, and Mathematics |
|||
| Home >> Tools | |||
Overview
From this page, you will find tools, mostly associated
with algorithms from logic in computer science.
There are tools using techniques in theorem proving, model checking, computer algebra,
verification of hybrid systems.
Some other parts center around artificial intelligence and heuristic search, parser technology, or object-orientation.
A lot of practical results and algorithms in these areas of computer science are contained in the
Orbital library Verification tools: Navigation
For navigation on these page, you can use the |
|||
|
