next up previous contents
Next: Reports on Conferences and Up: Overview of EAT, a Previous: Distribution and Requirements

References

[1] Rubio, J., Homologie effective des espaces de lacets itérés : un logiciel, Thèse, Institut Fourier, Grenoble, 1991.

[2] Rubio, J. and Sergeraert, F., Locally effective objects and Algebraic Topology, in Computational Algebraic Geometry, Birkäuser, 1993, pp. 235-251.

[3] Rubio, J., Sergeraert, F.,and Siret, Y., EAT: Symbolic Software for Effective Homology Computation, ftp://fourier.ujf-grenoble.fr/pub/EAT, Institut Fourier, Grenoble, 1997.

[4] Sergeraert, F., The computability problem in algebraic topology, Advances in Mathematics, 1994, vol. 104, pp. 1-29.

[5] Maclane & Birkhoff, Algebra, The MacMillan Company, 1967.