Chapter 9
Rewriting
Nachum Dershowitz
David A. Plaisted
If the work entailed amounts to a virtual rewriting,
the resulting typescript or manuscript is a re-write.
—Eric Partridge, Slang To-day & Yesterday (1933)
1 Introduction
Equations lie at the foundation of mathematics and the sciences. Sometimes one needs to determine if an identity follows logically from axioms; other times, ...
Get Handbook of Automated Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
