ON PROVING THEOREMS IN PLANE GEOMETRY VIA DIGITAL COMPUTER

Abstract

The report indicates how geometric theorems can be transformed into algebraic identities (the contribution of Descartes), and then established by the verification of a finite number of cases. The verification is arithmetic.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1965
Accession Number
AD0611205

Entities

People

  • Richard E. Bellman

Organizations

  • RAND Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Arithmetic
  • Computers
  • Corporations
  • Digital Computers
  • Geometry
  • Identities
  • Inspection
  • Pattern Recognition
  • Plane Geometry
  • Recognition
  • Triangles
  • Verification

Fields of Study

  • Mathematics

Readers

  • Graph Algorithms and Convex Optimization.
  • Technical Research and Report Writing.