论文信息 - XML-Based Interoperability Among Symbolic Computation Systems

XML-Based Interoperability Among Symbolic Computation Systems

In this paper, the state of a project to interoperate among some complex symbolic computation systems is presented. We briefly put into context our problem, stressing the difficult points (essentially, the need of exchanging information which encodes infinite data structures) and showing the limitations of the current standard XML-based languages to communicate mathematical knowledge, as MathML.

Vico Pascual | Julio Rubio | Mirian Andrés | Francisco José García Izquierdo

[1] Olga Caprotti,et al. The OpenMath standard , 2000 .

[2] Vico Pascual,et al. Specifying implementations , 1999, ISSAC '99.

[3] P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[4] César Domínguez,et al. Modeling inheritance as coercion in a symbolic computation system , 2001, ISSAC '01.

[5] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[6] Vico Pascual,et al. An Object-oriented Interpretation of the EAT System , 2003, Applicable Algebra in Engineering, Communication and Computing.

[7] Lawrence C. Paulson,et al. ML for the working programmer (2. ed.) , 1996 .

[8] Stephen M. Watt,et al. Mathematical Markup Language (MathML) Version 3.0 , 2001, WWW 2001.

[9] César Domínguez,et al. Hidden Specification of a Functional System , 2001, EUROCAST.

[10] C. M. Sperberg-McQueen,et al. Extensible Markup Language (XML) , 1997, World Wide Web J..

[11] Christian Mittermaier,et al. Distributed Maple: parallel computer algebra in networked environments , 2003, J. Symb. Comput..

[12] Pedro Álvarez,et al. Generative Communication with Semantic Matching in Distributed Heterogeneous Environments , 2003, EUROCAST.