The Mathematics of Mathematical Handwriting Recognition.
| |
Dependent Types and Categorical Programming
|
| |
Computing, Symbols and Math
[Video]
|
| |
Leading Flying Objects
|
|
|
ORCCA:
|
The Ontario Research Center for Computer Algebra
|
|
|
MathML @ ORCCA -- Tools for MathML and conversions to/from TeX and OpenMath
|
|
|
MONET @ ORCCA -- Mathematical Web Services
|
|
|
PenMath @ ORCCA -- Pen-Based Interfaces for Mathematics
|
|
|
TRICS:
|
Topical Research in Computer Science Seminars
|
|
ACM ICPC:
|
ACM Intercollegiate Programming Contest
|
|
|
Aldor:
|
A categorical programming language.
|
|
Maple:
|
The system for symbolic mathematical computation.
|
|
MathML:
|
The W3C standard for math on the internet.
|
|
InkML:
|
The W3C standard for digital ink.
|