Articles

• Analytic Computation, Dr. Dobbs Journal, September 2000.
• Computer Algebra Systems, Encyclopedia of Computer Science, 4th edition, 2000. (with Gaston Gonnet and Dominik Gruntz).
• A Review of Symbolic Solvers, Computer Algebra Systems: A Practical Guide, Michael Wester, ed., Wiley, 1999.

Selected Scientific Papers

• High-Level Physical Modeling Description and Symbolic Computing, 17th IFAC World Congress, July 6-11, 2008, Seoul, Korea.
• Factoring multivariate polynomials over a finite field, Diss. ETH (PhD thesis), 1999. gzipped ps
• A Java Framework for Massively Distributed Symbolic Computing, Mathematics and Computers in Simulation, (49)3, Elsevier, 1999. abstract, gzipped ps.
• Symbolic Computation in Java: an Appraisement (with Bruce Char and Erich Kaltofen), Proceedings of ISSAC '99, ACM Press, 1999. abstract, gzipped ps.
• On Bivariate Hensel Lifting and its Parallelization, Proceedings of ISSAC '98, ACM Press, pp. 96-100, 1998. abstract, gzipped ps.
• On the square-free factorization of multivariate polynomials over finite fields, Journal of Theoretical Computer Science 187(1-2), Elsevier, 1997. abstract.
• Maple on a Massively Parallel, Distributed Memory Machine, Proceedings of PASCO '97, ACM Press, 1997. abstract, gzipped ps.
• Efficient Multivariate Factorization over Finite Fields (with Mike Monagan), Proceedings of AAECC '97, Springer Lecture Notes in Computer Science 1255, pp. 15-28, 1997. abstract, gzipped ps.
• A Review of Symbolic Solvers, SIGSAM bulletin 31(1), 1996. abstract, gzipped ps.
• Maple on the Intel Paragon, technical report 251, Institute of Scientific Computing, ETH Zürich, 1996. abstract, gzipped ps.