MPFI
From MaRDI portal
Cited in
(90)- Semidefinite characterization and computation of zero-dimensional real radical ideals
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- intpakX
- PROFIL/BIAS
- An interval component for continuous constraints.
- RealLib
- SHRAD
- MPFR
- Rigorous computer-assisted application of KAM theory: a modern approach
- SAM
- core 2
- On the classification of Kähler-Ricci solitons on Gorenstein del Pezzo surfaces
- New predictor-corrector methods with high efficiency for solving nonlinear systems
- gaol
- Multistep high-order methods for nonlinear equations using Padé-like approximants
- SLEEF
- PNM
- filib++
- alphaCertified
- SqFreeEVAL
- Stochastic arithmetic in multiprecision
- ISOLATE
- Arb
- Certified non-conservative tests for the structural stability of discrete multidimensional systems
- Algorithm 524
- iRRAM
- INTPAK
- AETG
- Sollya
- On the sharpness of the Rüssmann estimates
- Exact bounded-error continuous-time linear state estimator
- Preliminary orbit determination of artificial satellites: a vectorial sixth-order approach
- Computer-assisted proofs in PDE: a survey
- Linnik's approximation to Goldbach's conjecture, and other problems
- New upper bounds for the density of translative packings of three-dimensional convex bodies with tetrahedral symmetry
- Using computer algebra to certify the global convergence of a numerical optimization process
- Computing the pessimism of inclusion functions
- Boost Interval Arithmetic
- Towards optimal use of multi-precision arithmetic: a remark
- TweetNaCl
- Octave Interval
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- MPIGMP
- GPUprec
- CUMP
- CAMPARY
- On the first sign change of (x) -x
- Bifurcations of central configurations in the four-body problem with some equal masses
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
- Effective real numbers in Mmxlib
- Moore
- JInterval
- CR-LIBM
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- Mmxlib
- CoSyma
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- insulate
- A certified numerical algorithm for the topology of resultant and discriminant curves
- LTLMoP
- doubledouble
- FLIP
- DPE
- ROCS
- Multiple/arbitrary precision interval computations in C-XSC
- RS3
- pFaces
- Computational complexity of iterated maps on the interval
- Handbook of floating-point arithmetic
- A rigorous computational approach to linear response
- Improving the Semidefinite Programming Bound for the Kissing Number by Exploiting Polynomial Symmetry
- New results for witnesses of Robin's criterion
- Symbolic methods for solving algebraic systems of equations and applications for testing the structural stability
- Computing (x) analytically
- Numerical Software with Result Verification
- NumericalCertification
- ValidatedNumerics.jl
- Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
- Verification, Model Checking, and Abstract Interpretation
- On solving systems of bivariate polynomials
- Standardized interval arithmetic and interval arithmetic used in libraries
- Existence of noise induced order, a computer aided proof
- A certificate-based approach to formally verified approximations
- Codac
- Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations
- The design of the Boost interval arithmetic library
- Standardization and testing of implementations of mathematical functions in floating point numbers
- A revision of the proof of the Kepler conjecture
This page was built for software: MPFI
