Searching for authors named "Colin Ramsay" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
PACE 1.000: Parallel ACE
- ….000: Parallel ACE Author: Colin Ramsay Date: February 16, 2001 Version: rst ii Contents Contents iii List…
- Add To MetaCart
-
PEACE 1.000: Proof Extraction after Coset Enumeration
- ….000: Proof Extraction after Coset Enumeration Author: Colin Ramsay Date: October 9, 2000 Version: working…
- Add To MetaCart
-
ACE for Amateurs (Version 3.001)
- … for Amateurs (Version 3.001) Author: Colin Ramsay Date: March 29, 2001 Version: draft (incomplete) ii…
- Cited by 3 (3 self) – Add To MetaCart
-
Andrews-Curtis And Todd-Coxeter Proof Words
- …ANDREWS-CURTIS AND TODD-COXETER PROOF WORDS GEORGE HAVAS and COLIN RAMSAY 1 School of Computer…
- Cited by 2 (1 self) – Add To MetaCart
-
Experiments in Coset Enumeration
- …Experiments in coset enumeration George Havas and Colin Ramsay Abstract. Coset enumeration, based…
- Cited by 7 (6 self) – Add To MetaCart
-
Proving a Group Trivial Made Easy: A Case Study in Coset Enumeration
- …Proving a group trivial made easy: a case study in coset enumeration George Havas and Colin Ramsay…
- Cited by 3 (2 self) – Add To MetaCart
-
Parallel Coset Enumeration Using Threads
- …PARALLEL COSET ENUMERATION USING THREADS GEORGE HAVAS AND COLIN RAMSAY Centre for Discrete…
- Cited by 1 (1 self) – Add To MetaCart
-
Breadth-first search and the Andrews-Curtis conjecture
- …Breadth-rst search and the Andrews-Curtis conjecture George Havas and Colin Ramsay School…
- Cited by 3 (0 self) – Add To MetaCart
-
The Trivial Group Made Easy: A Case Study in Coset Enumeration
- …The trivial group made easy: a case study in coset enumeration George Havas and Colin Ramsay…
- Cited by 2 (1 self) – Add To MetaCart
-
Smallest defining sets of some STS(19)
- …Smallest defining sets of some STS(19) Peter Adams 1 , Abdollah Khodkar 2 and Colin Ramsay 3…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
