To illustrate the design principles described above, we describe in this section, by means of two examples, how tables should be designed and used. That is, we present and explain the structure of the tables of the two application fields where we started to collect data.

- 1. INTPS - a collection of polynomial systems
- 2. GEO - a collection of mechanized geometry theorem proofs

| ZCA Home | Reports |