MPFI

swMATH597MaRDI QIDQ13352FDOQ13352

Author name not available (Why is that?)

Official website: http://perso.ens-lyon.fr/nathalie.revol/software.html

Cited In (82)

• Symbolic methods for solving algebraic systems of equations and applications for testing the structural stability
• Towards optimal use of multi-precision arithmetic: a remark
• Title not available (Why is that?)
• New results for witnesses of Robin's criterion
• 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
• 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 the sharpness of the Rüssmann estimates
• Preliminary orbit determination of artificial satellites: a vectorial sixth-order approach
• Stochastic arithmetic in multiprecision
• Codac
• 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.
• Handbook of floating-point arithmetic
• On solving systems of bivariate polynomials
• New predictor-corrector methods with high efficiency for solving nonlinear systems
• Computing \(\pi(x)\) analytically
• New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry
• core 2
• SAM
• gaol
• PNM
• SLEEF
• filib++
• alphaCertified
• SqFreeEVAL
• Arb
• ISOLATE
• Algorithm 524
• iRRAM
• INTPAK
• AETG
• Sollya
• Boost Interval Arithmetic
• Octave Interval
• TweetNaCl
• CUMP
• CAMPARY
• GPUprec
• MPIGMP
• Using computer algebra to certify the global convergence of a numerical optimization process
• Multistep high-order methods for nonlinear equations using Padé-like approximants
• FLIP
• CR-LIBM
• JInterval
• Moore
• Mmxlib
• CoSyma
• ROCS
• insulate
• LTLMoP
• doubledouble
• DPE
• RS3
• pFaces
• On the first sign change of \(\theta(x) -x\)
• NumericalCertification
• ValidatedNumerics.jl
• Title not available (Why is that?)
• A certified numerical algorithm for the topology of resultant and discriminant curves
• The design of the Boost interval arithmetic library
• Computing the pessimism of inclusion functions
• Standardized interval arithmetic and interval arithmetic used in libraries
• 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
• 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