MPFI

swMATH597MaRDI QIDQ13352FDOQ13352

Author name not available (Why is that?)

Cited In (44)

• Improving the Semidefinite Programming Bound for the Kissing Number by Exploiting Polynomial Symmetry
• Linnik's approximation to Goldbach's conjecture, and other problems
• Multiple/arbitrary precision interval computations in C-XSC
• Computing $\pi (x)$ analytically
• Verification, Model Checking, and Abstract Interpretation
• A rigorous computational approach to linear response
• Certified non-conservative tests for the structural stability of discrete multidimensional systems
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
• Effective real numbers in Mmxlib
• Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
• On Solving Systems of Bivariate Polynomials
• Symbolic Methods for Solving Algebraic Systems of Equations and Applications for Testing the Structural Stability
• On the sharpness of the Rüssmann estimates
• Preliminary orbit determination of artificial satellites: a vectorial sixth-order approach
• Stochastic arithmetic in multiprecision
• Rigorous computer-assisted application of KAM theory: a modern approach
• A certificate-based approach to formally verified approximations
• Semidefinite characterization and computation of zero-dimensional real radical ideals
• Numerical Software with Result Verification
• Computer-assisted proofs in PDE: a survey
• Computational complexity of iterated maps on the interval
• An interval component for continuous constraints.
• New predictor-corrector methods with high efficiency for solving nonlinear systems
• Standardized Interval Arithmetic and Interval Arithmetic Used in Libraries
• New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry
• New results for witnesses of Robin’s criterion
• Using computer algebra to certify the global convergence of a numerical optimization process
• Multistep high-order methods for nonlinear equations using Padé-like approximants
• On the first sign change of \(\theta(x) -x\)
• Towards optimal use of multi-precision arithmetic: a remark
• Title not available (Why is that?)
• A certified numerical algorithm for the topology of resultant and discriminant curves
• Title not available (Why is that?)
• The design of the Boost interval arithmetic library
• Computing the pessimism of inclusion functions
• Existence of noise induced order, a computer aided proof
• Bifurcations of central configurations in the four-body problem with some equal masses
• Exact bounded-error continuous-time linear state estimator
• Handbook of Floating-Point Arithmetic
• Standardization and testing of implementations of mathematical functions in floating point numbers
• A revision of the proof of the Kepler conjecture
• Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations
• On the classification of Kähler-Ricci solitons on Gorenstein del Pezzo surfaces

This page was built for software: MPFI