MPFR
From MaRDI portal
Publication:3549209
DOI10.1145/1236463.1236468zbMath1365.65302OpenAlexW1969213662WikidataQ56454303 ScholiaQ56454303MaRDI QIDQ3549209
Vincent Lefèvre, Laurent Fousse, Patrick Pélissier, Guillaume Hanrot, Paul Zimmermann
Publication date: 21 December 2008
Published in: ACM Transactions on Mathematical Software (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1236463.1236468
Related Items
Algorithm 1021: SPEX Left LU, Exactly Solving Sparse Linear Systems via a Sparse Left-looking Integer-preserving LU Factorization, Mixed precision algorithms in numerical linear algebra, An explicit density estimate for Dirichlet $L$-series, An asymptotically perfect secret sharing scheme based on the Chinese Remainder Theorem, A highly efficient root-solver of very fast convergence, Efficient Predicate Evaluation Using Randomized Degeneracy Detection, On the efficiency of two variants of Kurchatov's method for solving nonlinear systems, Worst Cases for the Exponential Function in the IEEE 754r decimal64 Format, Constantes de Turán–Kubilius friables: une étude numérique, Cryptanalysis of Multiplicative Coupled Cryptosystems Based on the Chebyshev Polynomials, The Lorenz Renormalization Conjecture, Computing the expected Markov reward rates with stationarity detection and relative error control, A Class of Higher-Order Newton-Like Methods for Systems of Nonlinear Equations, Verified inclusions for a nearest matrix of specified rank deficiency via a generalization of Wedin's \(\sin (\theta)\) theorem, Sampling from Arbitrary Centered Discrete Gaussians for Lattice-Based Cryptography, Unnamed Item, New efficient derivative free family of seventh-order methods for solving systems of nonlinear equations, On the rate of relaxation for the Landau kinetic equation and related models, Ball convergence of an efficient multi-step scheme for solving equations and systems of equations, On a compensated Ehrlich-Aberth method for the accurate computation of all polynomial roots, Calculating the divided differences of the exponential function by addition and removal of inputs, Floating-point arithmetic, On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents, Very accurate time propagation of coupled Schrödinger equations for femto- and attosecond physics and chemistry, with C++ source code, Computational mirror symmetry, ABS: A formally correct software tool for space-efficient symbolic synthesis, General framework for deriving reproducible Krylov subspace algorithms: BiCGStab case, Infinite-precision inner product and sparse matrix-vector multiplication using Ozaki scheme with Dot2 on manycore processors, An adaptive Steffensen-like families for solving nonlinear systems using frozen divided differences, Formally-verified round-off error analysis of Runge-Kutta methods, A class of computationally efficient Newton-like methods with frozen inverse operator for nonlinear systems, A review note on arbitrary precision arithmetic, Asymptotic reflection of a self-propelled particle from a boundary wall, Extended convergence for a fifth‐order novel scheme free from derivatives, The numerical solution of fractional integral equations via orthogonal polynomials in fractional powers, Numerical integration of high-order variational equations of ODEs, Multiprecision Algorithms for Computing the Matrix Logarithm, Rigorous numerics for critical orbits in the quadratic family, Computation of Exact Bootstrap Confidence Intervals: Complexity and Deterministic Algorithms, Computation of Tight Enclosures for Laplacian Eigenvalues, An exponentially convergent functional-discrete method for solving Sturm-Liouville problems with a potential including the Dirac \(\delta\)-function, Multiquadric and Chebyshev approximation to three-dimensional thermoelasticity with arbitrary body forces, Dynamic electric-field-induced response of charged spherical colloids in uncharged hydrogels, Using the Inhomogeneous Simultaneous Approximation Problem for Cryptographic Design, On Reliable Computation of Lifetime in Transient Chaos, Fast evaluation of modular functions using Newton iterations and the AGM, Constructing elliptic curves over finite fields using double eta-quotients, Non–existence oftheta–shaped self–similarly shrinking networks moving by curvature, On the improved Newton-like methods for the inclusion of polynomial zeros, The complexity of class polynomial computation via floating point approximations, Computing modular polynomials in quasi-linear time, Foundations of Exact Rounding, On some efficient derivative-free iterative methods with memory for solving systems of nonlinear equations, Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions, Computing Hypergeometric Functions Rigorously, Computational efficiency of some combined methods for polynomial equations, Homotopy method of fundamental solutions for solving certain nonlinear partial differential equations, Run-and-tumble motion in a harmonic potential: field theory and entropy production, Moment methods in energy minimization: New bounds for Riesz minimal energy problems, CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications, An improved lower bound for the de Bruijn-Newman constant, Sampling Exactly from the Normal Distribution, On the fast Lanczos method for computation of eigenvalues of Hankel matrices using multiprecision arithmetics, A Modified Newton–Özban Composition for Solving Nonlinear Systems, Simulating Low Precision Floating-Point Arithmetic, Computing the moment polynomials of the zeta function, Infrared divergences in the EPRL-FK spin foam model, Homotopy method of fundamental solutions for solving nonlinear heat conduction problems, Radiation-reaction in classical off-shell electrodynamics. I. The above mass-shell case, Efficient and accurate implementation of \(hp\)-BEM for the Laplace operator in 2D, Hyperbolic Embeddings for Near-Optimal Greedy Routing, Almost extreme waves, Rigorous high-precision computation of the Hurwitz zeta function and its derivatives, Maximum edge-cuts in cubic graphs with large girth and in random cubic graphs, Polynomial homotopy continuation in Macaulay2, Efficient higher order derivative-free multipoint methods with and without memory for systems of nonlinear equations, A Robust and Scalable Implementation of the Parks-McClellan Algorithm for Designing FIR Filters, An iterative approach to barycentric rational Hermite interpolation, Structured backward errors in linearizations, An efficient derivative free family of fourth order methods for solving systems of nonlinear equations, Numerical methods for EPRL spin foam transition amplitudes and Lorentzian recoupling theory, Towards faster polynomial-time lattice reduction, A parallel algorithm for calculation of determinants and minors using arbitrary precision arithmetic, Efficient derivative-free numerical methods for solving systems of nonlinear equations, Numerically stable methods for the computation of exit rates in Markov chains, Random monomial ideals, Recent advances in a rigorous computation of Poincaré maps, A database of rigorous and high-precision periodic orbits of the Lorenz model, An efficient fifth order method for solving systems of nonlinear equations, Fast and efficient bit-level precision tuning, 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?, Upper bounds on the growth rates of independent sets in two dimensions via corner transfer matrices, A new class of methods with higher order of convergence for solving systems of nonlinear equations, Analysing the efficiency of some modifications of the secant method, Distant decimals of \(\pi \): formal proofs of some algorithms computing them and guarantees of exact computation, Study of a generalized Levin-Weniger convergence accelerator of numerical series: Particular cases and applications to multi-electron integrals in atomic physics, High-order parameter approximation for von Mises-Fisher distributions, Note on the efficiency of some iterative methods for solving nonlinear equations, Seventh-order derivative-free iterative method for solving nonlinear systems, A family of iterative methods that uses divided differences of first and second orders, Formal verification of a floating-point expansion renormalization algorithm, A study of optimization for Steffensen-type methods with frozen divided differences, A multidimensional generalization of some classes of free-derivative iterative methods to solve nonlinear equations, Uncertainty propagation or box propagation, Multiple/arbitrary precision interval computations in C-XSC, On a reduced cost derivative-free higher-order numerical algorithm for nonlinear systems, A multidimensional generalization of some classes of iterative methods, A technique to choose the most efficient method between secant method and some variants, Automatic particular solutions of arbitrary high-order splines associated with polyharmonic and poly-Helmholtz equations, On recurrences converging to the wrong limit in finite precision and some new examples, Stochastic arithmetic in multiprecision, High-precision continuation of periodic orbits, A numerical approach to Virasoro blocks and the information paradox, New higher-order methods for the simultaneous inclusion of polynomial zeros, Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems, Testing a new conservative method for solving the Cauchy problem for Hamiltonian systems on test problems, Gevrey properties of the asymptotic critical wave speed in a family of scalar reaction-diffusion equations, Computational complexity of iterated maps on the interval, A family of higher order derivative free methods for nonlinear systems with local convergence analysis, A spectral method for Schrödinger equations with smooth confinement potentials, Generalized fraction-free \(LU\) factorization for singular systems with kernel extraction, On iterative methods with accelerated convergence for solving systems of nonlinear equations, The stability of barycentric interpolation at the Chebyshev points of the second kind, Runge-Kutta-Gegenbauer explicit methods for advection-diffusion problems, On the computational efficiency index and some iterative methods for solving systems of nonlinear equations, On design and implementation of a generic number type for real algebraic number computations based on expression dags, A novel derivative free algorithm with seventh order convergence for solving systems of nonlinear equations, Acceleration of generalized hypergeometric functions through precise remainder asymptotics, An improved Newton-Traub composition for solving systems of nonlinear equations, Two efficient derivative-free iterative methods for solving nonlinear systems, Automatic implementation of the numerical Taylor series method: a \textsc{Mathematica} and \textsc{Sage} approach, Accurate, validated and fast evaluation of elementary symmetric functions and its application, A novel family of composite Newton-Traub methods for solving systems of nonlinear equations, Identification of parameters in systems biology, On the approximation of \(m\)th power divided differences preserving the local order of convergence, On some efficient techniques for solving systems of nonlinear equations, Frozen iterative methods using divided differences ``à la Schmidt-Schwetlick, The stability of extended Floater-Hormann interpolants, On the local convergence of a family of two-step iterative methods for solving nonlinear equations, Semilocal convergence of secant-like methods for differentiable and nondifferentiable operator equations, On some computational orders of convergence, The vicinity of the Earth-Moon \(L_1\) point in the bicircular problem, A simple and efficient method with high order convergence for solving systems of nonlinear equations, On the identification of symmetric quadrature rules for finite element methods, Estimation-based metaheuristics for the probabilistic traveling salesman problem, On complex singularities of the 2D Euler equation at short times, Efficient Jarratt-like methods for solving systems of nonlinear equations, Floating-point arithmetic in the Coq system, Accurate summation, dot product and polynomial evaluation in complex floating point arithmetic, The functions erf and erfc computed with arbitrary precision and explicit error bounds, On the convergence of high-order Gargantini-Farmer-Loizou type iterative methods for simultaneous approximation of polynomial zeros, Convergence rates of a family of barycentric rational Hermite interpolants and their derivatives, \texttt{ColDICE}: A parallel Vlasov-Poisson solver using moving adaptive simplicial tessellation, A fast and efficient composite Newton-Chebyshev method for systems of nonlinear equations, A state space approach for the eigenvalue problem of marine risers, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, Convergence rates of a Hermite generalization of Floater-Hormann interpolants, Reproducibility strategies for parallel preconditioned conjugate gradient, Performance and energy consumption of accurate and mixed-precision linear algebra kernels on GPUs, Numerical model for macroscopic quantum superpositions based on phase-covariant quantum cloning, Exterior powers of the adjoint representation and the Weyl ring of \(E_8\), Triple collision orbits in the free-fall three-body system without binary collisions, CMMSE: a novel scheme having seventh-order convergence for nonlinear systems, On the success probability of solving unique SVP via BKZ, Efficient and accurate KAM tori construction for the dissipative spin-orbit problem using a map reduction, Results and techniques for higher order calculations within the gradient-flow formalism, \(\operatorname{Log}^{\prime}\) version vector: logging version vectors concisely in dynamic replication, The self-validated method for polynomial zeros of high efficiency, Computer-assisted proofs in PDE: a survey, A fast parallel high-precision summation algorithm based on AccSumK, Adaptive sample size and importance sampling in estimation-based local search for the probabilistic traveling salesman problem, On the numerical stability of linear barycentric rational interpolation, Inclusive rates from smeared spectral densities in the two-dimensional O(3) non-linear \(\sigma\)-model, A class of accurate Newton-Jarratt-like methods with applications to nonlinear models, A simple yet efficient derivative free family of seventh order methods for systems of nonlinear equations
Uses Software
