OMRS
From MaRDI portal
Software:15891
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
Cited In (39)
- 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
- Title not available (Why is that?)
- Theorema
- Title not available (Why is that?)
- Title not available (Why is that?)
- Scheme
- Towards the Mathematics Software Bus
- 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
