Download

ISAC for users

ISAC offers two different products still for experimental use:

1. ISAC kernel for experiments in computer mathematics: The ISAC kernel comprises a CTP-based programming language, a Lucas-Interpreter for this language and a still small kernel of knowledge: theories (extending Isabelle's theories), specifications and algorithms written in the CTP-based language. Isabelle/jEdit serves as user-interface. The ISAC kernel is being used for courses in symbolic computation. Instructions for download are available here.
2. ISAC educational math assistant for students and teachers: This is the goal-system of the ISAC-project. It provides an interface featuring worksheets resembling "paper and pencil work" and user guidance automatically generated by Lucas-Interpretation; it is built upon the ISAC kernel. Download is not yet available; please contact us for help in installation.

---

ISAC for developers

As an Open Source Product ISAC welcomes contributions from the community -- you are invited to download from ISAC's Mercurial repositories for the ISAC kernel and for the ISAC educational math assistant respectively. Instructions for setting up development environments are available for both:

1. ISAC kernel. We call for extensions and improvements in
   1. Lucas-Interpretation, which is still in an experimental stage
   2. deductive (extending Isabelle's theories), application-oriented and algorithmic knowledge for various application areas of mathematics.
2. ISAC educational math assistant. We call for extensions and improvements
   1. by course designers:
      1. additional examples for ISAC's existing math knowledge (from Pt.1.2)
      2. multi-media addons to items in ISAC's knowledge
   2. by developers
      1. in usability of the user-interface for this novel kind of software
      2. in personalized user-guidance using the services of Lucas-Interpretation
   3. and last not least we call for integration with services like math-wikis, assessment tools, etc.

For integration of your work into ISAC and for pushing to the repository, please, contact us.