Integrating Multiple Sources to Answer Questions in Algebraic Topology

  • Jónathan Heras
  • Vico Pascual
  • Ana Romero
  • Julio Rubio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6167)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    GAP - Groups, Algorithms, Programming - System for Computational Discrete Algebra, http://www.gap-system.org
  2. 2.
    MathBroker: A Framework for Brokering Distributed Mathematical Services, http://www.risc.uni-linz.ac.at/projects/basic/mathbroker/
  3. 3.
    MathBroker II: Brokering Distributed Mathematical Services, http://www.risc.uni-linz.ac.at/projects/mathbroker2/
  4. 4.
  5. 5.
    MATHWEB-SB:A Software Bus for MathWeb, http://www.ags.uni-sb.de/jzimmer/mathweb-sb/
  6. 6.
    MoNET: Mathematics on the Net, http://monet.nag.co.uk/cocoon/monet/index.html
  7. 7.
    Boley, H., et al.: Rule Markup Language (RuleML) version 0.91 (2004), http://ruleml.org/
  8. 8.
    Buschmann, F., et al.: Pattern-Oriented Software Architecture. A Pattern Language for Distributed Computing. Software Design Patterns, vol. 4. Wiley, Chichester (2007)Google Scholar
  9. 9.
    Cohen, A.M., Caprotti, O., Cuypers, H., Riem, M.N., Sterk, H.: Using OpenMath Servers for Distributing Mathematical Computations. In: Proceedings of the Fifth Asian Technology Conference in Mathematics, pp. 325–336 (2000)Google Scholar
  10. 10.
    The OpenMath Consortium. Openmath standard 2.0 (2004), http://www.openmath.org/standard/om20-2004-06-30/omstd20.pdf
  11. 11.
    Dousson, X., Sergeraert, F., Siret, Y.: The Kenzo program. Institut Fourier, Grenoble (1998), http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
  12. 12.
    Ellis, G.: HAP package for GAP (2009), http://www.gap-system.org/Packages/hap.html
  13. 13.
    Freundt, S., Horn, P., Konovalov, A., Linton, S.A., Roozemond, D.: Symbolic Computation Software Composability. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 285–295. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Freundt, S., Horn, P., Konovalov, A., Lindon, S., Roozemond, D.: Symbolic Computation Software Composability Protocol (SCSCP) specification, version 1.3 (2009), http://www.symbolic-computation.org/scscps
  15. 15.
    Giarratano, J.C., Riley, G.D.: Expert Systems: Principles and Programming. PWS Publishing Company (2005)Google Scholar
  16. 16.
    The GAP group. GAP a Tutorial, Operations and Methods, ch. 8, pp. 72–76 (2008)Google Scholar
  17. 17.
    Heras, J., Pascual, V., Rubio, J.: Mediated Access to Symbolic Computation Systems. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M., Wiedijk, F. (eds.) AISC 2008, Calculemus 2008, and MKM 2008. LNCS (LNAI), vol. 5144, pp. 446–461. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  18. 18.
    Heras, J., Pascual, V., Rubio, J.: Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009. LNCS, vol. 5625, pp. 467–473. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  19. 19.
    Kaufmann, M., Moore, J.S.: ACL2 version 3.6 (2009), http://www.cs.utexas.edu/users/moore/acl2/
  20. 20.
    Kohlhase, M.: OMDoc − An open markup format for mathematical documents (Version 1.2). Springer, Heidelberg (2006)Google Scholar
  21. 21.
    Romero, A., Ellis, G., Rubio, J.: Interoperating between Computer Algebra systems: computing homology of groups with Kenzo and GAP. In: Proceedings of International Symposium on Symbolic and Algebraic Computation, pp. 303–310 (2009)Google Scholar
  22. 22.
    Smirnova, E., So, C.M., Watt, S.M.: An architecture for distributed mathematical web services. In: Asperti, A., Bancerek, G., Trybulec, A. (eds.) MKM 2004. LNCS, vol. 3119, pp. 363–377. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jónathan Heras
    • 1
  • Vico Pascual
    • 1
  • Ana Romero
    • 1
  • Julio Rubio
    • 1
  1. 1.Departamento de Matemáticas y ComputaciónUniversidad de La RiojaLogroño La RiojaSpain

Personalised recommendations