Pages that link to "Item:Q3629031"

The following pages link to Handbook of Floating-Point Arithmetic (Q3629031):

Displaying 50 items.

• Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615) (← links)
• Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
• On the numerical stability of algorithmic differentiation (Q411440) (← links)
• Numeration and discrete dynamical systems (Q411444) (← links)
• Fast interval matrix multiplication (Q451807) (← links)
• Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
• On design and implementation of a generic number type for real algebraic number computations based on expression dags (Q655162) (← links)
• Error estimation of floating-point summation and dot product (Q766234) (← links)
• Fast computation of multinomial coefficients (Q820731) (← links)
• Variants of the general interval power function (Q889874) (← links)
• On the maximum relative error when computing integer powers by iterated multiplications in floating-point arithmetic (Q891788) (← links)
• Solving the stationary Navier-Stokes equations by using Taylor meshless method (Q1634608) (← links)
• Accurate pairwise convolutions of non-negative vectors via FFT (Q1659087) (← links)
• New integration methods for perturbed ODEs based on symplectic implicit Runge-Kutta schemes with application to solar system simulations (Q1668739) (← links)
• Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
• Reducing and monitoring round-off error propagation for symplectic implicit Runge-Kutta schemes (Q1689442) (← links)
• Fast calculation of inverse square root with the use of magic constant -- analytical approach (Q1740253) (← links)
• Efficient implementation of symplectic implicit Runge-Kutta schemes with simplified Newton iterations (Q1751058) (← links)
• About accuracy increase of fractional order derivative and integral computations by applying the Grünwald-Letnikov formula (Q2200268) (← links)
• Deductive verification of floating-point Java programs in KeY (Q2233510) (← links)
• Runtime abstract interpretation for numerical accuracy and robustness (Q2234076) (← links)
• Changing variables in Taylor series with applications to PDEs (Q2294434) (← links)
• Reproducibility strategies for parallel preconditioned conjugate gradient (Q2297141) (← links)
• Numerical validation of compensated algorithms with stochastic arithmetic (Q2318228) (← links)
• Benefits from using mixed precision computations in the ELPA-AEO and ESSEX-II eigensolver projects (Q2318531) (← links)
• Formally verified certificate checkers for hardest-to-round computation (Q2352500) (← links)
• Verified compilation of floating-point computations (Q2352505) (← links)
• High-precision arithmetic in mathematical physics (Q2352948) (← links)
• Some issues related to double rounding (Q2434938) (← links)
• Transformation of a PID controller for numerical accuracy (Q2520677) (← links)
• Numerical validation of compensated summation algorithms with stochastic arithmetic (Q2520678) (← links)
• A constructive criticism of the C/C++ proposal for complex arithmetic (Q2572922) (← links)
• Numerical computing with IEEE floating point arithmetic. Incl. one theorem, one rule of thumb, and one hundred and one exercises (Q2713714) (← links)
• Floating point and composite arithmetics (Q2738591) (← links)
• Efficiency of Reproducible Level 1 BLAS (Q2803590) (← links)
• CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications (Q2819222) (← links)
• Efficient calculations of faithfully rounded \(l_2\)-norms of \(n\)-vectors (Q2828148) (← links)
• Error bounds on complex floating-point multiplication with an FMA (Q2953212) (← links)
• Static Analysis of Finite Precision Computations (Q3075485) (← links)
• First steps towards more numerical reproducibility (Q3465860) (← links)
• Comparison of Fractional Order Derivatives Computational Accuracy - Right Hand vs Left Hand Definition (Q4597699) (← links)
• The Mathematical-Function Computation Handbook (Q4600847) (← links)
• (Q5005879) (← links)
• Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” (Q5066604) (← links)
• Fractional Order Derivative and Integral Computation with a Small Number of Discrete Input Values Using Grünwald–Letnikov Formula (Q5111955) (← links)
• Accurate Evaluation of Arithmetic Expressions (Invited Talk) (Q5170165) (← links)
• A Robust and Scalable Implementation of the Parks-McClellan Algorithm for Designing FIR Filters (Q5270769) (← links)
• Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods (Q5743590) (← links)
• Primitive Floats in Coq (Q5875413) (← links)
• On the Possibility of Increasing the Accuracy of Computations in the Floating-Point Format with Multiple Exponents (Q6106703) (← links)