The general triangle, formally

My third submission to the Archive of Formal Proof has been published yesterday: A proof that there exists exactly one general triangle. Given that yesterday was the first of April, this is obviously not meant too be taken too serious; nevertheless it is not a prank either: The math is sound and now even formally verified using Isabelle.


<strong>Pingback:</strong> <a href="http://decor-um.com/general/house-decor-coffee-house-cup-java-silhouette-wall-mounted-key-hook-art-metal-mug-home-decor/>PingBack</a>
#1 decor-um.com (Homepage) am 2011-04-04T07:45:19+00:00

Have something to say? You can post a comment by sending an e-Mail to me at <mail@joachim-breitner.de>, and I will include it here.