MPFI

swMATH597MaRDI QIDQ13352

No author found.

Related Items (44)

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

This page was built for software: MPFI