Organized by RICAM (Radon Institute for Computational and Applied Mathematics)
in close cooperation with RISC (Research Institute for Symbolic Computation).
Directed by Bruno Buchberger (RISC and RICAM) and Heinz Engl (RICAM).
We will build up a formal knowledge base on Gröbner bases and related theories. This will be a well-structured collection of formulae (definitions, propositions, problems, algorithms) in (the Theorema version of) predicate logic that comprise the theory of Gröbner bases and related theories. These formulae will be "formal" in the exact sense that they can be used for formal reasoning by algorithmic provers, simplifiers, and solvers.

More details about this will soon be posted here.

The collaboration of all participants of the special semester will be crucial for setting up, maintaining, and expanding this knowledge base. Help from other researchers will also be welcome.


Castle of Hagenberg: the site of RISC
Information | Application | Program | Location | Bibliography | Knowledge | Service| Links Webmaster