«Validated Numerics» er en omfattende og helhetlig introduksjon til teoriene og praktiske anvendelser innen validert numerikk, et nyoppstått fagfelt som forener styrkene fra vitenskapelig databehandling og ren matematikk. I mange bransjer som farmasi, ingeniørfag, værprognoser og robotikk, er raske og presise beregninger avgjørende. Gjennom teorien om settverdi-analyse utvikles en ny serie numeriske metoder som tilbyr effektive og pålitelige løsninger for ulike utfordringer innen ikke-lineær analyse. Validert numerikk gir strenge beregninger som kan identifisere alle mulige løsninger på et problem, samtidig som det tar hensyn til alle potensielle feilkilder—hurtig og med garantert nøyaktighet. Boken fungerer som en selvstendig primer i emnet, og veileder leserne fra grunnleggende prinsipper til mer avanserte konsepter og teknikker. «Validated Numerics» er en uunnværlig ressurs for dem som ønsker å trenge inn i dette raskt utviklende feltet.