Mathematical Reasoning with Diagrams: Volume 127

ISBN-13: 9781575863245 / Angielski / Miękka / 2001 / 200 str.

Mateja Jamnik

Opis

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."