...http://www.SymbolicData.org

At the time of the submission of this paper, the registration of this domain was not yet completed. In the mean-time, a mirror of what is to appear at this domain can be reached at http://www.informatik.uni-leipzig.de/~graebe/SymbolicData

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... etc

Most of these features can be controlled by command-line arguments.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... parameters

Where possible and reasonable, we encapsulate these dependencies into tables.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... data

For example, running a Groebner basis benchmark on the appr. 500 polynomial systems and 10 CASCONFIGs we have collected/implemented so far, produces appr. 1GB of data, among it, 5000 COMPREPORTs!

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... solution)

For constructive problems, a normal form computation of the rational expression obtained from the conclusion proves or disproves the theorem.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.