Separable Factorization: a MAGMA package to compute the separable factorization of univariate and bivariate polynomials.
absfact.lib: a SINGULAR package to compute the absolute factorization of a multivariate polynomial in characteristic zero, September 2005. Joint work with Wolfram Decker and Gerhard Pfister.
Absolute Factorization: a MAGMA package to compute the absolute factorization of a bivariate polynomial in characteristic zero or large enough.
Tellegen for NTL: an experimental implementation of Tellegen's principle, based on NTL.
Kronecker: a Magma package for polynomial system solving.
Kroptimize: a small frontend of Kronecker using Maple to optimize the input systems.
Projective Noether Package: a Maple package for fast computation of upper bounds on the dimension of projective varieties. It was written by M.Giusti, G.Lecerf, J.Marchand, B.Salvy at Ecole Polytechnique, Paris. This package is no more maintained from 1999.
Dynamic Real Closure: an Axiom library for computing dynamically with real algebraic numbers. This package is no more maintained from 1996.