Publication Search Results
Exact matches for:
- Author = Havas G
1.
Havas G, Kenne PE, Richardson JS, Robertson EF
Havas G, Kenne PE, Richardson JS, Robertson EF:
A Tietze transformation program,
Computational Group Theory (Proceedings of the London Mathematical Society Symposium on Computational Group Theory, Durham, 1982),
Atkinson MD (ed.),
Academic Press, London,
(1984),
MR0959068
2.
Havas G, Richardson JS
Havas G, Richardson JS:
Groups of exponent five and class four,
Communications in Algebra,
11
(1983),
287–304.
84f:20035
3.
Havas G, Richardson JS, Sterling LS
Havas G, Richardson JS, Sterling LS:
The last of the Fibonacci groups,
Proceedings of the Royal Society of Edinburgh. Section A. Mathematics,
83A
(1979),
199–203.
82j:20068
4.
Havas G, Wall GE, Walmsley JW
Havas G, Wall GE, Walmsley JW:
The two generator restricted Burnside group of exponent five,
Bulletin of the Australian Mathematical Society,
10
(1974),
459–470.
5.
Cannon JJ, Havas G
Cannon JJ, Havas G:
Defining relations for the Held-Higman-Thompson simple group,
Bulletin of the Australian Mathematical Society,
11
(1974),
43–46.
50:13242
6.
Cannon JJ, Dimino, Havas G, Watson JM
Cannon JJ, Dimino, Havas G, Watson JM:
Implementation and analysis of the Todd-Coxeter algorithm,
Mathematics of Computation,
27
(1973),
463–490.
49:390
| Number of matches: 6 |