Forschungsprofil

Olaf Bachmann

Allgemeines:

Ausbildung:	Doktor der Informatik (Kent State University, Ohio, U.S.A.)
Wissenschaftliche Tätigkeit:	seit 1993
Momentaner Schwerpunkt:	Software Engineering, Computer Algebra

Schwerpunkte in Studium und Projekten:

Software Engineering, Algorithmen und Datenstrukturen, Computeralgebra

Visualisierung und Evaluierung mathematischer Funktionen

Kommunikationsprotokolle für mathematische Daten

Implementationsaspekte von Gröebnerbasisberechnungen

Memory Managment Systeme

Computeralgebra Benchmarks

Veröffentlichungen:

• The SymbolicData Project: Towards an Electronic Repository of Tools and Data for Benchmarks of Computer Algebra In Reports on Computer Algebra number 27, Centre for Computer Algebra Kaiserslautern; also submitted to ISSAC'2000.
  [ HTML : Postscript : BibTeX ]

• Connecting MuPAD and SINGULAR with MP MapleTech Journal; 1998; Birkhauser, Boston, U.S.A.
  abstract - paper in gzipped postscript format - BibTeX entry

• Monomial Representations for Groebner Bases Computations In Proceedings of ISSAC'98
  abstract - paper in gzipped postscript format - BibTeX entry

• A Proposal for Syntactic Data Integration for Math Protocols In Proceedings of PASCO'97
  abstract - paper in gzipped postscript format - BibTeX entry

• MPCR: An Efficient and Flexible Chains of Recurrences Solver SIGSAM Bulletin 31, 1 (1997)
  abstract - paper in gzipped postscript format - BibTeX entry

• Chains of Recurrences PhD Thesis, Kent State University, (1996)
  abstract - paper in gzipped postscript format - BibTeX entry

• MPP: A Framework for Distributed Polynomial Computations In Proceedings of ISSAC'96
  abstract - paper in gzipped postscript format - BibTeX entry

• Chains of Recurrences for Functions of two Variables and their Application to Surface Plotting In "Human Interaction for Symbolic Computation"; Norbert Kajler (Ed); Springer-Verlag 1996
  abstract - paper in gzipped postscript format - BibTeX entry

• From Honest to Intelligent Plotting In Proceedings of ISSAC'95
  abstract - paper in gzipped postscript format - BibTeX entry

• Chains of Recurrences: a method for expediting the evaluation of closed-form functions In Proceedings of ISSAC'94
  abstract - paper in gzipped postscript format - BibTeX entry