equal
deleted
inserted
replaced
399 volume = 426, |
399 volume = 426, |
400 pages = {233-271}} |
400 pages = {233-271}} |
401 |
401 |
402 %C |
402 %C |
403 |
403 |
|
404 @PhdThesis{Chaieb-thesis, |
|
405 author = {Amine Chaieb}, |
|
406 title = {Automated methods for formal proofs in simple arithmetics and algebra}, |
|
407 school = {Technische Universit\"at M\"unchen}, |
|
408 year = 2008, |
|
409 note = {\url{http://www4.in.tum.de/~chaieb/pubs/pdf/diss.pdf}}} |
|
410 |
404 @InProceedings{Chaieb-Wenzel:2007, |
411 @InProceedings{Chaieb-Wenzel:2007, |
405 author = {Amine Chaieb and Makarius Wenzel}, |
412 author = {Amine Chaieb and Makarius Wenzel}, |
406 title = {Context aware Calculation and Deduction --- |
413 title = {Context aware Calculation and Deduction --- |
407 Ring Equalities via {Gr\"obner Bases} in {Isabelle}}, |
414 Ring Equalities via {Gr\"obner Bases} in {Isabelle}}, |
408 booktitle = {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)}, |
415 booktitle = {Towards Mechanized Mathematical Assistants (CALCULEMUS 2007)}, |