Found 727 Documents (Results 1–100)
Rounding-error analysis of multigrid \(V\)-cycles. (English) Zbl 07931240
MSC:
65G50
Bounds on nonlinear errors for variance computation with stochastic rounding. (English) Zbl 07906817
MSC:
62-XX
Quadrature of functions with endpoint singular and generalised polynomial behaviour in computational physics. (English) Zbl 1537.65021
Adaptive precision sparse matrix-vector product and its application to Krylov solvers. (English) Zbl 1534.65070
Reviewer: Steven B. Damelin (Ann Arbor)
Formally-verified round-off error analysis of Runge-Kutta methods. (English) Zbl 07800194
MSC:
68V15
IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary. (English) Zbl 07912530
MSC:
65-XX
Combining sparse approximate factorizations with mixed-precision iterative refinement. (English) Zbl 07908566
MSC:
65-XX
Accurate calculation of Euclidean norms using double-word arithmetic. (English) Zbl 07908563
MSC:
65-XX
Numerical stability of algorithms at extreme scale and low precisions. (English) Zbl 1535.65060
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 7. Sections 15–20. Berlin: European Mathematical Society (EMS). 5098-5117 (2023).
Model checking linear dynamical systems under floating-point rounding. (English) Zbl 1543.68222
Sankaranarayanan, Sriram (ed.) et al., Tools and algorithms for the construction and analysis of systems. 29th international conference, TACAS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13993, 47-65 (2023).
Precision-aware deterministic and probabilistic error bounds for floating point summation. (English) Zbl 1527.65030
MSC:
65G50
General framework for deriving reproducible Krylov subspace algorithms: BiCGStab case. (English) Zbl 1533.65049
Wyrzykowski, Roman (ed.) et al., Parallel processing and applied mathematics. 14th international conference, PPAM 2022, Gdansk, Poland, September 11–14, 2022. Revised selected papers. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13826, 16-29 (2023).
Mixed precision low-rank approximations and their application to block low-rank LU factorization. (English) Zbl 1525.65038
Effects of round-to-nearest and stochastic rounding in the numerical solution of the heat equation in low precision. (English) Zbl 07726036
MSC:
65-XX
Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-\(p\) base \(\beta\). (English) Zbl 07681417
MSC:
65G99
Matrix multiplication in multiword arithmetic: error analysis and application to GPU tensor cores. (English) Zbl 1511.65040
Algorithm 1029: encapsulated error, a direct approach to evaluate floating-point accuracy. (English) Zbl 07908562
MSC:
65-XX
ABS: a formally correct software tool for space-efficient symbolic synthesis. (English) Zbl 07807727
Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. New York, NY: Association for Computing Machinery (ACM). Paper No. 19, 10 p. (2022).
Formal verification of transcendental fixed- and floating-point algorithms using an automatic theorem prover. (English) Zbl 1522.68306
Symmetric transrationals: the data type and the algorithmic degree of its equational theory. (English) Zbl 1524.68199
Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 63-80 (2022).
MSC:
68Q65
On the possibility of increasing the accuracy of computations in the floating-point format with multiple exponents. (English) Zbl 07705584
Tchernykh, Andrei (ed.) et al., Mathematics and its applications in new computer systems. MANCS-2021. Proceedings of the international conference, Stavropol, Russia, December 13–15, 2021. Cham: Springer. Lect. Notes Netw. Syst. 424, 487-496 (2022).
MSC:
65-XX
Toward accurate and fast summation. (English) Zbl 07668772
MSC:
65-XX
A provably robust algorithm for triangle-triangle intersections in floating-point arithmetic. (English) Zbl 07666974
MSC:
65-XX
A novel and efficient square root computation quantum circuit for floating-point standard. (English) Zbl 1512.81025
Correct approximation of IEEE 754 floating-point arithmetic for program verification. (English) Zbl 1490.68078
Mixed-precision explicit stabilized Runge-Kutta methods for single- and multi-scale differential equations. (English) Zbl 07540376
An interval version of the Kuntzmann-Butcher method for solving the initial value problem. (English) Zbl 1499.65283
Solving block low-rank linear systems by LU factorization is numerically stable. (English) Zbl 1511.65024
Generation of test matrices with specified eigenvalues using floating-point arithmetic. (English) Zbl 1520.65030
Reviewer: Jan Mandel (Denver)
Formalization of double-word arithmetic, and comments on “Tight and rigorous error bounds for basic building blocks of double-word arithmetic”. (English) Zbl 07500134
MSC:
65-XX
Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing. (English) Zbl 1529.03073
Random number generators produce collisions: why, how many and more. (English) Zbl 07632878
MSC:
62-XX
Complexity and performance of secure floating-point polynomial evaluation protocols. (English) Zbl 1498.68050
Bertino, Elisa (ed.) et al., Computer security – ESORICS 2021. 26th European symposium on research in computer security, Darmstadt, Germany, October 4–8, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12973, 352-369 (2021).
Exploiting verified neural networks via floating point numerical error. (English) Zbl 1497.68309
Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 191-205 (2021).
A computational status update for exact rational mixed integer programming. (English) Zbl 1482.90125
Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 163-177 (2021).
MSC:
90C11
Optimization modulo the theories of signed bit-vectors and floating-point numbers. (English) Zbl 1543.68349
Quantum image scaling based on bilinear interpolation with decimals scaling ratio. (English) Zbl 1528.81098
Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).
Error bounds for the numerical evaluation of Legendre polynomials by a three-term recurrence. (English) Zbl 1464.65021
Stochastic rounding and its probabilistic backward error analysis. (English) Zbl 1462.65050
MSC:
65G50
Solution to the main problem of the artificial satellite by reverse normalization. (English) Zbl 1516.70042
A generalized floating-point quantum representation of 2-D data and their applications. (English) Zbl 1509.81318
MSC:
81P68
On the use of the infinity computer architecture to set up a dynamic precision floating-point arithmetic. (English) Zbl 1491.65179
MSC:
65Y04
Error analysis and improving the accuracy of Winograd convolution for deep neural networks. (English) Zbl 1486.65285
Counterexample- and simulation-guided floating-point loop invariant synthesis. (English) Zbl 1474.68055
Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 156-177 (2020).
Numerical algorithms for high-performance computational science. (English) Zbl 1462.65231
Philos. Trans. R. Soc. Lond., A, Math. Phys. Eng. Sci. 378, No. 2166, Article ID 20190066, 18 p. (2020).
MSC:
65Y10
Analysis of the stability of periodic linear difference equation systems on extended floating-point numbers. (English) Zbl 1465.39006
CHIMERA: combining ring-LWE-based fully homomorphic encryption schemes. (English) Zbl 1462.94030
MSC:
94A60
Evaluation of Legendre polynomials by a three-term recurrence in floating-point arithmetic. (English) Zbl 1466.65226
Efficiency and accuracy improvements of secure floating-point addition over secret sharing. (English) Zbl 1471.68093
Aoki, Kazumaro (ed.) et al., Advances in information and computer security. 15th international workshop on security, IWSEC 2020, Fukui, Japan, September 2–4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12231, 77-94 (2020).
A reliable algorithm to check the accuracy of iterative schemes for solving nonlinear equations: an application of the CESTAC method. (English) Zbl 1456.65032
Error analysis of some operations involved in the Cooley-Tukey fast Fourier transform. (English) Zbl 1484.65348
Non-replicability circumstances in a neural network model with Hodgkin-Huxley-type neurons. (English) Zbl 1451.92012
Sharper probabilistic backward error analysis for basic linear algebra kernels with random data. (English) Zbl 1452.65090
Stability analysis of inline ZFP compression for floating-point data in iterative methods. (English) Zbl 1453.65096
Control of accuracy of Taylor-collocation method to solve the weakly regular Volterra integral equations of the first kind by using the CESTAC method. (English) Zbl 1463.65432
Cause and origin of Moire interferences in recursive processes and with fixed-point and floating-point data types. (English) Zbl 1470.65038
Optimizing secure floating-point arithmetic: sums, dot products, and polynomials. (English) Zbl 1463.94034
A dynamic precision floating-point arithmetic based on the Infinity Computer framework. (English) Zbl 07250760
Sergeyev, Yaroslav D. (ed.) et al., Numerical computations: theory and algorithms. Third international conference, NUMTA 2019, Crotone, Italy, June 15–21, 2019. Revised selected papers. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11974, 289-297 (2020).
MSC:
65-XX
Mixed precision block fused multiply-add: error analysis and application to GPU tensor cores. (English) Zbl 1452.65425
Interval methods of Adams-Bashforth type with variable step sizes. (English) Zbl 07202185
MSC:
65-XX
A generalized floating-point representation and manipulation of quantum signals based on IEEE-754. (English) Zbl 1440.81027
Higher-order and higher floating-point precision numerical approximations of finite strain elasticity moduli. (English) Zbl 07841260
An efficient parametric linear programming solver and application to polyhedral projection. (English) Zbl 1539.68188
Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 203-224 (2019).
Neural network precision tuning. (English) Zbl 1537.68038
Parker, David (ed.) et al., Quantitative evaluation of systems. 16th international conference, QEST 2019, Glasgow, UK, September 10–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11785, 129-143 (2019).
Icing: supporting fast-math style optimizations in a verified compiler. (English) Zbl 1533.68034
Dillig, Isil (ed.) et al., Computer aided verification. 31st international conference, CAV 2019, New York City, NY, USA, July 15–18, 2019. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 11562, 155-173 (2019).
Eliminating unstable tests in floating-point programs. (English) Zbl 1524.68104
Mesnard, Fred (ed.) et al., Logic-based program synthesis and transformation. 28th international symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4–6, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11408, 169-183 (2019).
Primitive floats in Coq. (English) Zbl 07649956
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 7, 20 p. (2019).
MSC:
68V15
Identifying volatile numeric expressions in numeric computing applications. (English) Zbl 1540.68054
Filter Results by …
Document Type
- Journal Articles (523)
- Collection Articles (142)
- Books (62)
all
top 5
Author
- Rump, Siegfried Michael (33)
- Muller, Jean-Michel (23)
- Higham, Nicholas J. (20)
- Graillat, Stef (16)
- Kulisch, Ulrich W. (13)
- Melquiond, Guillaume (13)
- Jeannerod, Claude-Pierre (12)
- Mary, Theo A. (12)
- Ogita, Takeshi (11)
- Demmel, James Weldon (10)
- Boldo, Sylvie (9)
- Marciniak, Andrzej (9)
- Oishi, Shin’ichi (9)
- Feldstein, Alan (7)
- Lefèvre, Vincent (7)
- Olver, Frank William John (7)
- Revol, Nathalie (7)
- Roux, Pierre (7)
- Stummel, Friedrich (7)
- Barlow, Jesse L. (6)
- Daumas, Marc (6)
- Goodman, Richard H. (6)
- Louvet, Nicolas (6)
- Martel, Matthieu (6)
- Ozaki, Katsuhisa (6)
- Tsuji, Kumiko (6)
- Turner, Peter R. (6)
- Vignes, Jean (6)
- Bohlender, Gerd (5)
- Jézéquel, Fabienne (5)
- Joldeş, Mioara (5)
- Langlois, Philippe (5)
- Zhu, Yong-Kang (5)
- Zimmermann, Paul (5)
- Brent, Richard Peirce (4)
- Brisebarre, Nicolas (4)
- Chesneaux, Jean-Marie (4)
- Cuyt, Annie A. M. (4)
- Darulova, Eva (4)
- Hämmerlin, Günther (4)
- Hoffmann, Karl-Heinz (4)
- Hoffmann, Tomasz (4)
- Hrycak, Tomasz (4)
- Jankowska, Malgorzata A. (4)
- Jiang, Hao (4)
- Lange, Marko (4)
- Martin-Dorel, Érik (4)
- Mehlhorn, Kurt (4)
- Miranker, Willard Lee (4)
- Petković, Miodrag S. (4)
- Pion, Sylvain (4)
- Schmutzhard, Sebastian (4)
- Schnorr, Claus Peter (4)
- Sen, Syamal Kumar (4)
- Shirayanagi, Kiyoshi (4)
- Smoktunowicz, Alicja (4)
- Stehlé, Damien (4)
- Tsao, Naikuan (4)
- Wolff von Gudenberg, Jürgen (4)
- Woźniakowski, Henryk (4)
- Akbarpour, Behzad (3)
- Amestoy, Patrick R. (3)
- Aydin, Kemal (3)
- Bareiss, Erwin H. (3)
- Bauer, Peter H. (3)
- Blanchard, Pierre (3)
- Bollen, Joseph Antonius Maria (3)
- Brown, W. S. (3)
- Buttari, Alfredo (3)
- Çıbıkdiken, Ali Osman (3)
- de Dinechin, Florent (3)
- Defour, David (3)
- Dunham, Charles B. (3)
- Ercegovac, Milos D. (3)
- Gopalakrishnan, Ganesh Lalitha (3)
- Hida, Yozo (3)
- Iakymchuk, Roman (3)
- Koev, Plamen (3)
- Kornerup, Peter (3)
- Koukouvinos, Christos (3)
- Krämer, Walter (3)
- Lauter, Christoph Quirin (3)
- L’Excellent, Jean-Yves (3)
- Lindstrom, Peter G. (3)
- Lozier, Daniel W. (3)
- Mitrouli, Marilena (3)
- Popescu, Valentina (3)
- Popova, Evgeniya D. (3)
- Ralev, Kamen R. (3)
- Reid, John (3)
- Schatte, Peter (3)
- Solovyev, Alexey (3)
- Swartzlander, Earl E. jun. (3)
- Tahar, Sofiène (3)
- Torres, Serge (3)
- Van Hulzen, Johan A. (3)
- Venkaiah, Vadlamudi Ch. (3)
- Watanuki, Osaaki (3)
- Yong, Junhai (3)
- Zheng, Guo-Qin (3)
- and 804 more Authors
all
top 5
Serial
- ACM Trans. Math. Softw. (39)
- SIAM J. Sci. Comput. (26)
- IEEE Trans. Comput. (18)
- Numer. Algorithms (18)
- BIT (17)
- Computing (16)
- Comput. Math. Appl. (12)
- J. Comput. Appl. Math. (11)
- Math. Comput. (10)
- Theor. Comput. Sci. (10)
- IMA J. Numer. Anal. (9)
- Appl. Math. Comput. (8)
- J. Autom. Reasoning (8)
- SIAM J. Matrix Anal. Appl. (8)
- Z. Angew. Math. Mech. (7)
- Appl. Numer. Math. (7)
- J. Symb. Comput. (7)
- Reliab. Comput. (7)
- Math. Comput. Simul. (6)
- Numer. Math. (6)
- Int. J. Comput. Math. (5)
- Form. Methods Syst. Des. (5)
- Parallel Comput. (4)
- Inf. Comput. (4)
- J. UCS (4)
- Comput. Phys. Commun. (3)
- Int. J. Theor. Phys. (3)
- Inf. Process. Lett. (3)
- Elektron. Rechenanlagen (3)
- J. Assoc. Comput. Mach. (3)
- J. Inf. Process. (3)
- Program. Comput. Softw. (3)
- Comput.-Aided Des. (3)
- Japan J. Ind. Appl. Math. (3)
- Int. J. Comput. Geom. Appl. (3)
- Comput. Geom. (3)
- Linear Algebra Appl. (3)
- SIAM Rev. (3)
- ETNA, Electron. Trans. Numer. Anal. (3)
- Interval Comput. (3)
- J. VLSI Signal Process. Syst. Signal Image Video Technol. (3)
- Am. Math. Mon. (2)
- J. Franklin Inst. (2)
- J. Math. Anal. Appl. (2)
- Zh. Vychisl. Mat. Mat. Fiz. (2)
- SIAM J. Comput. (2)
- SIAM J. Numer. Anal. (2)
- Circuits Syst. Signal Process. (2)
- Integr., VLSI J. (2)
- IEEE Trans. Signal Process. (2)
- C. R. Acad. Bulg. Sci. (2)
- Elektron. Informationsverarbeitung Kybernetik (2)
- IEEE Trans. Acoust. Speech Signal Process. (2)
- Bull., Inst. Math. Appl. (2)
- C. R. Acad. Sci., Paris, Sér. Gén., Vie Sci. (2)
- Adv. Eng. Softw. (2)
- Arch. Control Sci. (2)
- Nonlinear Dyn. (2)
- High.-Order Symb. Comput. (2)
- Commun. Nonlinear Sci. Numer. Simul. (2)
- Theor. Inform. Appl. (2)
- Math. Comput. Sci. (2)
- Int. J. Numer. Methods Appl. (2)
- Math. Appl. (Warsaw) (2)
- Mathematics (2)
- Comput. Methods Differ. Equ. (2)
- Springer-Lehrb. (2)
- Grundwiss. Math. (2)
- Am. Stat. (1)
- Comput. Fluids (1)
- Discrete Appl. Math. (1)
- Int. J. Control (1)
- Int. J. Numer. Methods Fluids (1)
- Indian J. Pure Appl. Math. (1)
- Int. J. Syst. Sci. (1)
- Isr. J. Math. (1)
- Jahresber. Dtsch. Math.-Ver. (1)
- J. Aust. Math. Soc., Ser. B (1)
- J. Comput. Phys. (1)
- J. Math. Phys. Sci. (1)
- Math. Gaz. (1)
- Math. Semesterber. (1)
- Q. J. Mech. Appl. Math. (1)
- Teor. Veroyatn. Primen. (1)
- Vestn. Leningr. Univ., Mat. Mekh. Astron. (1)
- Theory Probab. Appl. (1)
- Algol Bull. (1)
- Ann. Univ. Ferrara, Nuova Ser., Sez. VII (1)
- Arch. Math. (1)
- Calcolo (1)
- Can. Math. Bull. (1)
- Demonstr. Math. (1)
- Gaz. Math., Soc. Math. Fr. (1)
- IEEE Trans. Autom. Control (1)
- IEEE Trans. Circuits Syst. (1)
- Int. J. Numer. Methods Eng. (1)
- J. Comput. Syst. Sci. (1)
- J. Differ. Equations (1)
- J. Indian Inst. Sci. (1)
- J. Symb. Log. (1)
- and 127 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (10)
- 2023 (19)
- 2022 (18)
- 2021 (14)
- 2020 (29)
- 2019 (19)
- 2018 (12)
- 2017 (19)
- 2016 (25)
- 2015 (21)
- 2014 (14)
- 2013 (20)
- 2012 (16)
- 2011 (14)
- 2010 (11)
- 2009 (15)
- 2008 (11)
- 2007 (12)
- 2006 (13)
- 2005 (18)
- 2004 (14)
- 2003 (16)
- 2002 (11)
- 2001 (21)
- 2000 (8)
- 1999 (14)
- 1998 (16)
- 1997 (13)
- 1996 (14)
- 1995 (9)
- 1994 (16)
- 1993 (18)
- 1992 (20)
- 1991 (17)
- 1990 (18)
- 1989 (13)
- 1988 (15)
- 1987 (19)
- 1986 (11)
- 1985 (12)
- 1984 (15)
- 1983 (14)
- 1982 (18)
- 1981 (17)
- 1980 (15)
- 1979 (9)
- 1978 (4)
- 1977 (8)
- 1976 (1)
all
top 3
Main Field
- 65-XX (566)
- 68-XX (255)
- 15-XX (28)
- 90-XX (26)
- 33-XX (21)
- 94-XX (21)
- 11-XX (18)
- 26-XX (18)
- 41-XX (16)
- 12-XX (13)
- 93-XX (13)
- 00-XX (11)
- 60-XX (11)
- 76-XX (11)
- 30-XX (10)
- 34-XX (10)
- 62-XX (9)
- 13-XX (7)
- 81-XX (7)
- 37-XX (6)
- 35-XX (5)
- 47-XX (5)
- 70-XX (5)
- 74-XX (5)
- 92-XX (5)
- 03-XX (4)
- 39-XX (4)
- 52-XX (4)
- 01-XX (3)
- 05-XX (3)
- 42-XX (3)
- 51-XX (3)
- 22-XX (2)
- 28-XX (2)
- 49-XX (2)
- 80-XX (2)
- 06-XX (1)
- 16-XX (1)
- 17-XX (1)
- 20-XX (1)
- 31-XX (1)
- 44-XX (1)
- 45-XX (1)
- 58-XX (1)
- 91-XX (1)
all
top 3
Software
- mctoolbox (103)
- Matlab (44)
- MPFR (34)
- Coq (27)
- INTLAB (19)
- Flocq (18)
- LAPACK (17)
- HOL Light (15)
- Maple (14)
- XBLAS (14)
- gmp (13)
- LBNL (11)
- CADNA (10)
- ARPREC (9)
- BLAS (9)
- CUDA (8)
- Gappa (8)
- Mathematica (8)
- PASCAL-XSC (7)
- z3 (7)
- Algorithm 524 (6)
- Boost (6)
- C-XSC 2.0 (6)
- GitHub (6)
- SparseMatrix (6)
- ACL2 (5)
- Boost C++ Libraries (5)
- C-XSC (5)
- CAMPARY (5)
- CGAL (5)
- DLMF (5)
- MPFI (5)
- PVS (5)
- SLEEF (5)
- VNODE (5)
- dReal (5)
- ASTREE (4)
- CPFloat (4)
- HOL (4)
- Hull (4)
- LEDA (4)
- Libchopping (4)
- MACHAR (4)
- MetiTarski (4)
- NSDTST (4)
- PROFIL/BIAS (4)
- Pascal-SC (4)
- STDTST (4)
- Sollya (4)
- Why3 (4)
- iRRAM (4)
- mftoolbox (4)
- 2Sum (3)
- ATLAS (3)
- Algorithm 722 (3)
- Algorithm 908 (3)
- Apron (3)
- Boost Interval Arithmetic (3)
- CR-LIBM (3)
- Chebfun (3)
- FastGaussQuadrature (3)
- FpDebug (3)
- Frama-C (3)
- Julia (3)
- LINPACK (3)
- MATLAB expm (3)
- MathSAT5 (3)
- Mosek (3)
- Mulprec (3)
- QEPCAD (3)
- R (3)
- RODES (3)
- RealPaver (3)
- ScaLAPACK (3)
- Simulink (3)
- TestU01 (3)
- doubledouble (3)
- filib++ (3)
- gaol (3)
- kepler98 (3)
- rpe (3)
- zfp (3)
- ADIFOR (2)
- AI2 (2)
- Ada95 (2)
- Algorithm 1014 (2)
- Algorithm 693 (2)
- Algorithm 719 (2)
- Algorithm 786 (2)
- Archive Formal Proofs (2)
- BlackHat (2)
- CAS/PI (2)
- CBMC (2)
- CHIMERA (2)
- CRlibm (2)
- CUBLAS (2)
- CVC4 (2)
- CholQR (2)
- Coq Interval (2)
- Coquelicot (2)
- and 342 more Software Packages
