|
Stephen M. Watt, PhD, DSc h.c., ICD.D Professor, David R. Cheriton School of Computer Science DC 3621, 200 University Ave W University of Waterloo Waterloo Ontario, Canada N2L 3G1 E-mail: smwatt at uwaterloo.ca |
|
What's on my mind. New results in bio-computing! Instructions to get a small carbon footprint. Where I've been. Math genealogy. Erdős number. |
| Introduction: | Introduction for new grad students. |
| General talks: | Computer Algebra's Dirty Little Secret. |
| The Mathematics of Mathematical Handwriting Recognition. | |
| Dependent Types and Categorical Programming | |
| Computing, Symbols and Math [Video] | |
| Leading Flying Objects | |
| The Limits of Computation | |
| Tools for Online Technical Collaboration. | |
| 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 | |
| Aldor | A categorical programming language. |
| Maple | The system for symbolic mathematical computation. |
|
| The W3C standard for math on the internet. |
|
| The W3C standard for digital ink. |