- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
2016/11/09 by Fredrik Johansson, Johansson, Fredrik · 1 voice · 17 citations
Computer Science · Mathematics · #Algorithm #Arbitrary-precision arithmetic #Arithmetic #Ball (mathematics) #Combinatorics #Cryptography and Residue Arithmetic #Digital Filter Design and Implementation #Discrete mathematics #Double-precision floating-point format #Floating point #Geometry #Interval (graph theory) #Interval arithmetic #Machine epsilon #Mathematical analysis #Mathematics #Midpoint #Numerical Methods and Algorithms #Polynomial #Power series #Range (aeronautics) #Real number #Representation (politics)
- A quantitative improvement for Roth's theorem on arithmetic progressions
2014/05/31 by Thomas F. Bloom, T. F. Bloom · 1 citation
Mathematics · #Analytic Number Theory Research #Arbitrary-precision arithmetic #Arithmetic circuit complexity #Arithmetic progression #Binary logarithm #Limits and Structures in Graph Theory #Mathematical Approximation and Integration #Saturation arithmetic #Table (database) #math.CO #math.NT
- Interval arithmetic
2001/09/01 by T. Hickey, Timothy J. Hickey, Q. Ju +3 · 20 citations
Computer Science · Mathematics · #Advanced Database Systems and Queries #Affine arithmetic #Algorithm #Arbitrary-precision arithmetic #Arithmetic #Combinatorics #Computer science #Constraint Satisfaction and Optimization #Discrete mathematics #Division (mathematics) #Floating point #Interval (graph theory) #Interval arithmetic #Mathematics #Multiplication (music) #Numerical Methods and Algorithms #Pure mathematics #Real number #Saturation arithmetic #Second-order arithmetic #Set (abstract data type) #Subtraction
- Computing Arithmetic Invariants of 3-Manifolds
2000/01/01 by David Coulson, Oliver Goodman, Craig D. Hodgson +1 · 3 citations
Mathematics · #Geometric and Algebraic Topology #Algebraic Geometry and Number Theory #Advanced Operator Algebra Research #Mathematics #Invariant (physics) #Von Neumann architecture #Arbitrary-precision arithmetic #Correctness #Pure mathematics #Arithmetic #Algebra over a field #Discrete mathematics #Algorithm
- Arithmetic coding for data compression
1994/06/01 by P.G. Howard, Jeffrey Scott Vitter · 2 citations
Computer Science · Mathematics · #Algorithms and Data Compression #Numerical Methods and Algorithms #Error Correcting Code Techniques #Arithmetic coding #Arithmetic #Coding (social sciences) #Computer science #Arbitrary-precision arithmetic #Huffman coding #Data compression #Redundancy (engineering) #Variable-length code #Theoretical computer science #Context-adaptive binary arithmetic coding #Algorithm #Mathematics #Statistics #Decoding methods
- Double precision geometry: a general technique for calculating line and segment intersections using rounded arithmetic
1989/01/01 by Victor Milenkovic · 3 citations
Computer Science · Engineering · Mathematics · #Computational Geometry and Mesh Generation #Advanced Numerical Analysis Techniques #VLSI and FPGA Design Techniques #Rendering (computer graphics) #Grid #Arbitrary-precision arithmetic #Mathematics #Arithmetic #Monotonic function #Floating point #Line segment #Algorithm #Point (geometry) #Computer science #Discrete mathematics #Geometry #Computer graphics (images) #Mathematical analysis
- Computation of π Using Arithmetic-Geometric Mean
1976/07/01 by Eugene Salamin · 3 citations
Mathematics · #Advanced Mathematical Identities #Algorithm #Arbitrary-precision arithmetic #Arithmetic #Computation #Mathematics #Saturation arithmetic
- On programming of arithmetic operations
1958/08/01 by A. P. Ershov · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #Numerical Methods and Algorithms #Arithmetic #Computer science #Programming language #Saturation arithmetic #Arbitrary-precision arithmetic #Parallel computing #Mathematics