University Homepage
School Homepage
School Contacts
School Search
Informatics Report Series
Author
Roy McCasland
Related Pages
Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index
Home
Report
Date
Title
EDI-INF-RR-1281
Jul 2008
Generalised associated primes and radicals of submodules
EDI-INF-RR-1255
2008
Automatic Construction and Verification of Isotopy Invariants
EDI-INF-RR-1097
Jul 2007
Automated discovery of inductive theorems.
EDI-INF-RR-0944
Oct 2006
Automatic Construction and Verification of Isotopy Invariants
EDI-INF-RR-0591
Aug 2006
On Isolated Submodules
EDI-INF-RR-0564
2006
Ascertaining Mathematical Theorems
EDI-INF-RR-0461
Dec 2004
Uniform dimension of modules
EDI-INF-RR-0371
Jul 2004
Automatic Generation of Classification Theorems for Finite Algebras
Home
:
Publications
:
Author
Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh