On Proving Theorems in Plane Geometry Via Digital Computer
From MaRDI portal
Publication:5530102
DOI10.2307/2314651zbMath0151.22304OpenAlexW2098695155MaRDI QIDQ5530102
Publication date: 1966
Published in: The American Mathematical Monthly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2314651
Related Items (2)
Richard Bellman's contributions to computer science ⋮ On representing a black box as a dynamical system
This page was built for publication: On Proving Theorems in Plane Geometry Via Digital Computer