Pages that link to "Item:Q1272607"
From MaRDI portal
The following pages link to A Skeptic's approach to combining HOL and Maple (Q1272607):
Displayed 8 items.
- Formal and efficient primality proofs by use of computer algebra oracles (Q597112) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting (Q2456557) (← links)
- Dealing with algebraic expressions over a field in Coq using Maple (Q2456560) (← links)
- Error analysis of digital filters using HOL theorem proving (Q2475434) (← links)
- (Q4499163) (← links)
- The control layer in open mechanized reasoning systems: Annotations and tactics (Q5950930) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)