Pages that link to "Item:Q1343655"
From MaRDI portal
The following pages link to Theorems for a price: Tomorrow's semi-rigorous mathematical culture (Q1343655):
Displaying 5 items.
- Homology computation by reduction of chain complexes (Q1129483) (← links)
- Computerized deconstruction. (Q1408271) (← links)
- A framework for an ICT-based study of parametric integrals (Q1701638) (← links)
- Topological invariants, multivalued maps and computer assisted proofs in dynamics (Q1816695) (← links)
- Computers as a Source of A Posteriori Knowledge in Mathematics (Q5006632) (← links)
