Computer Algebra
- Computer algebra systems
(e.g. Maple)
- Mathematical algorithms
(e.g. polynomials with symbolic exponents, polynomials with approximate coefficients)
- Mathematical knowledge management
(e.g. MathML,
web services, document analysis)
- Automatic Differentiation
Pen-Based Computing
- Portability of pen-based computing (InkML InkChat)
- Geometric methods for character recognition
- Mathematical expression recognition
- Pen-based expression manipulation
Programming Languages and Compilers
- Templates, higher-order type systems, related code optimization
(Aldor, Java)
- Compiler middleware
- Memory management
- Compiliation for parallel and distributed computing
Other Topics
- High-frequency trading software
- Mathematical physics
- Computing and law
- Corporate governance
- Executive compensation models
|
|
|
