Excellent for researchers and graduate students alike, this book presents a systematic and comprehensive introduction to rippling, and to the wider subject of automated inductive theorem proving.

This appendix defines equation variables (symbols) used throughout the book. These variables are listed in this appendix in alphabetical order. This appendix also briefly describes =SuperStar= circuit ...