RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
description  |  members  |  activities  |  seminar  |  publications  |  software

The RISC Algorithm Language (RISCAL)

[Back to RISCAL Main Page]

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 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