A System for Computing and Reasoning in Algebraic Topology
- Heras, J. 1
- Pascual, V. 1
- Rubio, J. 1
-
1
Universidad de La Rioja
info
Argitaletxea: SPRINGER-VERLAG
ISBN: 978-3-642-22673-1
Argitalpen urtea: 2011
Alea: 6824 LNAI
Orrialdeak: 295-297
Mota: Liburuko kapitulua
Laburpena
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. © 2011 Springer-Verlag.