Integrating multiple sources to answer questions in algebraic topology

Jónathan Heras; Vico Pascual; Ana Romero; Julio Rubio

Conference Proceedings

Integrating multiple sources to answer questions in algebraic topology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010) 6167 LNAI 331-335

DOI: 10.1007/978-3-642-14128-7_28

2Citations

4Readers

Get full text

Abstract

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.

Cite

CITATION STYLE

APA

Heras, J., Pascual, V., Romero, A., & Rubio, J. (2010). Integrating multiple sources to answer questions in algebraic topology. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6167 LNAI, pp. 331–335). https://doi.org/10.1007/978-3-642-14128-7_28

Integrating multiple sources to answer questions in algebraic topology

Abstract

Cite

Register to see more suggestions