Anastasia Documentation

MRG home page · Research · Publications · Projects · Software · People

Anastasia Documentation

The Anastasia documentation is structured as follows:

Step-by-step Guide - a run through of inserting code in Anastasia which will help the user to learn how Anastasia operates.
Help - A help section providing a glossary of terms that a user will encounter when using Anastasia.
FAQs - A list of frequently asked questions by users of Anastasia.

People

The following people are assosciated with the Anastasia project:

Alan Bundy	[A.Bundy@ed.ac.uk]	Supervisor
Paul Martin	[P.W.Martin@sms.ed.ac.uk]	Second Supervisor
Ianthe Hind	[I.Hind@sms.ed.ac.uk]	Honours Student (2005-06)
Sebin Kim	[S.Kim-11@sms.ed.ac.uk]	Honours Student (2007-08)

Webpage maintained by Paul Martin

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733 Fax: +44 (0)131 650 6899

Please send corrections and suggestions for this page to the DReaM Support Team

Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.