Geometry Stumper
|
08-16-2018, 04:04 PM
Post: #19
|
|||
|
|||
RE: Geometry Stumper
(08-15-2018 07:23 PM)Albert Chan Wrote: There is an even simpler Mathematica prove, without finding out slopes I like such CAS proofs a lot, although I haven't done any by myself. Doron Zeilberger from Rutgers has written a book, in which he proves 55 theorems from plane geometry using Maple: http://sites.math.rutgers.edu/~zeilberg/GT.html He has very strong opinions about that computer math is the "real" math and all what we humans still do ourselves is unimportant because it is of neglegtible complexity. |
|||
« Next Oldest | Next Newest »
|
User(s) browsing this thread: 6 Guest(s)