Integrating multiple sources to answer questions in Algebraic Topology

  1. Heras, J. 1
  2. Pascual, V. 1
  3. Romero, A. 1
  4. 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 Mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings

ISBN: 3-642-14127-7

Argitalpen urtea: 2010

Alea: 6167 LNAI

Orrialdeak: 331-335

Mota: Liburuko kapitulua

DOI: 10.1007/978-3-642-14128-7_28 SCOPUS: 2-s2.0-77954874837 WoS: WOS:000286842300028 arXiv: 1005.0749 GOOGLE SCHOLAR lock_openSarbide irekia editor
Gordailu instituzionala: lock_openSarbide irekia Preprint

Lotura duten proiektuak

Gestión Mecanizada del Conocimiento Matemático. Aplicaciones en Topología Algebraica y en Lógica.

2009/00207/001

Laburpena

We present in this paper an evolution of a tool from a user interface for a concrete Computer Algebra system for Algebraic Topology (the Kenzo system), to a front-end allowing the interoperability among different sources for computation and deduction. The architecture allows the system not only to interface several systems, but also to make them cooperate in shared calculations. © 2010 Springer-Verlag Berlin Heidelberg.