Writing mathematical proofs

This workshop is intended for early-career researchers in mathematics or for researchers outside the field that plan to publish a mathematical paper. In the first part, we will briefly discuss general aspects of writing, reviewing, and publishing as well as possible expectations that the involved parties might have. We will also talk about co-authorship habits and beliefs that help to write better. In addition, we will review some criteria for “good mathematical writing.“ Finally, we will also discuss practical resources such as Latex, Tikz, and Grammarly. In the second part, we will review several principles for transforming badly written proofs into well-written ones. We will focus on removing clutter while at the same time remaining correct. The following questions will be discussed: How many lemmas should one use? How many definitions and symbols are used? How many details of calculations are needed? How much background should be added? Which logical constructions are hard to read and which ones are easy? Making proofs more readable is not only useful for the reader, but also leads to a deeper understanding of the presented materials and better ways to think about them. Speaker: Bruno Bauwens ABOUT THE HSE AWC The HSE Academic Writing Center (AWC) is a collaborative space where university faculty and researchers can get language support at any time. JOIN US AWC website: