玛丽·弗朗索瓦斯·罗伊
人员信息
优化列表
2020年–今天
2022 [公元32年] Daouda Niang Diatta女士 , 塞尼·迪亚塔 , 法布里斯·鲁利耶 , 玛丽·弗朗索瓦斯·罗伊 , 迈克尔·萨格拉洛夫 :
代数数上多项式的界及其在曲线拓扑中的应用。 自由裁量权。 计算。 地理。 67 ( 三 ) : 631-697 ( 2022 ) [公元31年] 丹尼尔·佩鲁奇 , 玛丽·弗朗索瓦斯·罗伊 :
一个新的具有子苏丹的区间上的柯西指数的一般公式。 J.塞姆。 计算。 109 : 465-481 ( 2022 ) 2020 【j30】 玛丽·弗朗索瓦斯·罗伊 , Aviva Szpirglas公司 :
Sylvester双和、次结果和对称多元Hermite插值。 J.塞姆。 计算。 96 : 85-107 ( 2020 )
2010 – 2019
2019 [i11] 海伦娜·米哈耶维奇 , 玛丽·弗朗索瓦斯·罗伊 :
ICM演讲者中女性轨迹的数据分析。 CoRR公司 abs/1903.02543 ( 2019 ) 2017 [公元29年] 丹尼尔·佩鲁奇 , 玛丽·弗朗索瓦斯·罗伊 :
基于Thom编码和符号确定的基本递归量词消除。 Ann.纯粹应用。 日志。 168 ( 8 ) : 1588-1604 ( 2017 ) 2016 [i10] 丹尼尔·佩鲁奇 , 玛丽·弗朗索瓦斯·罗伊 :
基于Thom编码和符号确定的初等递归量词消除。 CoRR公司 abs/1609.02879 ( 2016 ) 2014 [公元28年] 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 :
代数集的分治路线图。 自由裁量权。 计算。 地理。 52 ( 2 ) : 278-343 ( 2014 ) [j27] 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 , 穆罕默德·萨弗里·埃尔丁 , 埃里克·肖斯特 :
一种适用于一般代数集的小步-大步路线图算法。 已找到。 计算。 数学。 14 ( 6 ) : 1117-1172 ( 2014 ) [第17条] Daouda Niang Diatta女士 , 法布里斯·鲁利耶 , 玛丽·弗朗索瓦斯·罗伊 :
关于平面曲线拓扑的计算。 ISSAC公司 2014 : 130-137 2013 [公元26年] 玛丽·弗朗索瓦斯·罗伊 , 西迪·穆罕默德·塞德杰尔马奇 :
新的快速欧氏算法。 J.塞姆。 计算。 50 : 208-226 ( 2013 ) [第九章] 丹尼尔·佩鲁奇 , 玛丽·弗朗索瓦斯·罗伊 :
零非零和实非实数符号确定。 CoRR公司 abs/1305.4131 ( 2013 ) 2012 [第16条] 玛丽·弗朗索瓦斯·罗伊 :
实代数集合中决定连通性的复杂性:最近的结果和未来的研究方向。 ISSAC公司 2012 : 3-5 [i8] 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 , 穆罕默德·萨弗里·埃尔丁 , 埃里克·肖斯特 :
一种适用于一般代数集的婴儿步长路线图算法。 CoRR公司 abs/1201.6439 ( 2012 ) 2011 [公元25年] 玛丽·弗朗索瓦斯·罗伊 , Aviva Szpirglas公司 :
西尔维斯特的双和和及其子结果。 J.塞姆。 计算。 46 ( 4 ) : 385-395 ( 2011 ) 2010 [公元24年] 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 :
限定球的半径,使其满足半代数集的每个连通分量。 J.塞姆。 计算。 45 ( 12 ) : 1270-1279 ( 2010 )
2000 – 2009
2009 [j23] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
可实现符号条件的半代数连通分量数的渐近紧界。 梳。 29 ( 5 ) : 523-546 ( 2009 ) [i7] 苏加塔巴苏 , 理查德·勒罗伊 , 玛丽·弗朗索瓦斯·罗伊 :
标准单纯形上实正多项式最小值的界。 CoRR公司 abs/0902.3304 ( 2009 ) [i6] 苏加塔巴苏 , 玛丽·弗朗索瓦斯·罗伊 :
限定球的半径,使其满足半代数集的每个连通分量。 CoRR公司 abs/0911.1340 ( 2009 ) 2008 [公元22年] 法蒂玛·布道德 , 法布里奇奥·卡鲁索 , 玛丽·弗朗索瓦斯·罗伊 :
伯恩斯坦基础上的阳性证明。 自由裁量权。 计算。 地理。 39 ( 4 ) : 639-655 ( 2008 ) [公元21年] 玛丽·弗朗索瓦斯·罗伊 :
二次半代数集上的定量结果。 电子。 注释谨慎。 数学。 31 : 129 ( 2008 ) [公元20年] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
计算半代数集的第一Betti数。 已找到。 计算。 数学。 8 ( 1 ) : 97-136 ( 2008 ) 2007 [i5] 苏加塔巴苏 , 德米特里·帕西尼克 , 玛丽·弗朗索瓦斯·罗伊 :
由部分二次多项式系统定义的半代数集的Betti数。 CoRR公司 abs/0708.3522 ( 2007 ) 2006 [电子1] 蒂埃里·科昆 , 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 :
数学,算法,证明,9.-14。 2005年1月。 达格斯图尔研讨会记录 05021, 德国达格斯图尔宫国际展览中心(IBFI) 2006 [目录] [i4] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
计算第一Betti数并描述半代数集的连通分量。 CoRR公司 腹肌/数学/0603248 ( 2006 ) [i3] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
可实现符号条件的连通分量数的渐近紧界。 CoRR公司 abs/math/0603256 ( 2006 ) 2005 [公元19年] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
计算符号条件的euler-poincaré特征。 计算。 复杂。 14 ( 1 ) : 53-71 ( 2005 ) [公元18年] 米歇尔·科斯特 , 托马斯·拉朱斯·洛埃扎 , 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 :
广义Budan-Fourier定理和虚根。 J.复杂。 21 ( 4 ) : 479-486 ( 2005 ) [公元17年] 阿杰·科恩 , 格特·马丁·格雷尔 , 玛丽·弗朗索瓦斯·罗伊 :
前言。 J.塞姆。 计算。 39 ( 3-4 ) : 257-258 ( 2005 ) [第15条] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
计算半代数集的第一个Betti数和连通分量。 随机存取存储器 2005 : 304-312 [第1页] 蒂埃里·科昆 , 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 :
克鲁尔维数的基本特征。 从集合和类型到拓扑和分析 2005 [i2] 蒂埃里·科昆 , 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 :
05021文摘集——数学、算法、证明。 数学、算法、证明 2005 [i1] 玛丽·弗朗索瓦斯·罗伊 :
对称矩阵的次微分是平方和。 数学、算法、证明 2005 2001 [公元16年] 米歇尔·科斯特 , 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 :
代数中的动力学方法:有效的Nullstellensätze。 Ann.纯粹应用。 日志。 111 ( 三 ) : 203-256 ( 2001 ) [公元15年] 托马斯·利克泰格 , 玛丽·弗朗索瓦斯·罗伊 :
Sylvester-Habicht序列和快速Cauchy指数计算。 J.塞姆。 计算。 31 ( 三 ) : 315-341 ( 2001 ) 2000 [公元14年] 法布里斯·鲁利耶 , 玛丽·弗朗索瓦斯·罗伊 , 穆罕默德·萨弗里·埃尔丁 :
在由单个方程定义的实代数集的每个连通分量中至少找到一个点。 J.复杂。 16 ( 4 ) : 716-750 ( 2000 ) [j13] 亨利·隆巴迪 , 玛丽·弗朗索瓦斯·罗伊 , 穆罕默德·萨弗里·埃尔丁 :
次结果的新结构定理。 J.塞姆。 计算。 29 ( 4-5 ) : 663-689 ( 2000 )
1990 – 1999
1998 [第14条] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
计算半代数集连通分量的半代数描述的复杂性。 ISSAC公司 1998 : 25-29 1997 [公元12年] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
关于计算一组点,这些点满足由一系列多项式在一个变体上定义的每个单元。 J.复杂。 13 ( 1 ) : 28-37 ( 1997 ) 1996 [公元11年] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
量词消除的组合复杂性和代数复杂性。 美国临床医学杂志 43 ( 6 ) : 1002-1045 ( 1996 ) [公元10年] 托马斯·利克泰格 , 玛丽·弗朗索瓦斯·罗伊 :
商的半代数复杂性与余数的符号判定。 J.复杂。 12 ( 4 ) : 545-571 ( 1996 ) [第13条] 玛丽·弗朗索瓦斯·罗伊 , 尼古拉·沃罗布乔夫(Nicolai N.Vorobjov Jr.)。 :
计算半代数集的复杂性。 ISSAC公司 1996 : 26-34 [第12条] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
半代数集的计算路线图(扩展抽象)。 随机存取存储器 1996 : 168-173 1994 [公元9年] 玛丽·弗朗索瓦斯·罗伊 , 小尼古拉·N·沃罗乔夫。 :
发现一些真正的超验变种的不可约成分。 计算。 复杂。 4 : 107-132 ( 1994 ) [j8] 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
单指数时间中半代数的连通分量的描述。 自由裁量权。 计算。 地理。 11 : 121-140 ( 1994 ) [j7] 劳雷亚诺·冈萨雷斯-维加 , 亨利·隆巴迪 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
Sturm套房体育。 RAIRO提奥。 信息学应用。 28 ( 1 ) : 1-24 ( 1994 ) [第11条] 苏加塔巴苏 , 理查德·波拉克 , 玛丽·弗朗索瓦斯·罗伊 :
量词消除的组合复杂性和代数复杂性。 光纤通信系统 1994 : 632-641 [第10条] 艾哈迈德·格格布 , 让·梅因盖 , 玛丽·弗朗索瓦斯·罗伊 :
实几何的自动定理证明示例。 ISSAC公司 1994 : 20-24 1993 [j6] 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
论现实存在论的理论和实践复杂性。 计算。 J。 36 ( 5 ) : 427-431 ( 1993 ) 【c9】 玛丽·弗朗索瓦斯·罗伊 :
代数曲面的方面图。 ISSAC公司 1993 : 135-143 1992 [j5] 菲利佩·库克 , 埃尔维·兰诺 , 巴德·米什拉 , 保罗·彼得森 , 玛丽·弗朗索瓦斯·罗伊 :
实代数数的NC算法。 申请。 代数工程公社。 计算。 三 : 79-98 ( 1992 ) 1990 【j4】 劳雷亚诺·冈萨雷斯-维加 , 亨利·隆巴迪 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
Sturm和sous-résulants套房体育。 RAIRO提奥。 信息学应用。 24 : 561-588 ( 1990 ) [j3] 玛丽·弗朗索瓦斯·罗伊 , Aviva Szpirglas公司 :
实代数数计算的复杂性。 J.塞姆。 计算。 10 ( 1 ) : 39-52 ( 1990 ) [注2] 菲利佩·库克 , 玛丽·弗朗索瓦斯·罗伊 :
关于随机多项式的一个定理和平均复杂性中的一些结果。 J.塞姆。 计算。 10 ( 5 ) : 405-410 ( 1990 ) 【c8】 乔斯·海因茨 , 特蕾莎·克里克 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
单指数时间内可解的几何问题。 AAECC公司 1990 : 11-23 【c7】 乔斯·海因茨 , 玛丽·弗朗索瓦斯·罗伊 , 巴勃罗·索莱诺 :
半代数集合中的单指数路径查找。 第1部分:正则有界超曲面的情况。 AAECC公司 1990 : 180-196 【c6】 乔斯·海因茨 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
实代数几何中的算法及其在计算几何中的应用。 离散和计算几何 1990 : 137-164
1980 – 1989
1989 【c5】 乔斯·海因茨 , 巴勃罗·索莱诺 , 玛丽·弗朗索瓦斯·罗伊 :
关于半代数集的复杂性。 IFIP大会 1989 : 293-298 【c4】 劳雷亚诺·冈萨雷斯 , 亨利·隆巴迪 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
Sturm-Habicht序列。 ISSAC公司 1989 : 136-146 1988 [j1] 米歇尔·科斯特 , 玛丽·弗朗索瓦斯·罗伊 :
Thom引理、实代数数的编码和半代数集的拓扑计算。 J.塞姆。 计算。 5 ( 1/2 ) : 121-129 ( 1988 ) 【c3】 多米尼克·杜瓦尔 , 玛丽·弗朗索瓦斯·罗伊 :
曲线和计算机代数。 几何与机器人 1988 : 28-42 1987 【c2】 菲利佩·库克 , 路易斯·米盖尔·帕尔多 , 马里奥·雷蒙多 , 托马斯·雷西奥 , 玛丽·弗朗索瓦斯·罗伊 :
实代数曲线的局部和全局解析分支的计算。 AAECC公司 1987 : 161-181 1985 【c1】 玛丽·弗朗索瓦斯·罗伊 :
Logique et géométrie algébrique简历。 逻辑座谈会 1985 : 267-280