30
Views
2
CrossRef citations to date
0
Altmetric
Original Articles

Computing with locally effective matrices

&
Pages 1177-1189 | Published online: 19 Aug 2006

References

  • Sergeraert , F. 1986 . Calcul Symbolique et Formel , 5 : 97 – 101 .
  • Eilenberg , S. and Mac Lane , S. 1953 . Annals of Mathematics , 58 : 55 – 106 .
  • Steele , G. 1990 . Common Lisp. The language. Second Edition , United States of America : Digital Press .
  • Hoare , C. A.R. 1972 . Acta Informatica , 1 : 271 – 281 .
  • Sergeraert , F. 1990 . Astérisque , 192 : 57 – 67 .
  • Lambán , L. , Pascual , V. and Rubio , J. 2003 . Applicable Algebra in Engineering, Communication and Computing , 14 : 187 – 215 .
  • Phillips , I. C.C. 1992 . Background: Mathematical Structures , Vol. 2 , Oxford : Oxford University Press .
  • Yap , Ch. K. 2000 . Fundamental Problems in Algorithmic Algebra , Oxford : Oxford University Press .
  • Dousson , X. , Sergeraert , F. and Siret , Y. 1999 . The Kenzo Program , Grenoble : Institut Fourier . Available online at: http://www-fourier.ujf-grenoble.fr/∼sergerar/Kenzo/
  • Rubio , J. and Sergeraert , F. 1997 . Lecture Notes Summer School in Fundamental Algebraic Topology , Grenoble : Institut Fourier . Available online at: http://www-fourier.ujf-grenoble.fr/∼sergerar/Summer-School/
  • Rubio , J. and Sergeraert , F. 2002 . Bulletin des Sciences Mathématiques , 126 : 389 – 412 .
  • Brown , R. 1967 . Celebrazioni Arch. Secolo XX, Simp. Top 34 – 37 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.