WG211/M14Taha

From WG 2.11
Revision as of 22:30, 15 January 2015 by Eric (talk | contribs) (Created page with "Title: Rigorous Simulation Abstract: We motivate the vision named in the title, and explain how it relates to program generation. We report on our progress towards this vision...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Title: Rigorous Simulation

Abstract: We motivate the vision named in the title, and explain how it relates to program generation. We report on our progress towards this vision, including a two-level language for interpreting the Euler-Lagrange equation using validated numerics.

Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M14Taha&oldid=1187"