The RISC Algorithm Language (RISCAL)
[Back to RISCAL Main Page]
See below for papers on RISCAL.
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.
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 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
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
- 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.
Last modified: March 28, 2018