1.1 --- a/src/Doc/isac/jrocnik/references.bib Mon Sep 16 12:27:20 2013 +0200
1.2 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000
1.3 @@ -1,142 +0,0 @@
1.4 -@book{proakis2004contemporary,
1.5 - title={Contemporary communication systems using MATLAB and Simulink},
1.6 - author={Proakis, J.G. and Salehi, M. and Bauch, G.},
1.7 - isbn={9780534406172},
1.8 - lccn={31054410},
1.9 - series={BookWare companion series},
1.10 - url={http://books.google.at/books?id=5mXGQgAACAAJ},
1.11 - year={2004},
1.12 - publisher={Thomson--Brooks/Cole}
1.13 -}
1.14 -@book{oppenheim2010discrete,
1.15 - title={Discrete-time signal processing},
1.16 - author={Oppenheim, A.V. and Schafer, R.W.},
1.17 - isbn={9780131988422},
1.18 - series={Prentice-Hall signal processing series},
1.19 - url={http://books.google.at/books?id=mYsoAQAAMAAJ},
1.20 - year={2010},
1.21 - publisher={Prentice Hall}
1.22 -}
1.23 -@manual{wenzel2011system,
1.24 - title={The Isabelle System Manual},
1.25 - author={Wenzel, M. and Berghofer, S.},
1.26 - organization={TU Muenchen},
1.27 - year={2011},
1.28 - month={January}
1.29 -}
1.30 -@Book{Nipkow-Paulson-Wenzel:2002,
1.31 - author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
1.32 - title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
1.33 - publisher = {Springer},
1.34 - series = {LNCS},
1.35 - volume = 2283,
1.36 - year = 2002}
1.37 -@Book{progr-mathematica,
1.38 - author = {Maeder, Roman E.},
1.39 - title = {Programming in Mathematica},
1.40 - publisher = {Addison-Wesley},
1.41 - address = {Reading, Mass.},
1.42 - year = {1997}
1.43 -}
1.44 -@Book{prog-maple06,
1.45 - author = {Aladjav, Victor and Bogdevicius, Marijonas},
1.46 - title = {Maple: Programming, Physical and Engineering Problems},
1.47 - publisher = {Fultus Corporation},
1.48 - year = {2006},
1.49 - month = {February 27},
1.50 - annote = {ISBN: 1596820802}
1.51 -}
1.52 -@Article{plmms10,
1.53 - author = {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
1.54 - title = {{CTP}-based programming languages~? Considerations about an experimental design},
1.55 - journal = {ACM Communications in Computer Algebra},
1.56 - year = {2010},
1.57 - volume = {44},
1.58 - number = {1/2},
1.59 - pages = {27-41} %,
1.60 - %month = {March/June},
1.61 - %note = {http://www.ist.tugraz.at/projects/isac/publ/plmms-10.pdf}
1.62 -}
1.63 -@inproceedings{casproto,
1.64 - author = {Cezary Kaliszyk and
1.65 - Freek Wiedijk},
1.66 - title = {Certified Computer Algebra on Top of an Interactive Theorem
1.67 - Prover},
1.68 - booktitle = {Calculemus},
1.69 - year = {2007},
1.70 - pages = {94-105},
1.71 - ee = {http://dx.doi.org/10.1007/978-3-540-73086-6_8},
1.72 - crossref = {DBLP:conf/mkm/2007},
1.73 - bibsource = {DBLP, http://dblp.uni-trier.de}
1.74 -}
1.75 -@InProceedings{wn:lucas-interp-12,
1.76 - author = {Neuper, Walther},
1.77 - title = {Automated Generation of User Guidance by Combining Computation and Deduction},
1.78 - booktitle = {THedu'11: CTP-compontents for educational software},
1.79 - year = {2012},
1.80 - editor = {Quaresma, Pedro},
1.81 - publisher = {EPTCS},
1.82 - note = {To appear}
1.83 -}
1.84 -@Manual{Huet_all:94,
1.85 - author = {Huet, G. and Kahn, G. and Paulin-Mohring, C.},
1.86 - title = {The Coq Proof Assistant},
1.87 - institution = {INRIA-Rocquencourt},
1.88 - year = {1994},
1.89 - type = {Tutorial},
1.90 - number = {Version 5.10},
1.91 - address = {CNRS-ENS Lyon},
1.92 - status={},source={Theorema},location={-}
1.93 -}
1.94 -@TECHREPORT{Back-SD09,
1.95 - author = {Back, Ralph-Johan},
1.96 - title = {Structured Derivations as a Unified Proof Style for Teaching Mathematics},
1.97 - institution = {TUCS - Turku Centre for Computer Science},
1.98 - year = {2009},
1.99 - type = {TUCS Technical Report},
1.100 - number = {949},
1.101 - address = {Turku, Finland},
1.102 - month = {July}
1.103 -}
1.104 -@InProceedings{ActiveMath-MAIN11,
1.105 - author = {Melis, Erica and Siekmann, Jörg},
1.106 - title = {An Intelligent Tutoring System for Mathematics},
1.107 - booktitle = {Seventh International Conference Artificial Intelligence and Soft Computing (ICAISC)},
1.108 - pages = {91-101},
1.109 - year = {2004},
1.110 - editor = {Rutkowski, L. and Siekmann, J. and Tadeusiewicz, R. and Zadeh, L.A.},
1.111 - number = {3070,},
1.112 - series = {LNAI},
1.113 - publisher = {Springer-Verlag},
1.114 - doi = {doi:10.1007/978-3-540-24844-6\_12}}
1.115 -@TechReport{mat-tutor-cmu-MAIN11,
1.116 - author = {John R. Anderson},
1.117 - title = {Intelligent Tutoring and High School Mathematics},
1.118 - institution = {Carnegie Mellon University, Department of Psychology},
1.119 - year = {2008},
1.120 - type = {Technical Report},
1.121 - number = {20},
1.122 - note = {http://repository.cmu.edu/psychology/20}
1.123 -}
1.124 -@PhdThesis{proof-strategies-11,
1.125 - author = {Dietrich, Dominik},
1.126 - title = {Proof Planning with Compiled Strategies},
1.127 - school = {FR 6.2 Informatik, Saarland University},
1.128 - year = {2011}
1.129 -}
1.130 -@proceedings{DBLP:conf/mkm/2007,
1.131 - editor = {Manuel Kauers and
1.132 - Manfred Kerber and
1.133 - Robert Miner and
1.134 - Wolfgang Windsteiger},
1.135 - title = {Towards Mechanized Mathematical Assistants, 14th Symposium,
1.136 - Calculemus 2007, 6th International Conference, MKM 2007,
1.137 - Hagenberg, Austria, June 27-30, 2007, Proceedings},
1.138 - booktitle = {Calculemus/MKM},
1.139 - publisher = {Springer},
1.140 - series = {Lecture Notes in Computer Science},
1.141 - volume = {4573},
1.142 - year = {2007},
1.143 - isbn = {978-3-540-73083-5},
1.144 - bibsource = {DBLP, http://dblp.uni-trier.de}
1.145 -}