Search Results for: Solving Higher Order Equations

This monograph develops techniques for equational reasoning in higher-order logic. Due to its expressiveness, higher-order logic is used for specification and v

Version 6.0. An introductory course on differential equations aimed at engineers. The book covers first order ODEs, higher order linear ODEs, systems of ODEs, F

Accompanying CD-ROM contains ... "a chapter on engineering statistics and probability / by N. Bali, M. Goyal, and C. Watkins."--CD-ROM label.

Contents: Some ExamplesLinear ProblemsGreen's FunctionMethod of Complementary FunctionsMethod of AdjointsMethod of ChasingSecond Order EquationsError Estimates

Written in a clear and accurate language that students can understand, Trench's new book minimizes the number of explicitly stated theorems and definitions. Ins