Liknande böcker

Completeness and Reduction in Algebraic Complexity Theory
Bok av Peter Burgisser
Algorithms in Invariant Theory
Bok av Peter Paule
Sets, Logic and Maths for Computing
Bok av David Makinson
Logical Foundations of Computer Science : International Symposium, LFCS...
Bok av Sergei Artemov
Proceedings of the 7th & 8th Asian Logic Conferences: Hsi-Tou, Taiwan, 6...
Bok av R. G. Downey
Categorical Combinators, Sequential Algorithms, and Functional Programming
Bok av Pierre-Louis Curien
Handbook of Logic in Computer Science. Volume 5, Logic and Algebraic Met...
Bok av Thomas S. E. Maibaum
Introduction to Substructural Logics
Bok av Greg Restall

Symbolic-Numeric Computation

Bok av Dongming Wang
The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations. These two types of computation coexist in mathematics yet are separated in traditional research of mathematical computation. This book presents 27 research articles on the integration and interaction of symbolic and numeric computation.