Olaf Bachmann: Research Activities

• I am the main developer of SymbolicData -- a project for tools and data for Computer Algebra benchmarks.

• Since I have been in Kaiserslautern, I became one of the principal developers of the Computer Algebra system SINGULAR Within the project, I oversee and am responsible for the software engineering aspects of the entire project and have implemented, among others, a new memory management, a new polynomial representation and arithmetic, a new help and documentation system, and a Multi Protocol (MP) interface of the system. Furthermore, I'm responsible for the design and maintenance of The www.singular.uni-kl.de site, and for all aspects w.r.t. the distribution of the system.

• The integration of software for symbolic computation is currently one of the main challenges in the area of Computer Algebra. Communication protocols, like the Multi Protocol (MP) offer one solution to accomplish this integration. In the framework of this effort, I have been still am working on the concepts and implementation of the protocol, have developed MP interfaces for various CA systems, like Singular, MuPAD, or Mathematica.

• For my doctoral dissertation, I worked on Chains of Recurrences which is a method to expedite the evaluation of closed-form functions.

• In cooperation with colleagues from the ITWM Kaiserslautern, I am furthermore involved in the DFG project Computer Algebra and Design of Analog Circuits

• Besides all this, I furthermore am the maintainer of Texi2html, a GNU tool to generate html of texinfo documents.