|
Selected Scientific Paper and Articles
- High-Level Physical Modeling Description and Symbolic Computing (with 5 co-authors), 17th IFAC World Congress, July 6-11, 2008, Seoul, Korea.
- Maple as an Automatic Code Generator? (with Brian Moore and Jean-Claude Piedboeuf), Maple Summer Workshop, Waterloo, Canada, July 2002
- Analytic Computation, Dr. Dobbs Journal, September 2000.
- Computer Algebra Systems, Encyclopedia of Computer Science, 4th edition, 2000. (with Gaston Gonnet and Dominik Gruntz).
- 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.
- A Review of Symbolic Solvers, Computer Algebra Systems: A Practical Guide, Michael Wester, ed., Wiley, 1999.
- 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.
Patents
|
