Cited in
(90)- Multiple/arbitrary precision interval computations in C-XSC
- Linnik's approximation to Goldbach's conjecture, and other problems
- Improving the Semidefinite Programming Bound for the Kissing Number by Exploiting Polynomial Symmetry
- Verification, Model Checking, and Abstract Interpretation
- Certified non-conservative tests for the structural stability of discrete multidimensional systems
- A rigorous computational approach to linear response
- A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- Effective real numbers in Mmxlib
- On the sharpness of the Rüssmann estimates
- Efficient and Safe Global Constraints for Handling Numerical Constraint Systems
- 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
- Computational complexity of iterated maps on the interval
- Numerical Software with Result Verification
- Computer-assisted proofs in PDE: a survey
- An interval component for continuous constraints.
- Handbook of floating-point arithmetic
- New predictor-corrector methods with high efficiency for solving nonlinear systems
- On solving systems of bivariate polynomials
- ACRITH-XSC
- C-XSC
- C-XSC 2.0
- intpakX
- PROFIL/BIAS
- RealLib
- SHRAD
- MPFR
- 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
- FLIP
- CR-LIBM
- JInterval
- Moore
- Mmxlib
- CoSyma
- ROCS
- insulate
- LTLMoP
- doubledouble
- DPE
- RS3
- pFaces
- NumericalCertification
- ValidatedNumerics.jl
- Computing \(\pi(x)\) analytically
- 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
- Multistep high-order methods for nonlinear equations using Padé-like approximants
- On the first sign change of \(\theta(x) -x\)
- Symbolic methods for solving algebraic systems of equations and applications for testing the structural stability
- Towards optimal use of multi-precision arithmetic: a remark
- scientific article; zbMATH DE number 3649911 (Why is no real title available?)
- A certified numerical algorithm for the topology of resultant and discriminant curves
- The design of the Boost interval arithmetic library
- scientific article; zbMATH DE number 5917352 (Why is no real title available?)
- Computing the pessimism of inclusion functions
- Bifurcations of central configurations in the four-body problem with some equal masses
- Standardized interval arithmetic and interval arithmetic used in libraries
- Existence of noise induced order, a computer aided proof
- 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
- Codac
- New results for witnesses of Robin's criterion
- On the classification of Kähler-Ricci solitons on Gorenstein del Pezzo surfaces
This page was built for software: MPFI
