- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Finding Normal Binary Floating-Point Factors Efficiently ; volume:67 ; number:1 ; day:6 ; month:2 ; year:2023 ; pages:1-52 ; date:3.2023
Journal of automated reasoning ; 67, Heft 1 (6.2.2023), 1-52, 3.2023
- Creator
-
Andrlon, Mak
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-023-09659-1
- URN
-
urn:nbn:de:101:1-2023081209043582932425
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:46 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Andrlon, Mak
- SpringerLink (Online service)
Other Objects (12)
High precision floating point numbers in LEDA
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
Point estimation of root finding methods
Point estimation of root finding methods
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
A Two-Phase Approach for Conditional Floating-Point Verification
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
Masking FALCON’s Floating-Point Multiplication in Hardware
High-Radix Formats for Enhancing Floating-Point FPGA Implementations
High precision floating point numbers in LEDA
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
Point estimation of root finding methods
Point estimation of root finding methods
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
A Two-Phase Approach for Conditional Floating-Point Verification
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
Masking FALCON’s Floating-Point Multiplication in Hardware
High-Radix Formats for Enhancing Floating-Point FPGA Implementations
High precision floating point numbers in LEDA
Fast floating-point filters for robust predicates
Segment LLL-reduction with floating point orthogonalization
Point estimation of root finding methods
Point estimation of root finding methods
Floating-point architectures for energy-efficient transprecision computing
Verified compilation and optimization of floating-point kernels
A Two-Phase Approach for Conditional Floating-Point Verification
A Compiler for Sound Floating-Point using Affine Arithmetic
A class of arbitrarily ill-conditioned floating-point matrices
Masking FALCON’s Floating-Point Multiplication in Hardware