logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Christoph Lauter

Microsoft

13H指数
64论文数
661被引数
收录论文 5
发表时间
logo
Emulating Round-to-Nearest Ties-to-Zero Augmented Floating-Point Operations Using Round-to-Nearest Ties-to-Even Arithmetic
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2021-07-01
err4
errOAAI
errBoldo, Sylvie; Lauter, Christoph; Muller, Jean-Michel
err分享
err收藏
Arithmetic Approaches for Rigorous Design of Reliable Fixed-Point LTI Filters
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2020-04-01
err4
errOAAI
errVolkova, Anastasia; Hilaire, Thibault; Lauter, Christoph
err分享
err收藏
Comparison between Binary and Decimal Floating-Point Numbers
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2016-07-01
err6
errOAAI
errBrisebarre, Nicolas; Lauter, Christoph; Mezzarobba, Marc; Muller, Jean-Michel
err分享
err收藏
Certifying the Floating-Point Implementation of an Elementary Function Using Gappa
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2011-02-01
err59
errOAAI
errde Dinechin, Florent; Lauter, Christoph; Melquiond, Guillaume
err分享
err收藏
An Efficient Rounding Boundary Test for pow(x, y) in Double Precision
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2009-02-01
err9
PREAI
errLauter, Christoph Quirin; Lefevre, Vincent
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Jean‐Michel Muller
H 指数: 32 · 论文数: 323
F
Florent de Dinechin
H 指数: 30 · 论文数: 231
G
Guillaume Melquiond
H 指数: 22 · 论文数: 138
S
Sylvie Boldo
H 指数: 20 · 论文数: 127
N
Nicolas Brisebarre
H 指数: 15 · 论文数: 93
查看更多