Structure Editing of Handwritten Mathematics-Reference-Cited by-同舟云学术

Structure Editing of Handwritten Mathematics

Published:2014 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Ninth ACM International Conference on Interactive Tabletops and Surfaces - ITS '14
language:
Short-container-title:

Author:

Mendes Alexandra,Backhouse Roland,Ferreira Joao F.

Funder

Portuguese Foundation for Science and Technology (FCT)

Publisher

ACM Press

Reference26 articles.

1. Anderson, R., Anderson, R., Chung, O., Davis, K. M., Davis, P., Prince, C., Razmov, V., and Simon, B. Classroom presenter - a classroom interaction system for active and collaborative learning. In WIPTE (2006).

2. Backhouse, R. Program Construction. John Wiley & Sons, 2003.

3. Backhouse, R. Algorithmic Problem Solving. John Wiley & Sons, 2011.

4. Backhouse, R., and Verhoeven, R. Mathspad: A system for on-line preparation of mathematical documents. Software Concepts and Tools 18 (1997), 80--89.

5. Bott, J. N., and LaViola Jr., J. J. A pen-based tool for visualizing vector mathematics. In SBM, M. Alexa and E. Y.-L. Do, Eds., Eurographics Association (2010), 103--110.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Leveraging Large Language Models to Boost Dafny’s Developers Productivity;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14

2. MathAssist: A Handwritten Mathematical Expression Autocomplete Technique;Proceedings of the 29th International Conference on Intelligent User Interfaces;2024-03-18

3. FFL: A Language and Live Runtime for Styling and Labeling Typeset Math Formulas;Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology;2023-10-29

4. Evaluating new requirements to pen-centric intelligent user interface based on end-to-end mathematical expressions recognition;Proceedings of the 25th International Conference on Intelligent User Interfaces;2020-03-04

5. Towards Verified Handwritten Calculational Proofs;Interactive Theorem Proving;2018