What is a good reference for learning/improving proof writing?

Question

I study in the field of theoretical computer science in which i try to find new methods or improve old methods based on mathematical principles. So, often when i try to publish the work i need to write theorems/lemmas and also their proofs in a proper mathematical way!

Therefore, i'm looking for a good reference/guide to improve my proof writing skills. I googled it, but there are a lot of resources and not sure which ones are best to try.

Some refs: Joseph Rotman, Journey into Mathematics : An Introduction to Proofs, Dover (1998) and Antonella Cupillari, The Nuts and Bolts of Proofs, Elsevier (4th ed). — Mauro ALLEGRANZA, Jul 31 '18 at 09:05
The book How To Prove It by Daniel Velleman helped me great deal. — Bilbottom, Jul 31 '18 at 09:35
The paper The notational conventions I adopted, and why by Edsger W. Dijkstra has been helpful for me. — MarnixKlooster ReinstateMonica, Jul 31 '18 at 11:49
"Mathematical Writing" by Knuth, Larrabee and Roberts contains notes from a course on mathematical writing taught at Stanford. The link below is for a pdf copy, or you can buy a hard copy from Amazon. http://jmlr.csail.mit.edu/reviewing-papers/knuth_mathematical_writing.pdf — awkward, Jul 31 '18 at 12:15
@Bob: See: https://math.stackexchange.com/questions/190981/how-to-be-good-at-proving/190987, https://math.stackexchange.com/questions/289131/how-do-you-rebuild-your-math-skills-after-college?lq=1 — Moo, Jul 31 '18 at 12:39
See also: https://arxiv.org/ftp/arxiv/papers/1806/1806.06892.pdf — Zacky, Jan 09 '19 at 18:21
Does this answer your question? Basic book about mathematical proofs — user1110341, Oct 07 '23 at 09:18

What is a good reference for learning/improving proof writing?

0 Answers0