Selected topics in geometry with classical vs. computer proving

Selected topics in geometry with classical vs. computer proving

by Pavel Pech

Join Readfeed freeFind clubs reading this
Rate this book:

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
"This textbook presents various automatic techniques based on Grobner bases elimination to prove well-known geometrical theorems and formulas. Besides proving theorems, these methods are used to discover new formulas, solve geometric inequalities, and construct objects - which cannot be easily done with a ruler and compass." "Each problem is firstly solved by an automatic theorem proving method. Secondly, problems are solved classically - without using computer where possible - so that readers can compare the strengths and weaknesses of both approaches."--Jacket.

Discussion questions for Selected topics in geometry with classical vs. computer proving

Bring these to your book club — or discuss them with readers on Readfeed.

  1. 1

    The book meticulously compares classical and computer-aided proofs for various geometric problems. Which approach did you find more compelling or satisfying for specific theorems, and what criteria did you use to make that judgment?

  2. 2

    Does a computer-generated proof provide the same sense of "understanding" or "aha!" moment as a classical, step-by-step human-derived proof? How do you personally weigh intuition versus algorithmic certainty?

  3. 3

    The text highlights how automatic methods can discover new formulas and construct objects. How might this shift the role of the mathematician from primarily a prover to potentially more of a "discovery architect" or "problem designer"?

Sign up free to see all 8 questions & discuss

Discuss Selected topics in geometry with classical vs. computer proving with other readers

Join or start a book club for Selected topics in geometry with classical vs. computer proving on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Selected topics in geometry with classical vs. computer proving?

Sign up free on Readfeed, then browse public clubs or start your own club with Selected topics in geometry with classical vs. computer proving as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Selected topics in geometry with classical vs. computer proving with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Selected topics in geometry with classical vs. computer proving with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.