|
Intro:
|
Introduction for new grad students.
|
| CSUS Day: |
Talk on Pen-Based computing.
|
| TRICS Seminar: |
Computer Algebra's Dirty Little Secret.
|
|
|
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.
|
|
| ISSAC 2010: |
International Symposium on Symbolic and Algebraic Computation, 25-28 July 2010, Munich, Germany |
| ACA 2010: |
Applications of Computer Algebra, 24-27 June 2010, Vlore, Albania |
| PARCA 2010: |
International Conference on Parallel Computer Algebra (PARCA 2010), 29 June 29-3 July 2010, Tambov, Russia |
| AISC 2010: |
Artificial Intelligence in Symbolic Computation, 9-10 July 2010, Paris, France |
| Calculemus 2010: |
17th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, 5-6 July 2010, Paris, France |
| PLMMS 2010: |
Workshop on Programming Languages for Mechanized Mathematics Systems, 5 July 5 2010, Paris, France |
| ECCAD 2010: |
East Coast Computer Algebra Day, 15 May 2010, Atlanta GA, USA |
|
