A System for Computing and Reasoning in Algebraic Topology

  1. Heras, J. 1
  2. Pascual, V. 1
  3. Rubio, J. 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Liburua:
Lectures Notes in Computer Science: Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, 10th International Conference, MKM 2011, Held as Part of CICM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

Argitaletxea: SPRINGER-VERLAG

ISBN: 978-3-642-22673-1

Argitalpen urtea: 2011

Alea: 6824 LNAI

Orrialdeak: 295-297

Mota: Liburuko kapitulua

DOI: 10.1007/978-3-642-22673-1_26 SCOPUS: 2-s2.0-79961184462 WoS: WOS:000306294200026 GOOGLE SCHOLAR lock_openSarbide irekia editor

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.