MPFR

swMATH3312MaRDI QIDQ15844FDOQ15844

Author name not available (Why is that?)

Official website: https://www.mpfr.org/

Described by source

• Reliable Computing with GNU MPFR

Cited In (only showing first 100 items - show all)

• Note on the efficiency of some iterative methods for solving nonlinear equations
• On an asymptotic rule \(A+B/u\) for ultimate ruin probabilities under dependence by mixing
• Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
• On the exponential convergence of the method of fundamental solutions
• MPFR
• A regularization method for constrained nonlinear least squares
• A simple yet efficient derivative free family of seventh order methods for systems of nonlinear equations
• An efficient derivative free family of fourth order methods for solving systems of nonlinear equations
• On hyperbolicity in the renormalization of near-critical area-preserving maps
• Rigorous and Efficient Short Lattice Vectors Enumeration
• A technique to choose the most efficient method between secant method and some variants
• Multiple/arbitrary precision interval computations in C-XSC
• A novel derivative free algorithm with seventh order convergence for solving systems of nonlinear equations
• Frozen iterative methods using divided differences ``à la Schmidt-Schwetlick
• On the local convergence of a family of two-step iterative methods for solving nonlinear equations
• Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs
• Rigorous high-precision computation of the Hurwitz zeta function and its derivatives
• Efficient higher order derivative-free multipoint methods with and without memory for systems of nonlinear equations
• Estimation-based local search for stochastic combinatorial optimization using delta evaluations: a case study on the probabilistic traveling salesman problem
• Motivations for an arbitrary precision interval arithmetic and the MPFI library
• Constructing elliptic curves over finite fields using double eta-quotients
• A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic
• Seventh-order derivative-free iterative method for solving nonlinear systems
• Accurate floating-point summation. II: Sign, \(K\)-fold faithful and rounding to nearest
• Ultimately fast accurate summation
• The stability of barycentric interpolation at the Chebyshev points of the second kind
• The stability of extended Floater-Hormann interpolants
• Structured backward errors in linearizations
• On iterative methods with accelerated convergence for solving systems of nonlinear equations
• On the computational efficiency index and some iterative methods for solving systems of nonlinear equations
• Efficient derivative-free numerical methods for solving systems of nonlinear equations
• Numerically stable methods for the computation of exit rates in Markov chains
• High-precision continuation of periodic orbits
• A spectral method for Schrödinger equations with smooth confinement potentials
• Formal study of plane Delaunay triangulation
• The Lorenz renormalization conjecture
• Computing modular polynomials in quasi-linear time
• An efficient fifth order method for solving systems of nonlinear equations
• On the numerical stability of linear barycentric rational interpolation
• Efficient implementation of the Hardy-Ramanujan-Rademacher formula
• An explicit density estimate for Dirichlet \(L\)-series
• Computational complexity of iterated maps on the interval
• Efficient Jarratt-like methods for solving systems of nonlinear equations
• A database of rigorous and high-precision periodic orbits of the Lorenz model
• Exponential decay of errors of a fundamental solution method applied to a reduced wave problem in the exterior region of a disc
• Existence and stability of traveling pulse solutions of the FitzHugh-Nagumo equation
• Acceleration of generalized hypergeometric functions through precise remainder asymptotics
• New efficient derivative free family of seventh-order methods for solving systems of nonlinear equations
• Increasing the order of convergence for iterative methods to solve nonlinear systems
• Simple yet efficient Newton-like method for systems of nonlinear equations
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
• Implementing the asymptotically fast version of the elliptic curve primality proving algorithm
• Daisy
• An improved lower bound for the de Bruijn-Newman constant
• CAPD DynSys
• Exterior powers of the adjoint representation and the Weyl ring of \(E_8\)
• Floating-point arithmetic in the Coq system
• An asymptotically perfect secret sharing scheme based on the Chinese remainder theorem
• Two efficient derivative-free iterative methods for solving nonlinear systems
• KAM quasi-periodic solutions for the dissipative standard map
• Estimation-based metaheuristics for the probabilistic traveling salesman problem
• Verification methods: rigorous results using floating-point arithmetic
• Adaptive sample size and importance sampling in estimation-based local search for the probabilistic traveling salesman problem
• On some efficient derivative-free iterative methods with memory for solving systems of nonlinear equations
• Arbitrary precision real arithmetic: design and algorithms
• Analysing the efficiency of some modifications of the secant method
• Foundations of Exact Rounding
• Accuracy Problems of Numerical Calculation of Fractional Order Derivatives and Integrals Applying the Riemann-Liouville/Caputo Formulas
• Title not available (Why is that?)
• Towards faster polynomial-time lattice reduction
• A new class of methods with higher order of convergence for solving systems of nonlinear equations
• Homotopy method of fundamental solutions for solving certain nonlinear partial differential equations
• On some computational orders of convergence
• Accurate solution of dense linear systems I: Algorithms in rounding to nearest
• A simple and efficient method with high order convergence for solving systems of nonlinear equations
• Spectral stability for the wave equation with periodic forcing
• Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations
• High-order parameter approximation for von Mises-Fisher distributions
• On the identification of symmetric quadrature rules for finite element methods
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• Effective real numbers in Mmxlib
• gmp
• Lorenz-Database
• CUMP
• CAMPARY
• GPUprec
• MPIGMP
• Star-P
• FDLIBM
• IQ-TREE
• ZKCM
• ZKCM_QC
• FLIP
• HPL
• AFEM
• ColDICE
• CR-LIBM
• FFADlib
• FloPoCo
• JInterval

This page was built for software: MPFR