|
14706
|
1 |
|
|
|
2 |
@PhdThesis{Ballarin:1999,
|
|
|
3 |
author = {Clemens Ballarin},
|
|
|
4 |
title = {Computer Algebra and Theorem Proving},
|
|
|
5 |
school = {University of Cambridge},
|
|
|
6 |
year = 1999,
|
|
|
7 |
note = {\url{http://www4.in.tum.de/~ballarin/publications.html}}
|
|
|
8 |
}
|
|
|
9 |
|
|
|
10 |
@Book{Jacobson:1985,
|
|
|
11 |
author = {Nathan Jacobson},
|
|
|
12 |
title = {Basic Algebra I},
|
|
|
13 |
publisher = {Freeman},
|
|
|
14 |
year = 1985
|
|
|
15 |
}
|
|
|
16 |
|
|
|
17 |
@Article{Kammueller-Paulson:1999,
|
|
|
18 |
author = {Florian Kamm\"uller and L. C. Paulson},
|
|
|
19 |
title = {A Formal Proof of Sylow's theorem: An Experiment in
|
|
|
20 |
Abstract Algebra with {Isabelle HOL}},
|
|
|
21 |
journal = {J. Automated Reasoning},
|
|
|
22 |
year = 1999,
|
|
|
23 |
number = 23,
|
|
|
24 |
pages = {235--264}
|
|
|
25 |
}
|