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