OCaml isn't just for software-it's a powerhouse for mathematical computing . This book teaches you how to build numerical solvers, statistical models, and symbolic algebra systems . You'll even explore automated theorem proving , bridging the gap between theory and implementation.
Read More
OCaml isn't just for software-it's a powerhouse for mathematical computing . This book teaches you how to build numerical solvers, statistical models, and symbolic algebra systems . You'll even explore automated theorem proving , bridging the gap between theory and implementation.
Read Less
Add this copy of Numerical and Symbolic Computing in OCaml: Linear to cart. $28.31, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2025 by Independently Published.