Videos: Demos & Talks

Topos Colloquium Talk on MIR (Oct 2022)

MathDeck (CHI 2021)

ARQMath 2021 Overview Talk (ECIR 2021)

Formula Indexing, Search, and Entry in the MathSeer Project (Seminar Talk, Apr 2021)

MathDeck (ECIR 2020)

MathDeck: Early Prototype (Fall 2019)

Formula Entry with Images and Handwriting

Formula Autocomplete and Math Entity Cards

Formula Entry with Handwriting and LaTeX

Formula Editing: Canvas and LaTeX Panel

MathSeer is supported by the Alfred P. Sloan Foundation and the National Science Foundation