A detailed description of fKenzo

A detailed description of fKenzo can be found here. This test is part of the Phd. Thesis of Jónathan Heras Vicente. In spite of that, the text is self contained.

Papers related to fKenzo

  • J. Heras, V. Pascual, J. Rubio and F. Sergeraert. Improving the usability of Kenzo, a Common Lisp system for Algebraic Topology. In proceedings 1st European Lisp Symposium (ELS'08), pages 155--176. University of Bordeaux, 2008. Preprint.
  • J. Heras, V. Pascual y J. Rubio. A graphical user interface for the Kenzo system, a program to compute in Algebraic Topology. In proceedings XI Encuentro de Álgebra Computacional y Aplicaciones (EACA'08), pages 93-- 96. Universidad de Granada, 2008. Preprint.
  • J. Heras, V. Pascual y J. Rubio. Mediated access to Symbolic Compu tation Systems. In proceedings 7th International Conference on Mathematical Knowledge Management (MKM'08). Lectures Notes in Computer Science 5144, pages 446--461, 2008. Preprint. Final version at Springer.
  • J. Heras, V. Pascual y J. Rubio. Applying Generative Communication to Symbolic Computation in Common Lisp. In proceedings 2nd European Lisp Symposium (ELS'09), pages 27--42. Universidad de Milán, 2009. Preprint.
  • J. Heras, V. Pascual y J. Rubio. A customizable GUI through an OMDoc documents repository. In proceedings 4th Mathematical User-Interfaces Workshop, 2009. Preprint.
  • J. Heras, V. Pascual y J. Rubio. Content Dictionaries for Algebraic Topology. In proceedings 22nd OpenMath Workshop, pages 112--118, 2009. Preprint.
  • J. Heras, V. Pascual y J. Rubio. Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. In proceedings 8th International Conference on Mathematical Knowledge Management (MKM'09). Lectures Notes in Computer Science 5625, pages 467--473, 2009. Preprint. Final version at Springer.
  • J. Heras, V. Pascual. Mediated Access To Symbolic Computation Sys tems: An OpenMath Approach. Contribuciones Científicas En Honor de Mirian Andrés Gómez, pages 85--105, 2010. Paper.
  • J. Heras, V. Pascual, A. Romero y J. Rubio. Integrating multiple sources to answer questions in Algebraic Topology. In proceedings 9th International Conference on Mathematical Knowledge Management (MKM'2010). Lectures Notes in Computer Science 6167, pages 331--335, 2010. Arxiv. Springer.
  • J. Heras, V. Pascual, J. Rubio y F. Sergeraert. fKenzo: a user interface for computations in Algebraic Topology. Journal of Symbolic Computation 46(6):685--698,2011. http://dx.doi.org/10.1016/j.jsc.2011.01.005