This timely, self-contained volume gathers information disseminated from journals, workshops, and conference proceedings to present the most recent and most important applications of symbolic analysis to analog circuit design. It features an in-depth tutorial introduction to the techniques and algorithms underlying modern symbolic analyzers, and includes exhaustive references at the end of each section.