The CAD and QE examples contained in the relevant database come from a wide range of sources, documented in the contained pdf. Where appropriate, these may have been reformatted into Maple format, eg. from Mathematica format for the economics examples.

Many of the examples arise from David Wilson's CAD database (reference found in the .pdf), and where appropriate they have been reformatted as the relevant QE problem for the QE database. Otherwise, they may have had some slight reformatting such that they form lists of relations, or sets of polynomials.