Cea - PDFSEARCH.IO - Document Search Engine

Cea
Results: 4163

#	Item
11	Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods? Olivier Bouissou1 , Alexandre Chapoutot2 and Adel Djoudi2 1 CEA Saclay Nano-INNOV Institut CARNOT, Gif-sur-Yvette, France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2013-04-29 03:43:32 RungeKutta methods Mathematical analysis Numerical analysis Mathematics Differential calculus Euler method Stiff equation Numerical integration Truncation error BogackiShampine method Affine arithmetic Integral
12	Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France Add to Reading List Source URL: perso.ensta-paristech.fr Language: English - Date: 2012-12-19 06:23:54 Mathematics Metaphysics Fixed point Game theory Abstract interpretation Sequence Structure Dynamical system Model theory Series KnasterTarski theorem operator
13	PDF Document Add to Reading List Source URL: iramis.cea.fr - Date: 2017-03-17 13:37:46
14	PDF Document Add to Reading List Source URL: cea.nic.in - Date: 2016-11-02 04:50:19
15	PDF Document Add to Reading List Source URL: cea.uprrp.edu - Date: 2013-06-14 16:39:55
16	PDF Document Add to Reading List Source URL: cea.uprrp.edu - Date: 2013-06-14 16:47:04
17	PDF Document Add to Reading List Source URL: cea.uprrp.edu - Date: 2018-03-13 14:58:58
18	PDF Document Add to Reading List Source URL: cea.uprrp.edu - Date: 2016-02-17 08:39:08
19	PDF Document Add to Reading List Source URL: m.cea.org - Date: 2014-05-05 13:42:22
20	PDF Document Add to Reading List Source URL: m.cea.org - Date: 2014-06-03 11:39:54

UPDATE