OMRS
From MaRDI portal
Cited in
(52)- Integrating computer algebra into proof planning
- PAG
- Theorema
- Towards the Mathematics Software Bus
- New architectures for constructed complex systems
- Virtual worlds as meeting places for formal systems
- Computer algebra and artificial intelligence
- Constraint contextual rewriting.
- JavaMath
- ELAN
- CAS/PI
- OMEI
- Towards an integration science. The influence of Richard Bellman on our research.
- VSDITLU
- CtCoq
- PROSPER
- Analytica
- Hidden verification for computational mathematics
- Scheme
- Interfacing computer algebra and deduction systems via the logic broker architecture
- scientific article; zbMATH DE number 1670739 (Why is no real title available?)
- Generation and presentation of formal mathematical documents
- STeP
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning
- RDL
- PROVERB
- KQML
- scientific article; zbMATH DE number 1222427 (Why is no real title available?)
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- scientific article; zbMATH DE number 1254246 (Why is no real title available?)
- scientific article; zbMATH DE number 1140677 (Why is no real title available?)
- scientific article; zbMATH DE number 1140680 (Why is no real title available?)
- scientific article; zbMATH DE number 1961550 (Why is no real title available?)
- scientific article; zbMATH DE number 2079831 (Why is no real title available?)
- scientific article; zbMATH DE number 2079832 (Why is no real title available?)
- scientific article; zbMATH DE number 1497752 (Why is no real title available?)
- scientific article; zbMATH DE number 1538016 (Why is no real title available?)
- scientific article; zbMATH DE number 1543304 (Why is no real title available?)
- scientific article; zbMATH DE number 1863375 (Why is no real title available?)
- scientific article; zbMATH DE number 2090123 (Why is no real title available?)
- scientific article; zbMATH DE number 2090294 (Why is no real title available?)
- scientific article; zbMATH DE number 2112985 (Why is no real title available?)
- Deduction as an engineering science
- scientific article; zbMATH DE number 1389647 (Why is no real title available?)
- scientific article; zbMATH DE number 1389653 (Why is no real title available?)
- A Rational Reconstruction of a System for Experimental Mathematics
- Reasoning theories. Toward an architecture for open mechanized reasoning systems
- Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers
- The control layer in open mechanized reasoning systems: Annotations and tactics
- On the role of OpenMath in interactive mathematical documents
- MBase: Representing knowledge and context for the integration of mathematical software systems
- Formal and efficient primality proofs by use of computer algebra oracles
This page was built for software: OMRS
