[FOM] an interesting article in Notices of American Mathematical Society

[Frédéric Blanqui]

Hello.

The following two papers may also be of interest:

-  Wave Equation Numerical Resolution: a Comprehensive Mechanized Proof 
of a C Program,
by Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela 
Mayero, Guillaume Melquiond, Pierre Weis
http://dx.doi.org/10.1007/s10817-012-9255-4

- Trusting computations: A mechanized proof from partial differential 
equations to actual program,
by Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela 
Mayero, Guillaume Melquiond, Pierre Weis
http://dx.doi.org/10.1016/j.camwa.2014.06.004

Frédéric.

Le 01/10/2015 02:35, Kreinovich, Vladik a écrit :
>
> Dear Friends,
>
> The latest (October 2015) issue of the Notices of American 
> Mathematical Society (AMS) have an article “Rigorous Numerics in 
> Dynamics” by Jan Bouwe van den Berg and Jean-Philippe Lessard, which 
> describe computer-based tools that enable to generate rigorous 
> (proved) results about dynamical systems – as opposed to more 
> traditional computer simulations that, die to their approximate 
> character, so not guarantee anything about the actual system. This 
> article can be accessed from the AMS website 
> http://www.ams.org/notices/201509/rnoti-p1057.pdf 
> <http://www.ams.org/notices/201509/rnoti-p1057.pdf>
>
> Please note that there will be an AMS Short Course on Rigorous 
> Numerics in Dynamics in Seattle, Washington, on January 4-5, right 
> before the January 6-9, 2016 Joint Mathematics Meeting in Seattle. 
> This is the largest mathematics meeting in the world, it includes the 
> annual meetings of the Mathematical Association of America (MAA) and 
> the American Mathematical Society (AMS), with sessions and meetings of 
> the Association for Symbolic Logic (ASL), the Association for Women in 
> Mathematics (AWM), the National Association for Mathematicians (NAM), 
> and the Society for Industrial and Applied Mathematics (SIAM).
>
> For more information about the Joint Meeting, see 
> http://jointmathematicsmeetings.org/jmm 
> <http://jointmathematicsmeetings.org/jmm>
>
> For details about the Short Course, see 
> http://www.ams.org/notices/201509/rnoti-p1106.pdf 
> <http://www.ams.org/notices/201509/rnoti-p1106.pdf>
>
>
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20151001/639ceb60/attachment.html>