swMATH ID: 3359
Software Authors: Armando, Alessandro; Kohlhase, Michael; Ranise, Silvio
Description: Communication protocols for mathematical services based on KQML and OMRS We describe the first ideas for formalizing a communication protocol for mathematical services based on KQML (Knowledge Query and Manipulation Language) and OMRS (Open Mechanized Reasoning Systems). The claim is that the interaction level of a communication protocol for mathematical services can be relatively generic (hence KQML suffices), as long as the ontology of the computational behavior and internal state of the mathematical services is sufficiently expressive and concise (which we have in OMRS).par The material presented in this paper is a first exploratory step towards the definition of the interaction level in OMRS, supplies a concrete syntax based on the OPENMATH standard, and gives a semantics to communication of mathematical services in distributed theorem proving and symbolic computation environments.
Homepage: http://scholar.googleusercontent.com/scholar?q=cache:58NVx_QusvoJ:scholar.google.com/+OMRS+Armando&hl=de&as_sdt=0,5
Keywords: open mechanized reasoning systems
Related Software: Analytica; Theorema; PVS; Nuprl; PROSPER; Maple; Isabelle; IMPS; Coq; NQTHM; AXIOM; Automath; MBase; OMDoc; Oz; CAS/PI; Mathematica; MathWeb; REDLOG; VSDITLU
Cited in: 38 Documents

Citations by Year