Mathematical Reasoning with Diagrams
- Книги
- 29-01-2023, 06:32
- 118
- 0
- voska89
Mathematical Reasoning with Diagrams By Mateja Jamnik
2001 | 200 Pages | ISBN: 1575863235 | PDF | 2 MB
Mathematicians at every level use diagrams to prove theorems. Mathematical Reasoning with Diagrams investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system-called Diamond-which allows users to prove arithmetical theorems using diagrams.
Links are Interchangeable - No Password - Single Extraction