Multiple/arbitrary precision interval computations in C-XSC (Q411422): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00607-011-0174-8
+Normal rank
@@ Property / OpenAlex ID @@
+W2046496501
@@ Property / OpenAlex ID: W2046496501 / rank @@
+Normal rank
@@ Property / cites work @@
+Precise computation using range arithmetic, via C++
+Normal rank
@@ Property / cites work @@
+Scientific computing with automatic result verification
+Normal rank
@@ Property / cites work @@
+Q3345690
@@ Property / cites work: Q3345690 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19--24, 2003. Revised papers.
+Normal rank
@@ Property / cites work @@
+Q4657485
@@ Property / cites work: Q4657485 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fortran 90-based multiprecision system
@@ Property / cites work: A Fortran 90-based multiprecision system / rank @@
+Normal rank
@@ Property / cites work @@
+An AUGMENT Interface for Brent's Multiple Precision Arithmetic Package
+Normal rank
@@ Property / cites work @@
+A remarkable example of catastrophic cancellation unraveled
+Normal rank
@@ Property / cites work @@
+Efficient and Reliable Multiprecision Implementation of Elementary and Special Functions
+Normal rank
@@ Property / cites work @@
+MPFR
@@ Property / cites work: MPFR / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating Derivatives
@@ Property / cites work: Evaluating Derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4835644
@@ Property / cites work: Q4835644 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999735
@@ Property / cites work: Q3999735 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5286655
@@ Property / cites work: Q5286655 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3139699
@@ Property / cites work: Q3139699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3508938
@@ Property / cites work: Q3508938 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer arithmetic and validity. Theory, implementation, and applications
+Normal rank
@@ Property / cites work @@
+The exact dot product as basic tool for long interval arithmetic
+Normal rank
@@ Property / cites work @@
+Q3139698
@@ Property / cites work: Q3139698 / 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 @@
+Motivations for an arbitrary precision interval arithmetic and the MPFI library
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Efficient Multiple-Precision Evaluation of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
+Normal rank
@@ Property / cites work @@
+Useful computations need useful numbers
@@ Property / cites work: Useful computations need useful numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Reliable Computing with GNU MPFR
@@ Property / cites work: Reliable Computing with GNU MPFR / rank @@
+Normal rank