Computer Algebra Benchmark Initiative

Discussion

  • Further proposals
  • What to do next ?
  • Setting up a Web-site ?
  • Fields to start:
    • Quantifier Elimination (real, complex)
  • Naming People

   Heinz Kredel, e-mail: kredel@rz.uni-mannheim.de
Server: http://krum.rz.uni-mannheim.de/,
Last modification at 9. August 1998.