nach oben

Erschienen in:

2022 | OriginalPaper | Buchkapitel

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

verfasst von : Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr

Erschienen in: Computers Helping People with Special Needs

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

A novel approach to design an inclusive and accessible mathematical learning environment is presented: The technology of theorem proving shall be employed to support a student in solving mathematical problems by giving hints to him/her based on formal proofs of each step in a calculation. The system shall be made accessible by making use of the built-in accessibility coming with VSCode, a standard editor used as front-end for the theorem prover Isabelle.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Accessible Chemical Structural Formulas Through Interactive Document Labeling

Nächstes Kapitel Developing a Corpus of Hierarchically Classified STEM Images for Accessibility Purposes

https://www.chromium.org/chromium-projects.

https://www.jku.at/institut-integriert-studieren.

https://isac.miraheze.org/wiki/History.

https://isabelle-dev.sketis.net/source/isabelle/browse/default/src/Tools/VSCode/extension.

The formalisations use brackets “[” and “]” denoting lists as usual in functional programming. Some inner lists, actually, are interpreted as sets.

Back, R.J.: Structured derivations as a unified proof style for teaching mathematics. TUCS Technical Report 949, TUCS - Turku Centre for Computer Science, Turku, Finland (2009)

Karl, N.: Developing an Inclusive Approach for Representing Mathematical Formulas. Master’s thesis, Hagenberg University of Applied Sciences, Linz, Austria (2016). https://static.miraheze.org/isacwiki/0/02/Masterthesis_NatalieKarl.pdf

Krempler, A., Neuper, W.: Prototyping systems that explain themselves for education. In: Quaresma, P., Neuper, W. (eds.) Proceedings 6th International Workshop on Theorem proving components for Educational software, Gothenburg, Sweden, 6 Aug 2017. Electronic Proceedings in Theoretical Computer Science, vol. 267, pp. 89–107. Open Publishing Association (2018). https://doi.org/10.4204/EPTCS.267.6, https://arxiv.org/abs/1803.01470v1

Mahringer, M.: Formula Editors for TP-based Systems. State of the Art and Prototype Implementation in ISAC. Master’s thesis, University of Applied Sciences, Hagenberg, Austria (2018). https://static.miraheze.org/isacwiki/d/d7/Mmahringer-master.pdf

Paulson, L.C., Nipkow, T., Wenzel, M.: From LCF to Isabelle/HOL. Formal Aspects Comput. 31, 675–698 (2019). https://doi.org/10.1007/s00165-019-00492-1

Wenzel, M.: Isabelle/Isar – a generic framework for human-readable proof documents. In: Matuszewski, R., Zalewska, A. (eds.) From Insight to Proof – Festschrift in Honour of Andrzej Trybulec, Studies in Logic, Grammar, and Rhetoric, vol. 10, no. 23. University of Białystok (2007). https://www21.in.tum.de/~wenzelm/papers/isar-framework.pdf

Titel: Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover
verfasst von: Bernhard Stöger
Klaus Miesenberger
Walther Neuper
Makarius Wenzel
Thomas Neumayr
Verlag: Springer International Publishing
Buch: Computers Helping People with Special Needs
Print ISBN: 978-3-031-08647-2

Electronic ISBN: 978-3-031-08648-9

Copyright-Jahr: 2022
DOI: https://doi.org/10.1007/978-3-031-08648-9_7

Neuer Inhalt

Bildnachweise

VDI-Icon, Profil Icon, inhalt2, Springer Professional Modul/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence_ieS/© Springer Fachmedien Wiesbaden GmbH, Search Icon, Banner Hanser, Bunte Männchen, die Kunden darstelle, werden von einem riesigen Magneten angezogen. /© Oleksiy Mark, Dr. Daniel Schneider/© Fraunhofer IESE, Interview Level Ten PPA Bild/© LevelTen, Zeitschrift Wissensmanagement Cover, PatentFit-Logo/© Springer Fachmedien Wiesbaden GmbH, Zukunftswerkstatt Sales Excellence 2024/© AndreyPopov / Getty Images / iStock, 2023_Antrieb/© supervisuell, ATZ-Webinar: Prototypenfreie Entwicklung durch Offline- und Driver-in-the-Loop-HiL-Tests /© (c) VI-grade

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Neuer Inhalt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.