Main Page

From isac

Presently the wiki serves only internal use in development. A public website will be set up at the beginning of the next project.


The website of previous development at TU Graz is here.


The ISAC-project works on a prototype for educational software in 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 relevant 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://hg.risc.uni-linz.ac.at/wneuper/isa
Front end: https://hg.risc.uni-linz.ac.at/wneuper/isac

The webpages from before 2010 are here.



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

Getting started[edit]



Welcome to isac![edit]

This Main Page was automatically created by a wiki creator (a volunteer who created this wiki per a request), and it seems it hasn't been replaced yet.

For the bureaucrat(s) of this wiki[edit]

Hello, and welcome at your new wiki! Thank you for choosing Miraheze for the hosting of your wiki, and we hope you will enjoy our hosting.

You can immediately start working on your wiki, whenever you want.

Need help? No problem! We will help you with your wiki as needed. To make a start we have added a few links about working with MediaWiki:

But Miraheze, I still don't understand X![edit]

Well, that's no problem. Even if something isn't explained in the documentation/FAQ, we still are happy to help you. You can find us here:

For a visitor of this wiki[edit]

Hello, the default Main Page of this wiki (this is the default Main Page) has not been replaced yet by the bureaucrat(s) of this wiki. The bureaucrat(s) might still be working on a Main Page, so please check this page again later!