Pages that link to "Item:Q1823014"
From MaRDI portal
The following pages link to An interactive calculus theorem-prover for continuity properties (Q1823014):
Displaying 4 items.
- An integral theorem prover and the role of proof planning (Q1189730) (← links)
- Analytica --- an experiment in combining theorem proving and symbolic computation (Q1272608) (← links)
- Combining symbolic computation and theorem proving: Some problems of Ramanujan (Q5210811) (← links)
- Analytica -- an experiment in combining theorem proving and symbolic computation (Q6560372) (← links)