Pages that link to "Item:Q2572919"

The following pages link to Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919):

Displaying 37 items.

• A certified numerical algorithm for the topology of resultant and discriminant curves (Q346543) (← links)
• Multiple/arbitrary precision interval computations in C-XSC (Q411422) (← links)
• Computational complexity of iterated maps on the interval (Q449664) (← links)
• Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
• Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations (Q643557) (← links)
• Standardization and testing of implementations of mathematical functions in floating point numbers (Q926622) (← links)
• A revision of the proof of the Kepler conjecture (Q977177) (← links)
• Semidefinite characterization and computation of zero-dimensional real radical ideals (Q1029543) (← links)
• Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
• On the classification of Kähler-Ricci solitons on Gorenstein del Pezzo surfaces (Q1746624) (← links)
• New predictor-corrector methods with high efficiency for solving nonlinear systems (Q1760812) (← links)
• Multistep high-order methods for nonlinear equations using Padé-like approximants (Q1784866) (← links)
• Stochastic arithmetic in multiprecision (Q1949764) (← links)
• Certified non-conservative tests for the structural stability of discrete multidimensional systems (Q2002386) (← links)
• On the sharpness of the Rüssmann estimates (Q2204896) (← links)
• Exact bounded-error continuous-time linear state estimator (Q2242895) (← links)
• Preliminary orbit determination of artificial satellites: a vectorial sixth-order approach (Q2319315) (← links)
• Computer-assisted proofs in PDE: a survey (Q2321033) (← links)
• Linnik's approximation to Goldbach's conjecture, and other problems (Q2344336) (← links)
• New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry (Q2408217) (← links)
• Computing the pessimism of inclusion functions (Q2481139) (← links)
• Motivations for an arbitrary precision interval arithmetic and the MPFI library (Q2572919) (← links)
• On the first sign change of $\theta (x) -x$ (Q2792376) (← links)
• Bifurcations of Central Configurations in the Four-Body Problem with Some Equal Masses (Q2797742) (← links)
• A rigorous computational approach to linear response (Q4635065) (← links)
• Improving the Semidefinite Programming Bound for the Kissing Number by Exploiting Polynomial Symmetry (Q4689862) (← links)
• Computing Hypergeometric Functions Rigorously (Q4960950) (← links)
• New results for witnesses of Robin’s criterion (Q5029480) (← links)
• Optimality for the two-parameter quadratic sieve (Q5084399) (← links)
• Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability (Q5118408) (← links)
• Bounds and algorithms for the -Bessel function of imaginary order (Q5169593) (← links)
• Computing $\pi (x)$ analytically (Q5179234) (← links)
• Existence of noise induced order, a computer aided proof (Q5856307) (← links)
• A certificate-based approach to formally verified approximations (Q5875414) (← links)
• Floating-point arithmetic (Q6047500) (← links)
• Recursive solution of initial value problems with temporal discretization (Q6069850) (← links)
• A domain-theoretic framework for robustness analysis of neural networks (Q6149907) (← links)