
Computer Arithmetic and Formal Proofs
Guillaume Melquiond, Sylvie Boldo
₹10,090

by R. Mahony, P.-A Absil, Rodolphe Sepulchre
Princeton University Press · 2007 · Hardcover
Free delivery. Nothing extra to pay at checkout.
Published by Princeton University Press in 2007, Optimization Algorithms on Matrix Manifolds by R. Mahony, P.-A Absil & others runs to 240 pages in hardcover.
Topics covered include Matrices, Mathematical optimization and Algorithms.