Franz Lichtenberger, Dr.

Publications

	Franz Lichtenberger. Making Formal Methods Popular: The Crux is Math Education!. In: Formal Methods in Software Engineering Education Teaching and Training, Andreas Bollin, Tiziana Margaria, Isabelle Perseil (ed.), Proceedings of 1st Workshop on Formal Methods in Software Engeneering Education and Training - FMSEET'15, CEUR Workshop Proceedings 1385, pp. 27-34. June 2015. Sun SITE Central Europe, RWTH Aachen, ISSN 1613-0073. [url] [pdf] [bib]
	Franz Lichtenberger. Mathematik f\"{u}r Software-Ingenieure: Gibt's das \"{u}berhaupt?. Technical report no. 98-27 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [bib]
	Franz Lichtenberger. Mathematics Education for Software Engineers: An Underestimated Challenge. Technical report no. 98-28 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. December 1998. [bib]
	Franz Lichtenberger, Klaus Miesenberger, Bernhard St\"oger. Projektantrag: Zugang zur Mathematik f\"ur Blinde: Integrierte, computerunterst\"utzte Arbeitsumgebung f\"ur Blinde und Sehende im Bereich der Mathematiklehre. Technical report no. 94-75a in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1994. [bib]
	B. Kutzler, F. Lichtenberger, F. Winkler. Softwaresysteme zur Formelmanipulation - Praktisches Arbeiten mit den Computer-Algebra-Systemen REDUCE, MACSYMA und DERIVE. 1 edition, 1990. Expert Verlag, Ehningen bei Böblingen, ISBN 3-8169-0445-9. [bib]
	B. KUTZLER, F. WINKLER, F. LICHTENBERGER. Computer-Algebra Systeme. Technical report no. 88-10 in RISC Report Series, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Austria. 1988. [bib]
	F. Winkler, B. Buchberger, F. Lichtenberger, H. Rolletschek. Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Transactions on Mathematical Software 11(1), pp. 66-78. March 1985. ACM, no. [pdf] [bib]
	F. Lichtenberger, B. Buchberger. Mathematik fuer Informatiker: Ein algorithmenorienter Ansatz an der Universitaet Linz (Mathematics for Computer Scientists: An Algorithm Oriented Approach at the University of Linz). In: Special issue: Proceedings of the Symposium "Lehr- und Lernprozesse in der Ingenieurausbildung", Technische Universitaet Graz, Austria, October 8-9, 1985, - (ed.), Zeitschrift fuer Hochschuldidaktik 9/10, pp. 103-110. 1985. ISBN 3-900386-10-2. [pdf] [bib]
	B. Buchberger, F. Lichtenberger. Mathematik für Informatik I – Die Methode der Mathematik (Mathematics for Computer Science I – The Method of Mathematics). Second edition, 1981. Springer-Verlag, Berlin - Heidelberg - New York, 315 pages, ISBN 3-540-11150-6. [pdf] [bib]
	Franz Lichtenberger. PL/ADT: Ein System zur Verwendung algebraisch spezifizierter abstrakter Datentypen in PL/I. RISC, Johannes Kepler University Linz. PhD Thesis. 1980. [bib]