Analysis of Implicit Didactics in Math Schoolbooks for Interactive Non-visual User Interface Development

Jitngernmadan, Prajaks; Petz, Andrea; Stöger, Bernhard; Miesenberger, Klaus

doi:10.1007/978-3-319-41264-1_3

Cited by 1 publication

(2 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…• A PhD thesis carried out by Prajaks Jitngernamdan at the University of Linz Austria investigated the question whether assistants or wizards might support a pupil in doing elementary tasks in arithmetic [13,14,15,16,17]. By an assistant or wizard we mean a software program which guides the user through the various steps of a calculation giving him/her instructions and hints what to do in a particular step of a calculation.…”

Section: Present Statementioning

confidence: 99%

See 1 more Smart Citation

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode

Miesenberger¹,

Neuper²,

Stöger³

et al. 2023

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

The paper collects preparatory work for interdisciplinary collaboration between three partners, between (1) experts in improving accessibility of studies for impaired individuals, (2) experts in developing educational mathematics software and (3) experts in designing and implementing interactive proof assistants.The cooperation was started with the goal to develop an accessible mathematics working environment for education with reasonable efforts. The start was triggered by the lucky discovery that the upcoming Isabelle/VSCode is greatly accessible for blind users without further impairments; this is envisaged as the project's target group.Technical details are described to an extent necessary to understand essential details of efforts required for development. A survey of demand from practice of education with respect to (1) and (2) leads to a vision for educational math software, which necessarily is sketchy but suffices to guide development and which shall invite experts in didactics of mathematics to collaborate.

show abstract

Section: Present Statementioning

confidence: 99%

“…• Isabelle/VSCode is an extension for the VSCode text editor. It combines the Microsoft Language Server Protocol (LSP) 14 with the Isabelle Prover IDE framework (PIDE) [40]. Since VSCode allows to integrate free-form HTML views, our add-ons to Isabelle/VSCode will be twofold: 1.…”

Section: Prospective Technology For Accessible Mathematicsmentioning

confidence: 99%