- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...1 weekly downloads
AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.
Pythagoras is a dynamic geometry software, providing construction, evaluation, manipulation and visualization of geometric objects in 2D and 3D eucledian space. Natural Language support, Smart Agent.
1. Build a platform for storing knowledge independent of all languages 2. Deliver knowledge at the choice of user. Knowledge delivered to his language of choice.