src/HOL/Algebra/document/root.bib
author wenzelm
Sat Nov 04 15:24:40 2017 +0100 (21 months ago)
changeset 67003 49850a679c2c
parent 51516 237190475d79
child 67299 ba52a058942f
permissions -rw-r--r--
more robust sorted_entries;
     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 =	 {Also Computer Laboratory Technical Report number 473.}
     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 }