Integrating multiple sources to answer questions in algebraic topology

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.

[1]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture , 1996 .

[2]  W. Marsden.  I and J , 2012 .

[3]  Michael Kohlhase,et al.  OMDoc - An Open Markup Format for Mathematical Documents [version 1.2] , 2006, Lecture Notes in Computer Science.

[4]  Stephen M. Watt,et al.  An Architecture for Distributed Mathematical Web Services , 2004, MKM.

[5]  Steve Linton,et al.  Symbolic Computation Software Composability , 2008, AISC/MKM/Calculemus.

[6]  Ana Romero,et al.  Interoperating between computer algebra systems: computing homology of groups with kenzo and GAP , 2009, ISSAC '09.

[7]  Sandip Ray,et al.  Integrating external deduction tools with ACL2 , 2006, J. Appl. Log..

[8]  Michael Kohlhase,et al.  MathDox : mathematical documents on the web , 2006 .

[9]  Raheel Ahmad,et al.  Expert Systems: Principles and Programming , 2006, Scalable Comput. Pract. Exp..

[10]  Frank Buschmann,et al.  Pattern-Oriented Software Architecture, a Pattern Language for Distributed Computing , 2007 .

[11]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[12]  Jónathan Heras,et al.  Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems , 2009, Calculemus/MKM.

[13]  Olga Caprotti,et al.  Using OpenMath servers for distributing mathematical computations , 2000 .

[14]  Jónathan Heras,et al.  Mediated Access to Symbolic Computation Systems , 2008, AISC/MKM/Calculemus.