Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}

DOI10.1007/978-3-030-02149-8_22zbMath1462.68216OpenAlexW2895195227MaRDI QIDQ5915548

Wolfram Kahl

Publication date: 8 November 2018

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-02149-8_22

Mathematics Subject Classification ID

Technological tools, calculators (aspects of mathematics education) (97U70) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck} ⋮ CalcCheck

This page was built for publication: Calculational relation-algebraic proofs in the teaching tool \textsc{CalcCheck}