author | wenzelm |
Wed, 23 Jul 2014 11:19:24 +0200 | |
changeset 57612 | 990ffb84489b |
parent 51516 | 237190475d79 |
child 67299 | ba52a058942f |
permissions | -rw-r--r-- |
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, |
|
51516
237190475d79
Remove obsolete URLs in documentation of HOL-Algebra.
ballarin
parents:
14706
diff
changeset
|
7 |
note = {Also Computer Laboratory Technical Report number 473.} |
14706 | 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 |
} |