Bakis

Person

Early advocate of direct mathematical notation input into machines (Fortran-era ideas).

Mentioned in 1 video

Videos Mentioning Bakis

Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations

Stanford CS547 HCI Seminar | Winter 2026 | Creation, Evolution, and Formalization of Notations

Stanford Online

Early advocate of direct mathematical notation input into machines (Fortran-era ideas).