See below for papers on RISCAL.

**Wolfgang Schreiner: Logic as a Path to Enlightenment (Work in Progress Report)**- Walther Neuper (editor), CME-EI18, Computer Mathematics in Education - Enlightenment or Incantation? Workshop at CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 17, 2018. To be published at CEUR Workshop Proceedings.
**Wolfgang Schreiner: Validating Mathematical Theories and Algorithms with RISCAL**- In: Intelligent Computer Mathematics, F. Rabe, W. Farmer, G. Passmore, A. Youssef (ed.), Proceedings of CICM 2018, 11th Conference on Intelligent Computer Mathematics, Hagenberg, Austria, August 13-17, 2018, Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence 11006, 2018. Springer, Berlin. The final authenticated version will be available online at Springer.
**Wolfgang Schreiner, William Steingartner: Visualizing Logic Formula Evaluation in RISCAL**- Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, July 2018.
**Wolfgang Schreiner, William Steingartner: Visualizing Execution Traces in RISCAL**- Technical Report, Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, March 2018.
**Wolfgang Schreiner, Alexander Brunhuemer, Christoph Fürst: Teaching the Formalization of Mathematical Theories and Algorithms via the Automatic Checking of Finite Models**- Post-Proceedings ThEdu'17 Pedro Quaresma and Walther Neuper: 6th International Workshop on Theorem proving components for Educational software (ThEdu'17), Gothenburg, Sweden, 6 Aug 2017, Electronic Proceedings in Theoretical Computer Science (EPTCS) 267, pp. 120-139. 2018. Open Publishing Association, ISSN 2075-2180.
**Alexander Brunhuemer: Validating the Formalization of Theories and Algorithms of Discrete Mathematics by the Computer-Supported Checking of Finite Models**- Bachelor Thesis, Johannes Kepler University, Linz, September 2017.
**Wolfgang Schreiner: The RISC Algorithm Language - Tutorial and Reference Manual (Version 1.0)**-
Technical Report, Johannes Kepler University, Linz, January 2017.

See here for the current version of the manual.

Wolfgang Schreiner Last modified: March 28, 2018