Cover Image
Read Now

301
by Gander, Walter, Hrebicek, Jiri
Published 1993
Springer Berlin Heidelberg
Table of Contents: “...12.2 Formulation and Basic Analysis of the Solution -- 12.3 The Numerical Solution -- References...”
Cover Image
Read Now

302
by Harrison, John
Published 1998
Springer London
Table of Contents: “...8.2 The formalization of mathematics -- 8.3 The LCF approach to theorem proving -- 8.4 Computer...”
Cover Image
Read Now

303
Published 1997
Springer US
Table of Contents: “...-Free Grammars -- High Sets for NP -- Average-Case Analysis Using Kolmogorov Complexity -- Genericity...”
Cover Image
Read Now

304
by Char, Bruce W., Geddes, Keith O., Gonnet, Gaston H., Leong, Benton L.
Published 1992
Springer New York
Table of Contents: “... for mathematical computation -- 1.11 Introducing Maple’s mathematical commands -- 1.12 Using Maple as a numerical...”
Cover Image
Read Now

305
by Cornil, Jack-Michel, Testud, Philippe
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... and Hermitean Vector Spaces -- 19.2 Orthogonal Polynomials -- 20. Vector Analysis -- 20.1 Jacobian Matrix...”