Advances in the Theory of Computation and Computational Mathematics: High performance algorithms for structured matrix problems

Begins a series presenting collections of survey articles pivoting around the notion of computation. The inaugural topics include generalized rational approximation subject to linear constraints, matrix exponential approximations in the numerical solution of differential equations, unbounded fan-in circuits, and fixpoint semantics for a Petri net model of definite clause logic programs. Each article is self-contained and all assume a high sophistication in mathematics. Future volumes may focus on a special subfield such as computational graph theory, approximation, or computability. Annotation c. by Book News, Inc., Portland, Or.