1996-2010 Publications

• 2010
  • J. Vignes, R. Alt : “Validation des résultats des logiciels scientifiques - Approche stochastique”, chapter in Mathématiques pour l'ingénieur, vol. AF1471, pp. 1-35, (Éditions Techniques de l'Ingénieur) (2010)
• 2009
  • J. Vignes, R. Alt : “Validation des résultats des logiciels scientifiques: Problème des approximations arithmétiques”, chapter in Mathématiques pour l'ingénieur, vol. AF1470, pp. 1-11, (Éditions Techniques de l'Ingénieur) (2009)
• 2008
  • R. Alt, J. Vignes : “Stochastic arithmeric as a model of granular computing”, chapter in Handbook of granular computing, W. Pedrycz, A. Skowron, V. Kreinovich (Eds.), pp. 33-54, (John Wiley and Sons), (ISBN: 978-0470035542) (2008)
• 2004
  • J. Vignes : “Discrete Stochastic Arithmetic for Validating Results of Numerical Software”, Numerical Algorithms, vol. 37 (1-4), pp. 377-390, (ISBN: 1017-1398) (2004)
• 2000
  • M. Pichat, J. Vignes : “The numerical study of chaotic systems - Future and Past”, 16^e congrès mondial de l'IMACS, Lausanne, Switzerland (2000)
• 1998
  • “Third Real Numbers and Computers conference, book of abstracts”, J.-M. Chesneaux, F. Jézéquel, J.-L. Lamotte, J. Vignes (Eds.), Paris, France, (ISBN: -) (1998)
• 1997
  • M. Pichat, J. Vignes : “The numerical study of unstable fixed points in a chaotic dynamical system”, 15^th IMACS World Congress on Scientific Computation, Modelling and Applied Mathematics, vol. 2, Berlin, Germany, pp. 341-346 (1997)
  • J.‑C. Bajard, O. Beaumont, J.‑M. Chesneaux, M. Daumas, J. Erhel, D. Michelucci, J.‑M. Muller, B. Philippe, N. Revol, J.‑L. Roch, J. Vignes : “Qualité des calculs sur ordinateur”, Paris, France, 165 pages pages, (Masson), (ISBN: 2-225-85534-X) (1997)
  • D. Dromard, F. Dromard, J. Vignes : “Article Ordinateurs”, chapitre de Encyclopædia Universalis (1997)
• 1996
  • R. Alt, J. Vignes : “Validation of results of collocation methods for ODEs with the CADNA library”, Applied Numerical Mathematics, vol. 21 (2), pp. 119-139, (ISBN: 0168-9274) (1996)
  • M. Pichat, J. Vignes : “Validité des résultats numériques dans les processus à comportement chaotique. Un outil d’évaluation : le logiciel CADNA”, Comptes Rendus de l Académie des Sciences - Series IIB - Mechanics-Physics-Chemistry-Astronomy, vol. 322 (9), pp. 681-688, (ISBN: 1251-8069) (1996)
  • J. Vignes : “A stochastic approach to the analysis of round-off error propagation - A survey of the CESTAC method”, Proceedings of the 2^nd Real numbers and Computer Conference, Marseille, France (1996)