Franz Lichtenberger

Publication Activity (10 Years)

Years Active: 1979-2015
Publications (10 Years): 1

Top Topics

Provably Correct

Mathematics Learning

Information And Communication Technologies

Top Venues

Johannes Kepler University Linz, Austria (PHD)

Education History

Johannes Kepler University Linz, Austria

PHD

Publications

Franz Lichtenberger
Making Formal Methods Popular: The Crux is Math Education! FMSEE&T@FM (2015)
Mirsad Hadzikadic, Franz Lichtenberger, David Y. Y. Yun
An application of knowledge-base technology in education: a geometry theorem prover. SYMSAC (1986)
Franz Winkler, Bruno Buchberger, Franz Lichtenberger, Heinrich Rolletschek
Algorithm 628: An Algorithm for Constructing Canonical Bases of Polynomial Ideals. ACM Trans. Math. Softw. 11 (1) (1985)
Franz Lichtenberger
Self-explanatory symbolic computation for math education. ACM Commun. Comput. Algebra (4-1) (1985)
Franz Lichtenberger
A Remark on two Strategies for Software Development: Hoare-Like Verification and Algebraic Implementation. ADT (1983)
Bruno Buchberger, J. Fegerl, Franz Lichtenberger
Computer trees: a concept for parallel processing. Microprocess. Microsystems 3 (6) (1979)