Summary of the AITEC-funded CCOPS project: The BS-Solve system

F. Benhamou, P. Codognet, L. Granvilliers
G. Hains, A. Lallouet, Q. Miller, N. Romero
Université de Nantes, INRIA, Université d'Orléans, Oxford University

• A system for building parallel and cooperative solvers
• Programming model
• Design of BS-Solve Algorithms
  • Design of BS-Gröbner
  • Embedding Buchberger's algorithm in BS-Solve
  • Balancing
  • Design of BS-Waltz
  • Embedding Waltz's algorithm in BS-Solve
• The BS-Solve architecture
  • The kernel
  • The BSP-KLIC library
  • The solvers interface
  • The BS-Solve toolbox
  • User level
• References