Research
I am employed at the Research Institute for Symbolic Computation.
My main research interests include
- Theory of Combinatorial Species and its implementation in Aldor-Combinat
(Aldor-Combinat mailing list) - Computer algebra
- Gröbner bases and involutive bases
- Differential Elimination Theory
- Eta Functions and Ramanujan Partition congruences
- Finding formulas for 1/pi
Some of my publications are online.