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.
Partially supported by Ministerio de Ciencia e Innovación, project MTM2009-13842-C02-01.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
GAP - Groups, Algorithms, Programming - System for Computational Discrete Algebra, http://www.gap-system.org
MathBroker: A Framework for Brokering Distributed Mathematical Services, http://www.risc.uni-linz.ac.at/projects/basic/mathbroker/
MathBroker II: Brokering Distributed Mathematical Services, http://www.risc.uni-linz.ac.at/projects/mathbroker2/
MathServe Framework, http://www.ags.uni-sb.de/jzimmer/mathserve.html
MATHWEB-SB:A Software Bus for MathWeb, http://www.ags.uni-sb.de/jzimmer/mathweb-sb/
MoNET: Mathematics on the Net, http://monet.nag.co.uk/cocoon/monet/index.html
Boley, H., et al.: Rule Markup Language (RuleML) version 0.91 (2004), http://ruleml.org/
Buschmann, F., et al.: Pattern-Oriented Software Architecture. A Pattern Language for Distributed Computing. Software Design Patterns, vol. 4. Wiley, Chichester (2007)
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)
The OpenMath Consortium. Openmath standard 2.0 (2004), http://www.openmath.org/standard/om20-2004-06-30/omstd20.pdf
Dousson, X., Sergeraert, F., Siret, Y.: The Kenzo program. Institut Fourier, Grenoble (1998), http://www-fourier.ujf-grenoble.fr/~sergerar/Kenzo/
Ellis, G.: HAP package for GAP (2009), http://www.gap-system.org/Packages/hap.html
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)
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
Giarratano, J.C., Riley, G.D.: Expert Systems: Principles and Programming. PWS Publishing Company (2005)
The GAP group. GAP a Tutorial, Operations and Methods, ch. 8, pp. 72–76 (2008)
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)
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)
Kaufmann, M., Moore, J.S.: ACL2 version 3.6 (2009), http://www.cs.utexas.edu/users/moore/acl2/
Kohlhase, M.: OMDoc − An open markup format for mathematical documents (Version 1.2). Springer, Heidelberg (2006)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heras, J., Pascual, V., Romero, A., Rubio, J. (2010). Integrating Multiple Sources to Answer Questions in Algebraic Topology. In: Autexier, S., et al. Intelligent Computer Mathematics. CICM 2010. Lecture Notes in Computer Science(), vol 6167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14128-7_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-14128-7_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14127-0
Online ISBN: 978-3-642-14128-7
eBook Packages: Computer ScienceComputer Science (R0)