文森特·列斐尔
人员信息
优化列表
2020年–今天
2023 [j13] 文森特·列斐尔 , 尼古拉斯·卢韦 , 让-米歇尔·穆勒 , 乔里斯·皮科特 , 劳伦斯·里多 :
使用双字算法精确计算欧氏范数。 ACM事务处理。 数学。 柔和。 49 ( 1 ) : 1:1-1:34 ( 2023 ) 2020 [第14条] 斯特夫·格雷亚特 , 文森特·列斐尔 , 珍妮·米歇尔·穆勒 :
替代分割功能和德克尔产品。 ARITH公司 2020 : 41-47
2010 – 2019
2019 [第13条] 文森特·列斐尔 , 珍妮·米歇尔·穆勒 :
浮点运算中的精确复数乘法。 ARITH公司 2019 : 23-29 2018 【b2】 珍妮·米歇尔·穆勒 , 尼古拉斯·布鲁尼 , 佛罗伦特·德迪内钦 , 克劳德·皮埃尔·珍妮罗德 , 米奥拉·霍尔德斯 , 文森特·列斐尔 , 纪尧姆·梅尔金德 , Nathalie Revol公司 , 谢尔盖·托雷斯 :
浮点运算手册(第二版)。 施普林格 2018 ,国际标准图书编号 978-3-319-76525-9 2017 [公元12年] 文森特·列斐尔 :
正确舍入的任意精度浮点求和。 IEEE传输。 计算机 66 ( 12 ) : 2111-2124 ( 2017 ) [第12条] 文森特·列斐尔 , 保罗·齐默尔曼 :
使用GNU MPFR优化Binary64和Binary128算法。 ARITH公司 2017 : 18-26 2016 [第11条] 文森特·列斐尔 :
正确舍入的任意精度浮点求和。 ARITH公司 2016 : 71-78 2015 [j11] 斯特夫·格雷亚特 , 文森特·列斐尔 , 珍妮·米歇尔·穆勒 :
关于浮点算法中通过迭代乘法计算整数幂时的最大相对误差。 数字。 算法 70 ( 三 ) : 653-667 ( 2015 ) 2014 [i4] 斯特夫·格雷亚特 , 文森特·列斐尔 , 珍妮·米歇尔·穆勒 :
在浮点运算中计算x^n时的最大相对误差。 CoRR公司 abs/1402.2991 ( 2014 ) 2013 [第10条] 文森特·列斐尔 :
SIPE:小整数加指数。 IEEE计算机算法研讨会 2013 : 99-106 2012 [j10] 彼得·科纳鲁普 , 文森特·列斐尔 , 尼古拉斯·卢韦 , 珍妮·米歇尔·穆勒 :
关于正确四舍五入和的计算。 IEEE传输。 计算机 61 ( 三 ) : 289-298 ( 2012 ) 2010 【b1】 珍妮·米歇尔·穆勒 , 尼古拉·布里斯巴雷 , 佛罗伦特·德迪内钦 , 克劳德·皮埃尔·珍妮罗德 , 文森特·列斐尔 , 纪尧姆·梅尔金德 , Nathalie Revol公司 , 达米安·斯特勒 , 谢尔盖·托雷斯 :
浮点运算手册。 Birkhä用户 2010 ,国际标准图书编号 978-0-8176-4704-9 第I-XXIII页,1-572页 [公元9年] 文森特·列斐尔 , 菲利普·塞维尼 , 佛罗伦特·德迪内钦 , 克劳德·皮埃尔·珍妮罗德 , 克里斯托弗·穆列伦 , 大卫·普范霍尔泽 , Nathalie Revol公司 :
LEMA:面向可靠的算术语言。 ACM通信。 计算。 代数 44 ( 1/2 ) : 41-52 ( 2010 ) [j8] 卡维·加齐 , 文森特·列斐尔 , 菲利普·塞维尼 , 保罗·齐默尔曼 :
为什么和如何使用任意精度。 计算。 科学。 工程师。 12 ( 三 ) : 5 ( 2010 ) [j7] 彼得·科纳鲁普 , 克里斯托弗·奎林·劳特 , 文森特·勒费弗尔 , 尼古拉斯·卢韦 , 珍妮·米歇尔·穆勒 :
在浮点运算中计算正确的四舍五入整数幂。 ACM事务处理。 数学。 柔和。 37 ( 1 ) : 4:1-4:23 ( 2010 )
2000 – 2009
2009 [j6] 克里斯托夫·奎林·劳特 , 文森特·列斐尔 :
双精度{rm-pow}(x,y)的一种有效的舍入边界检验。 IEEE传输。 计算机 58 ( 2 ) : 197-207 ( 2009 ) 【c9】 彼得·科纳鲁普 , 文森特·列斐尔 , 尼古拉斯·卢韦 , 珍妮·米歇尔·穆勒 :
关于四舍五入和的计算。 IEEE计算机算法研讨会 2009 : 155-160 2008 【c8】 文森特·列斐尔 , 达米安·斯特勒 , 保罗·齐默尔曼 :
IEEE 754r十进制64格式中指数函数的最坏情况。 实数算法的可靠实现 2008 : 114-126 2007 [j5] 劳伦特·福斯 , 纪尧姆·汉洛 , 文森特·列斐尔 , 帕特里克·佩利西尔 , 保罗·齐默尔曼 :
MPFR:具有正确舍入的多精度二进制浮点库。 ACM事务处理。 数学。 柔和。 33 ( 2 ) : 13 ( 2007 ) 【c7】 纪尧姆·汉洛 , 文森特·列斐尔 , 达米安·斯特勒 , 保罗·齐默尔曼 :
大参数周期函数的最坏情况。 IEEE计算机算法研讨会 2007 : 133-140 [i3] 彼得·科纳鲁普 , 文森特·勒费弗尔 , 珍妮·米歇尔·穆勒 :
浮点运算中整数幂的计算。 CoRR公司 abs/0705.4369 ( 2007 ) 2006 [i2] 文森特·列斐尔 , 达米安·斯特勒 , 保罗·齐默尔曼 :
IEEE 754r十进制64格式中指数函数的最坏情况。 实数算法的可靠实现 2006 2005 【j4】 达米安·斯特勒 , 文森特·列斐尔 , 保罗·齐默尔曼 :
使用格约简搜索单变量函数的最坏情况。 IEEE传输。 计算机 54 ( 三 ) : 340-346 ( 2005 ) 【c6】 文森特·列斐尔 :
线段与Z之间距离的新结果 2 .精确舍入的应用。 IEEE计算机算法研讨会 2005 : 68-75 [i1] 文森特·列斐尔 :
带精确舍入的通用多精度浮点加法(如MPFR库中所示)。 CoRR公司 abs/cs/0505027 ( 2005 ) 2004 [j3] 大卫·迪福 , 纪尧姆·汉洛 , 文森特·勒费弗尔 , 珍妮·米歇尔·穆勒 , Nathalie Revol公司 , 保罗·齐默尔曼 :
浮点运算中数学函数实现的标准化建议。 数字。 算法 37 ( 1-4 ) : 367-375 ( 2004 ) 2003 [注2] 文森特·列斐尔 , 珍妮·米歇尔·穆勒 :
飞行距离缩短。 超大规模集成电路信号处理。 33 ( 1-2 ) : 31-35 ( 2003 ) 【c5】 达米安·斯特勒 , 文森特·列斐尔 , 保罗·齐默尔曼 :
最坏情况和格约简。 IEEE计算机算法研讨会 2003 : 142-147 2001 【c4】 文森特·勒费弗尔 , 珍妮·米歇尔·穆勒 :
以双精度正确舍入初等函数的最坏情况。 IEEE计算机算法研讨会 2001 : 111-118 2000 【c3】 佛罗伦特·德迪内钦 , 文森特·列斐尔 :
FPGA的常数乘数。 PDPTA公司 2000
1990 – 1999
1998 [j1] 文森特·列斐尔 , 珍妮·米歇尔·穆勒 , 阿诺·蒂塞兰德 :
走向正确的圆形超越论。 IEEE传输。 计算机 47 ( 11 ) : 1235-1243 ( 1998 ) 【c2】 文森特·列斐尔 :
计算线段与ℤ2之间距离下限的算法。 扫描 1998 : 203-212 1997 [c1] 文森特·列斐尔 , 阿诺·蒂塞兰德 , 珍妮·米歇尔·穆勒 :
走向正确的四舍五入超越。 IEEE计算机算法研讨会 1997 : 132-