Abstract
In this paper we present the fKenzo system, an integral assistant for teaching and research in (a subset of) Algebraic Topology. The fKenzo system provides a friendly graphical user interface which allows the user to interact with both the Kenzo and GAP Computer Algebra systems and, also, with the ACL2 Theorem Prover by means of an intermediary layer based on XML technology.
Partially supported by Ministerio de Educación y Ciencia, project MTM2009-13842- C02-01.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
GAP - Groups, Algorithms, Programming - System for Computational Discrete algebra, http://www.gap-system.org
Dousson, X., Rubio, J., Sergeraert, F., Siret, Y.: The Kenzo program. Institut Fourier, Grenoble (1998), http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Ellis, G.: HAP package for GAP (2009), http://www.gap-system.org/Packages/hap.html
Freundt, S., Horn, P., Konovalov, A., Lindon, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) specification, version 1.3 (2009), http://www.symbolic-computation.org/scscp
Heras, J.: The fKenzo program. University of La Rioja (2010), http://www.unirioja.es/cu/joheras/fKenzo/
Heras, J., Pascual, V., Rubio, J., Sergeraert, F.: fKenzo: A user interface for computations in Algebraic Topology. Journal of Symbolic Computation 46(6), 685–698 (2011)
Kaufmann, M., Moore, J.S.: ACL2, http://www.cs.utexas.edu/users/moore/acl2/
Romero, A., Ellis, G., Rubio, J.: Interoperating between computer algebra systems: computing homology of groups with Kenzo and GAP. In: Proceedings 34th International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), pp. 303–310 (2009)
Solomon, A., Costantini, M.: GAP package OpenMath (2009), http://www.gap-system.org/Packages/openmath.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heras, J., Pascual, V., Rubio, J. (2011). A System for Computing and Reasoning in Algebraic Topology. In: Davenport, J.H., Farmer, W.M., Urban, J., Rabe, F. (eds) Intelligent Computer Mathematics. CICM 2011. Lecture Notes in Computer Science(), vol 6824. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22673-1_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-22673-1_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22672-4
Online ISBN: 978-3-642-22673-1
eBook Packages: Computer ScienceComputer Science (R0)