52 journal = {ACM Communications in Computer Algebra}, |
52 journal = {ACM Communications in Computer Algebra}, |
53 year = {2010}, |
53 year = {2010}, |
54 volume = {44}, |
54 volume = {44}, |
55 number = {1/2}, |
55 number = {1/2}, |
56 pages = {27-41}, |
56 pages = {27-41}, |
57 month = {March/June}, |
57 month = {March/June} |
58 note = {http://www.ist.tugraz.at/projects/isac/publ/plmms-10.pdf} |
|
59 } |
58 } |
60 @inproceedings{casproto, |
59 @inproceedings{casproto, |
61 author = {Cezary Kaliszyk and |
60 author = {Cezary Kaliszyk and |
62 Freek Wiedijk}, |
61 Freek Wiedijk}, |
63 title = {Certified Computer Algebra on Top of an Interactive Theorem |
62 title = {Certified Computer Algebra on Top of an Interactive Theorem |
97 number = {949}, |
96 number = {949}, |
98 address = {Turku, Finland}, |
97 address = {Turku, Finland}, |
99 month = {July} |
98 month = {July} |
100 } |
99 } |
101 @InProceedings{ActiveMath-MAIN11, |
100 @InProceedings{ActiveMath-MAIN11, |
102 author = {Melis, Erica and Siekmann, Jörg}, |
101 author = {Melis, Erica and Siekmann, Jörg}, |
103 title = {An Intelligent Tutoring System for Mathematics}, |
102 title = {An Intelligent Tutoring System for Mathematics}, |
104 booktitle = {Seventh International Conference Artificial Intelligence and Soft Computing (ICAISC)}, |
103 booktitle = {Seventh International Conference Artificial Intelligence and Soft Computing (ICAISC)}, |
105 pages = {91-101}, |
104 pages = {91-101}, |
106 year = {2004}, |
105 year = {2004}, |
107 editor = {Rutkowski, L. and Siekmann, J. and Tadeusiewicz, R. and Zadeh, L.A.}, |
106 editor = {Rutkowski, L. and Siekmann, J. and Tadeusiewicz, R. and Zadeh, L.A.}, |
208 url = {http://dl.acm.org/citation.cfm?id=2032713.2032732}, |
207 url = {http://dl.acm.org/citation.cfm?id=2032713.2032732}, |
209 acmid = {2032732}, |
208 acmid = {2032732}, |
210 publisher = {Springer-Verlag}, |
209 publisher = {Springer-Verlag}, |
211 address = {Berlin, Heidelberg}, |
210 address = {Berlin, Heidelberg}, |
212 } |
211 } |
|
212 @InProceedings{makar-jedit-12, |
|
213 author = {Makarius Wenzel}, |
|
214 title = {Isabelle/{jEdit} — a Prover IDE within the {PIDE} framework}, |
|
215 booktitle = {Conference on Intelligent Computer Mathematics (CICM 2012)}, |
|
216 year = {2012}, |
|
217 editor = { J. Jeuring and others}, |
|
218 number = {7362}, |
|
219 series = {LNAI}, |
|
220 publisher = {Springer} |
|
221 } |
213 |
222 |
214 @InProceedings{Makarius-09:parall-proof, |
223 @InProceedings{Makarius-09:parall-proof, |
215 author = {Wenzel, Makarius}, |
224 author = {Wenzel, Makarius}, |
216 title = {Parallel Proof Checking in {Isabelle/Isar}}, |
225 title = {Parallel Proof Checking in {Isabelle/Isar}}, |
217 booktitle = {ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS)}, |
226 booktitle = {ACM SIGSAM 2009 International Workshop on Programming Languages for Mechanized Mathematics Systems (PLMMS)}, |