Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover

von Stöger, Bernhard
Veröffentlicht in ICCHP-AAATE (18. : 2022 : Lecco) Computers helping people with special needs ; Part 1 (2022)

Theorem proving in higher order logics : 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 ; proceedings

Veröffentlicht 2009

The Isabelle/Naproche Natural Language Proof Assistant

von Lon, Adrian De
Veröffentlicht in CADE (28. : 2021 : Online) Automated Deduction - CADE 28 (2021)

CICM’21 Systems Entries

von Liska, Martin
Veröffentlicht in CICM (14. : 2021 : Online) Intelligent Computer Mathematics (2021)