OMRS

swMATH3359MaRDI QIDQ15891FDOQ15891

Author name not available (Why is that?)

Official website: http://scholar.googleusercontent.com/scholar?q=cache:58NVx_QusvoJ:scholar.google.com/+OMRS+Armando&hl=de&as_sdt=0,5

Described by source

• Communication protocols for mathematical services based on KQML and OMRS

Cited In (52)

• Hidden verification for computational mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers
• On the role of OpenMath in interactive mathematical documents
• New architectures for constructed complex systems
• Virtual worlds as meeting places for formal systems
• Title not available (Why is that?)
• Computer algebra and artificial intelligence
• Constraint contextual rewriting.
• Deduction as an engineering science
• Generation and presentation of formal mathematical documents
• Interfacing computer algebra and deduction systems via the logic broker architecture
• MBase: Representing knowledge and context for the integration of mathematical software systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal and efficient primality proofs by use of computer algebra oracles
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Integrating computer algebra into proof planning
• PAG
• Title not available (Why is that?)
• Theorema
• Title not available (Why is that?)
• JavaMath
• CAS/PI
• ELAN
• OMEI
• Title not available (Why is that?)
• VSDITLU
• CtCoq
• Analytica
• PROSPER
• Scheme
• Towards the Mathematics Software Bus
• STeP
• RDL
• KQML
• PROVERB
• Title not available (Why is that?)
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• A Rational Reconstruction of a System for Experimental Mathematics
• The control layer in open mechanized reasoning systems: Annotations and tactics
• Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards an integration science. The influence of Richard Bellman on our research.
• Title not available (Why is that?)

This page was built for software: OMRS