The following pages link to OMRS (Q15891):
Displaying 37 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Integrating computer algebra into proof planning (Q1272609) (← links)
- Towards the Mathematics Software Bus (Q1389634) (← links)
- New architectures for constructed complex systems (Q1402194) (← links)
- Virtual worlds as meeting places for formal systems (Q1402195) (← links)
- Computer algebra and artificial intelligence (Q1404691) (← links)
- Constraint contextual rewriting. (Q1404984) (← links)
- Towards an integration science. The influence of Richard Bellman on our research. (Q1584626) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Interfacing computer algebra and deduction systems via the logic broker architecture (Q2751537) (← links)
- (Q2754039) (← links)
- Generation and presentation of formal mathematical documents (Q2760868) (← links)
- Abstraction-Based Information Technology: A Framework for Open Mechanized Reasoning (Q3637261) (← links)
- (Q4217952) (← links)
- (Q4222859) (← links)
- (Q4227289) (← links)
- (Q4385442) (← links)
- (Q4385445) (← links)
- (Q4418137) (← links)
- (Q4471938) (← links)
- (Q4471939) (← links)
- (Q4499163) (← links)
- (Q4518871) (← links)
- (Q4520772) (← links)
- (Q4790649) (← links)
- (Q4808815) (← links)
- (Q4809049) (← links)
- (Q4824484) (← links)
- Deduction as an Engineering Science (Q4916217) (← links)
- (Q4934140) (← links)
- (Q4934146) (← links)
- A Rational Reconstruction of a System for Experimental Mathematics (Q5428256) (← links)
- Reasoning theories. Toward an architecture for open mechanized reasoning systems (Q5931115) (← links)
- Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17--19, 2000. Revised papers (Q5933481) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- On the role of OpenMath in interactive mathematical documents (Q5950932) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)
