1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/doc-isac/jrocnik/references.bib Tue Sep 17 09:50:52 2013 +0200
1.3 @@ -0,0 +1,142 @@
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 +}