On Proving Theorems in Plane Geometry Via Digital Computer

DOI10.2307/2314651zbMATH Open0151.22304OpenAlexW2098695155MaRDI QIDQ5530102FDOQ5530102

Authors: Richard Bellman 

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

zbMATH Keywords

numerical analysis

Cited In (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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5530102)