Personensuche
X
?
2024 IEEE 31st Symposium on Computer Arithmetic (ARITH) ,
2
Rounding Error Analysis of an Orbital Collision Probability..:
, In:
?
Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation ,
3
Validated Numerics : Algorithms and Practical Applicatio..:
, In:
?
2020 IEEE 27th Symposium on Computer Arithmetic (ARITH) ,
7
Algorithms for Manipulating Quaternions in Floating-Point A..:
, In:
?
2020 IEEE 31st International Conference on Application-specific Systems, Architectures and Processors (ASAP) ,
8
Efficient Floating-Point Implementation of the Probit Funct..:
, In:
?
2019 IEEE 26th Symposium on Computer Arithmetic (ARITH) ,
10
Exchange Algorithm for Evaluation and Approximation Error-O..:
, In:
?
Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation ,
11