Main Page

MediaWiki has been successfully installed ---

--- and will replace the old webpages sooner or later ;-).

Presently the wiki serves only internal use in development.

ISAC is an educational mathematics assistant, a single-stepping system for applied mathematics based on the computer theorem prover Isabelle, ISAC is an "interactive, transparent and complete model of mathematics" which aims at learning by trial and error in the same way as supported by good chess playing software.

<== Please find new pages in the topmost 6 entries in the menu on the left (Main Page .. People)

Open source repository for ISAC's development: Mathematics engine: https://intra.ist.tugraz.at/hg/isa Front end: https://intra.ist.tugraz.at/hg/isac

Consult the User's Guide for information on using the wiki software.

Getting started

 * Configuration settings list
 * MediaWiki FAQ
 * MediaWiki release mailing list