Pages that link to "Item:Q1272608"
From MaRDI portal
The following pages link to Analytica --- an experiment in combining theorem proving and symbolic computation (Q1272608):
Displayed 4 items.
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)