agrawal
asperti
bailey
baumslag
bronstein
caruso
cheb-terrab
chyzak
cohen
crusius
Davenport, James
     The "Unknown" in Computer Algebra
doye
driver
dunstan
Fateman, Richard
     Manipulation of Matrices Symbolically
Fauser
gerhard
gerhold
gilman
grouptheory
g_toniss.pdf
karr
kocay
larcombe
lazard
lecerf
limongelli
Linton, Steve
     The GAP4 Type System: Organizing Algebraic Algorithms
lisonek
littlewood
mallinger
manips
mann
menissiermorain
naylor
nsubres.spad.gz
papers
papers2
paule
pirastu
provingPrograms
provisos
ramsdell
ravenscroft
renaud
riese
rioboo
rosenkranz
schneider
schorn
simmons
simplex.tgz
simplification
sit
trager
url.ps
weixlbaumer
wester
zimmermann