Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919): Difference between revisions

@@ Property / describes a project that uses @@
+INTPAK
@@ Property / describes a project that uses: INTPAK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+C-XSC
@@ Property / describes a project that uses: C-XSC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+INTOPT_90
@@ Property / describes a project that uses: INTOPT_90 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPSolve
@@ Property / describes a project that uses: MPSolve / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ISOLATE
@@ Property / describes a project that uses: ISOLATE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+iRRAM
@@ Property / describes a project that uses: iRRAM / 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 @@
+MPFI
@@ Property / describes a project that uses: MPFI / 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 @@
+INTLAB
@@ Property / describes a project that uses: INTLAB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PNM
@@ Property / describes a project that uses: PNM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+filib++
@@ Property / describes a project that uses: filib++ / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2107996047
@@ Property / OpenAlex ID: W2107996047 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4235029
@@ Property / cites work: Q4235029 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise computation using range arithmetic, via C++
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3806684
@@ Property / cites work: Q3806684 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified high-order inversion of functional dependencies and interval Newton methods
+Normal rank
@@ Property / cites work @@
+Feasible real random access machines
@@ Property / cites work: Feasible real random access machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q4851608
@@ Property / cites work: Q4851608 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023642
@@ Property / cites work: Q4023642 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial root finding using iterated Eigenvalue computation
+Normal rank
@@ Property / cites work @@
+Q4004279
@@ Property / cites work: Q4004279 / rank @@
+Normal rank
@@ Property / cites work @@
+An interval Newton method
@@ Property / cites work: An interval Newton method / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding solutions of systems of equations using interval analysis
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2713275
@@ Property / cites work: Q2713275 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous global search: continuous problems
@@ Property / cites work: Rigorous global search: continuous problems / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
+Normal rank
@@ Property / cites work @@
+On stopping criteria in verified nonlinear systems or optimization algorithms
+Normal rank
@@ Property / cites work @@
+Q4851618
@@ Property / cites work: Q4851618 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286655
@@ Property / cites work: Q5286655 / rank @@
+Normal rank
@@ Property / cites work @@
+PROFIL/BIAS - A fast interval library
@@ Property / cites work: PROFIL/BIAS - A fast interval library / rank @@
+Normal rank
@@ Property / cites work @@
+FILIB++, a fast interval library supporting containment computations
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531992
@@ Property / cites work: Q4531992 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Methods for Systems of Equations
@@ Property / cites work: Interval Methods for Systems of Equations / rank @@
+Normal rank
@@ Property / cites work @@
+Interval Newton iteration in multiple precision for the univariate case
+Normal rank
@@ Property / cites work @@
+Motivations for an arbitrary precision interval arithmetic and the MPFI library
+Normal rank
@@ Property / cites work @@
+Solving zero-dimensional systems through the rational univariate representation
+Normal rank
@@ Property / cites work @@
+Efficient isolation of polynomial's real roots.
@@ Property / cites work: Efficient isolation of polynomial's real roots. / rank @@
+Normal rank
@@ Property / cites work @@
+Fast and parallel interval arithmetic
@@ Property / cites work: Fast and parallel interval arithmetic / rank @@
+Normal rank