Full text 

Table of Contents: “... -- Verifying min-plus Computations with Coq -- Efficient Verification of Optimized Code: Correct High-speed X25519 -- A formal proof of the Lax equivalence theorem for finite difference schemes -- Recursive Variable-Length State Compression for Multi-Core Software...”

Full text 

Table of Contents: “...Introduction -- Finite-Difference Schemes -- The Finite Element Method -- Flexible Local Approximation MEthods (FLAME) -- Long-Range Interactions in Free Space -- Long-Range Interactions in Heterogeneous Systems -- The Finite Difference Time Domain...”

Full text 

Full text 

Table of Contents: “... Dynamics -- Hydrodynomechanics: Fluid-Structure Interaction -- Thermoelectromagnetics -- Electromagnetomechanics -- Part 5 Implementation Methods -- Finite Difference Method -- Finite Volume Method -- Finite Element Method -- References -- Index....”

Full text 

Table of Contents: “... Surfaces in Three Dimensions -- 8. Magnetohydrodynamics of HEMP -- Appendices -- A. Effect of a Second Shock on the Principal Hugoniot -- B. Finite Difference Program for One Space Dimension and Time -- B.1 Fundamental Equations -- B.2 Finite Difference...”

Full text