Exploring Human-Computer Interaction in Mathematics: From Voevodsky's Univalent Foundations of Mathematics to Mochizuki's IUT-Theoretic Proof of the ABC Conjecture.
Yoshihiro MaruyamaPublished in: HCI (5) (2021)
Keyphrases
- human computer interaction
- human computer
- gesture recognition
- user interface
- human factors
- computer science
- eye tracking
- augmented reality
- human interaction
- interface design
- human computer interface
- human activities
- hand gestures
- affective computing
- human computer interactions
- information processing systems
- mathematical knowledge
- user interface design
- interactive systems
- context awareness
- interaction design
- software engineering
- multimodal interfaces
- computer algebra
- expert systems