Verification methods: Rigorous results using floating-point arithmetic (Q2890535): Difference between revisions

@@ Property / author @@
-Siegfried Michael Rump
@@ Property / author: Siegfried Michael Rump / rank @@
-Normal rank
@@ Property / author @@
+Siegfried Michael Rump
@@ Property / author: Siegfried Michael Rump / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NETLIB LP Test Set
@@ Property / describes a project that uses: NETLIB LP Test Set / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LAPACK
@@ Property / describes a project that uses: LAPACK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPFR
@@ Property / describes a project that uses: MPFR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VSDP
@@ Property / describes a project that uses: VSDP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ValEncIA-IVP
@@ Property / describes a project that uses: ValEncIA-IVP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPT3
@@ Property / describes a project that uses: SDPT3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-XSC 2.0
@@ Property / describes a project that uses: C-XSC 2.0 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Matlab
@@ Property / describes a project that uses: Matlab / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROFIL/BIAS
@@ Property / describes a project that uses: PROFIL/BIAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ADIFOR
@@ Property / describes a project that uses: ADIFOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mctoolbox
@@ Property / describes a project that uses: mctoolbox / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ValEncIA
@@ Property / describes a project that uses: ValEncIA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SDPLIB
@@ Property / describes a project that uses: SDPLIB / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2890535