A stochastic arithmetic for reliable scientific computation

Aboun, 1985, Étude et réalisation d'un logiciel vectorisé du GRG avec estimation de la précision des résultats et implémentation de l'ϵ algorithm vectoriel, Thesis of 3ème cycle, Paris Alliot, 1985, Logiciel d'identification de paramètres dans des modèles non linéaires avec estimation de la précision des résultats, Thesis of 3ème cycle, Paris Alt, 1976, Étude statistique de l'erreur numérique d'affectation sur un ordinateur d'arithmétique à base quelconque, I.P. Report No. 76.5 Alt, 1983, Minimizing the error propagation in the integration of ordinary differential equations, Vol. 1, 231 Alt, 1986, The use of the CESTAC method on the parallel computation of roots of polynomials, Vol. 1, 3 Alt, 1988, Floating-point error propagation in iterative methods, Math. Comput. Simulation, 30, 505, 10.1016/0378-4754(88)90072-9 Alt, 1991, A parallel transputer machine for controlled scientific computation Alt, 1992, On the actual convergence order of computed sequences, 1 Alt, 1990, Stochastic round-off error analysis on sequential and parallel computers, 3 Arsac, 1977 Bois, 1980, A software for evaluating local accuracy in the Fourier transform, Math. Comput. Simulation, 22, 141, 10.1016/0378-4754(80)90009-9 Bois, 1982, An algorithm for automatic round-off error analysis in discrete linear transforms, Internat. J. Comput. Math., 12, 161, 10.1080/00207168208803334 Brunet, 1986, CESTAC, a tool for a stochastic round-off error analysis in scientific computing, Vol. 1, 11 Chatelin, 1988, Sur le taux de fiabilité générale de la méthode CESTAC, C.R. Acad. Sci. Paris Sér. I Math., 307, 851 Chatelin, 1987, A probabilistic round-off error propagation model, application to the eigenvalue problem, Étude du Centre Scientifique IBM-France F123 Chesneaux, 1988, Étude théorique et implémentation en ADA de la méthode CESTAC Chesneaux, 1988, Modélisation et conditions de validité de la méthode CESTAC, C.R. Acad. Sci. Paris Sér. I Math., 307, 417 Chesneaux, 1990, Study of the computing accuracy by using probabilistic approach, 19 Chesneaux, 1990, CADNA, an ADA tool for round-off error analysis and for numerical debugging, Proc. Congress on ADA in Aerospace Chesneaux, 1992, CADNA: Contrôle des Arrondis et Débogage Numérique en ADA, MASI Report No. 92.31 Chesneaux, 1992, Descriptif d'utilisation du logiciel CADNA_F, MASI Report No. 92.32 Chesneaux, 1988, Sur la robustesse de la méthode CESTAC, C.R. Acad. Sci. Paris Sér. I Math., 307, 855 Chesneaux, 1992, Les fondements de l'arithmétique stochastique, C.R. Acad. Sci. Paris Sér. I Math, 315, 1435 Dekhli, 1985, Étude et réalisation de logiciels d'optimisation contrainte avec analyse des erreurs de calculs et de données, Thesis of 3ème cycle, Paris Duff, 1986, An experiment with arithmetic precision in linear algebra computations, INRIA Report No. 643, Sixth Internat. Sympos. on Finite Element Methods in Flow Problems, 54 Dumontet, 1977, Détermination du pas optimal dans le calcul des dérivées sur ordinateur, RAIRO Anal. Numér., 11, 13, 10.1051/m2an/1977110100131 Faye, 1989, Asynchronous and synchronous implementation of the CESTAC method in iterative algorithms, Numer. Appl. Math., 665 Faye, 1989, Implémentation synchrone de CESTAC, C.R. Acad. Sci. Paris Sér. I Math., 309, 637 Faye, 1985, Stochastic approach of the permutation-perturbation method for round-off error analysis, Appl. Numer. Math., 1, 349, 10.1016/0168-9274(85)90014-5 Feldstein, 1976, Convergence estimates for the distribution of trailing digits, J. Assoc. Comput. Mach., 23, 287, 10.1145/321941.321948 Flavigny, 1987, Le logiciel PERCAL, CNRS Micro-Bull., 24 Flavigny, 1988, A new machine providing accuracy estimates of computation results, 623 Flavigny, 1990, Compiling and running programs with an option to control accuracy of numerical results, 3èmes Journées Internat. sur le Génie Logiciel et ses Applications François, 1989, Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi, La méthodologie SCALP, INP Thesis, Grenoble Hamming, 1970, On the distribution of numbers, Bell System Techn. J., 49, 1609, 10.1002/j.1538-7305.1970.tb04281.x Hasni, 1986, Logiciels vectoriels de minimisation de problèmes non contraints de grandes tailles, Calcul de la précision, Thesis of 3ème cycle, Paris Kulisch, 1981 La Porte, 1972, Evaluation statistique des erreurs numériques dans les calculs sur ordinateur, Proc. of Canadian Computer Conference, 414201 La Porte, 1974, Evaluation statistique des erreurs numériques dans les calculs sur ordinateur, Numer. Math., 23, 63, 10.1007/BF01409991 La Porte, 1975, Evaluation de l'incertitude sur la solution d'un système linéaire, Numer. Math., 24, 39, 10.1007/BF01437216 La Porte, 1975, Méthode numérique de la détection de la singularité des matrices, Numer. Math., 24, 73 La Porte, 1974 Léon, 1985, ACRITH, Vers une solution des problèmes de précision?, CNRS Micro-Bull., 13 Maillé, 1982, Some methods to estimate accuracy of measurements or numerical computations, Proc. Math. for Computation Congress AFCET, 495 Moore, 1966 Muller, 1992, The scalp perturbation method, 161 Pichat, 1986, Reducing abbreviation errors in iterative resolution of linear systems, Vol. 1, 21 Pichat, 1992, Sets of floating-point results associated with an algebraïc algorithm, 409 Rahmani, 1985, Stabilisation numérique de l'algorithme GRG, amélioration et optimisation en temps calcul, Thesis of 3ème cycle, Paris Salhi, 1985, Étude et réalisation de logiciels d'optimisation non contrainte avec dérivation numérique et estimation de la précision des résultats, Thesis of 3ème cycle, Paris Stepleman, 1979, Adaptative numerical differentiation, Math. Comp., 33, 1257, 10.1090/S0025-5718-1979-0537969-8 Tachat, 1992, An optimal stopping criterion for the computation of an approximation projection in Karmarkar's algorithm, 453 Tolla, 1983, Linear and non-linear programming software validity, Math. Comput. Simulation, 25, 39, 10.1016/0378-4754(83)90028-9 Tolla, 1986, Optimal termination criterion and accuracy tests in mathematical programming, Vol. 1, 27 Vergnes, 1980, Détermination d'un pas optimum d'intégration pour la méthode de Simpson, Math. Comput. Simulation, 22, 177, 10.1016/0378-4754(80)90044-0 Vergnes, 1979, Finding an optimal partition for a numerical integration using the trapezoidal rule, Math. Comput. Simulation, 21, 231, 10.1016/0378-4754(79)90139-3 Vignes, 1978, New methods for evaluating the validity of the results of mathematical computations, Math. Comput. Simulation, 20, 227, 10.1016/0378-4754(78)90016-2 Vignes, 1984, Implémentation des méthodes d'optimisation, Test d'arrêt optimal, Contrôle et précision de la solution, RAIRO Opér. Res., 18, 1, 10.1051/ro/1984180100011 Vignes, 1984, Implémentation des méthodes d'optimisation, Test d'arrêt optimal, Contrôle et précision de la solution, RAIRO Opér. Res., 19, 103, 10.1051/ro/1984180201031 Vignes, 1984, An efficient implementation of optimization algorithms, Math. Comput. Simulation, 26, 243, 10.1016/0378-4754(84)90061-2 Vignes, 1986, Zéro mathématique et zéro informatique, C.R. Acad. Sci. Paris Sér. I Math., 303, 997 Vignes, 1987, Zéro mathématique et zéro informatique, La Vie des Sciences, 4, 1 Vignes, 1987, Contrôle et estimation stochastique des arrondis de calcul, AFCET/Interfaces, 54, 3 Vignes, 1987, La méthode CESTAC, CNRS Micro-Bull., 23, 8 Vignes, 1988, Review on stochastic approach to round-off error analysis and its applications, Math. Comput. Simulation, 30, 481, 10.1016/0378-4754(88)90070-5 Vignes, 1989, 87, 219 Vignes, 1990, Estimation de la précision des résultats de logiciels numériques, La Vie des Sciences, 7, 93 Vignes, 1991, Optimal software validation, Proc. Tims-Sobrapo Congress Vignes, 1985, An efficient stochastic method for round-off error analysis, 235, 183 Vignes, 1974, Error analysis in computing, Proc. IFIP Conf., 610 Vignes, 1979, Procédé et ensemble de calcul aléatoirement par défaut ou par excès, pour fournir des résultats de calcul avec le nombre de chiffres significatifs exacts Vignes, 1983, Arrangement for determining number of exact significant figures in calculated results Wilkinson, 1963 Wilkinson, 1971 Yahiaoui, 1985, Logiciel d'identification des paramètres dans les modèles différentiels avec estimation de la précision des résultats, Thesis of 3ème cycle