The SymbolicData Data Base


The SymbolicData Data directory contains all information about the benchmark data collected within the project and also the Meta information about the structure of this data.

It is the 'flexible' part of the SymbolicData project since it may be customized with the -Data option for different projects.

See DataConcepts for more details about the SymbolicData Data directory and Records for more details about the SymbolicData records.


Subdirectories of this kind:
BIB/Table for bibliography entries
CAS/General descriptions of Computer Algebra Software
CASCONFIG/Configurations of Computer Algebra Software to run benchmark computations
COMP/Descriptions of computations
GEO/Solutions of problems from mechanized geometry theorem proving.
INTPS/Polynomial systems with integer coefficients
MACHINE/Data of machines that run benchmarks computations
META/The META table containing all data type definitions
PERSON/Persons who contributed to SymbolicData
PROBLEMS/More detailed background and comments on different problems
SQL/The SQL interface definitions
TYPES/The Table of Type definitions