Advanced Mathematical Programming in OCaml: Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3)

By Axionics Ltd

Push OCaml to its mathematical limits with this deep dive into specialized domains that showcase OCaml's strengths. You'll implement sophisticated algorithms while maintaining OCaml's trademark safety and elegance.

• Format: Paperback
• Language: English
• ISBN: B0FCXY38LX
• ISBN13: 9798287676193
• Release Date: June 2025
• Publisher: Independently Published
• Length: 170 Pages
• Weight: 0.52 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"