Ralph Romanos

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Squaring the circle, doubling the cube and trisecting an angle, using a compass and straightedge alone, are classic unsolved problems first posed by the ancient Greeks. All three problems were proved to be impossible in the 19th century. The following document presents the proof of the impossibility of solving the latter two problems using Isabelle/HOL,(More)
  • 1