Numerische Verifizierungsmethoden und computergestützte Nachweise für Teilnachweise
109,54 €
In the last decades, various mathematical problems have been solved by computer-assisted proofs, among them the Kepler conjecture, the existence of chaos, the existence of the Lorenz attractor, the famous four-color problem, and more.
Jetzt bei Ebay:
