Mathematical Reasoning with Diagrams - From Intuition to Automation

Mathematical Reasoning with Diagrams - From Intuition to Automation From Intuition to Automation JAMNIK, M

Mathematicians at every level use diagrams to prove theorems. This book investigates the possibilities of mechanizing this sort of reasoning in a formal computer-proof system, and offers a semi-automatic proof system which allows users to prove theorems using diagrams.
€28,99

Levertijd: 4 tot 10 werkdagen.

Specificaties

ISBN
9781575863245
Uitgever
Centre for the Study of Language & Information
Druk
1e
Verschenen
04-02-2002
Taal
Engels
Bladzijden
210 pp.
Bindwijze
Paperback
Genre
Wetenschap

Delen op

Meer op Athenaeum.nl over boeken

Koop uw boeken bij Athenaeum

  • Gratis verzending vanaf € 20,- (in de algemene webwinkel, binnen Nederland).
  • Bestellen zonder registratie of login.
  • Vertrouwde service, veilige afhandeling.
MINDBOOKSATH : athenaeum