- Revisiting Sampson Approximations for Geometric Estimation Problems
2024/01/13 by Felix Rydell, Rydell, Felix, Angélica Torres +3 · 4 citations
Computer Science · Engineering · Mathematics · #14Q99 (Secondary) #68T45 (Primary) #68W30 #Algebraic Geometry (math.AG) #Algorithm #Applied mathematics #Approximation error #Approximations of π #Artificial intelligence #Computer Vision and Pattern Recognition (cs.CV) #Computer science #Context (archaeology) #Epipolar geometry #FOS: Computer and information sciences #FOS: Mathematics #Image (mathematics) #Linearization #Mathematics #Metric (unit) #Nonlinear system #Reprojection error #Residual #Robotics and Sensor-Based Localization #Round-off error #Sparse and Compressive Sensing Techniques #Target Tracking and Data Fusion in Sensor Networks
- Stochastic rounding variance and probabilistic bounds: A new approach
2022/07/21 by El-Mehdi El Arar, Arar, El-Mehdi El, Devan Sohier +4 · 2 citations
Computer Science · Engineering · Mathematics · #Algorithm #Applied mathematics #Chebyshev filter #Computation #Computer science #Discrete mathematics #FOS: Mathematics #Low-power high-performance VLSI design #Martingale (probability theory) #Mathematical analysis #Mathematical optimization #Mathematics #Numerical Analysis (math.NA) #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Probabilistic logic #Round-off error #Rounding #Statistics #Upper and lower bounds
- Correct approximation of IEEE 754 floating-point arithmetic for program verification
2019/03/11 by Roberto Bagnara, Abramo Bagnara, Fabio Biselli +2 · 1 voice
Computer Science · Mathematics · #Algorithm #Arithmetic #Binary number #Computer science #Correctness #Embedded Systems Design Techniques #Floating point #Formal Methods in Verification #IEEE floating point #Mathematics #Numerical Methods and Algorithms #Point (geometry) #Round-off error #Rounding #cs.PL
- On the computation of incomplete gamma functions in the complex domain
1985/05/01 by William B. Jones, W.J. Thron, W. J. Thron · 1 citation
Mathematics · #Algorithm #Applied mathematics #Computation #Connection (principal bundle) #Convergence (economics) #Domain (mathematical analysis) #Error function #Exponential function #Fractional Differential Equations Solutions #Function (biology) #Gamma function #Geometry #Incomplete gamma function #Iterative Methods for Nonlinear Equations #Mathematical analysis #Mathematical functions and polynomials #Mathematics #Padé approximant #Round-off error #Truncation (statistics) #Truncation error