On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M14Taha: Difference between revisions
From WG 2.11
Jump to navigationJump to search
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..." |
(No difference)
|
Latest revision as of 21:30, 15 January 2015
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.
