卡洛·特拉弗索
人员信息
优化列表
2010 – 2019
2011 [j6] 马西莫·卡瓦拉 , 法布里奇奥·卡鲁索 , 卡洛·特拉弗索 :
格子Polly Cracker密码系统。 J.塞姆。 计算。 46 ( 5 ) : 534-549 ( 2011 )
2000 – 2009
2009 [第1页] 弗朗索瓦斯·利维·迪特维尔 , 玛丽亚·格拉齐亚·马里纳里 , 卢多维克·佩雷特 , 卡洛·特拉弗索 :
Polly Cracker系统调查。 Gröbner Bases、Coding和Cryptography 2009 : 285-305 [电子2] 马西米利亚诺·萨拉 , 坂田将次郎 , 特奥·莫拉 , 卡洛·特拉弗索 , 卢多维克·佩雷特 :
Gröbner Bases、Coding和Cryptography。 施普林格 2009 ,国际标准图书编号 978-3-540-93805-7 [目录] 2008 【c21】 马西莫·卡瓦拉 , 法布里奇奥·卡鲁索 , 卡洛·特拉弗索 :
Gröbner公钥密码基础。 ISSAC公司 2008 : 315-324 2005 [公元20年] Pasqualina Conti公司 , 卡洛·特拉弗索 :
近似环和Gröbner基。 算法代数与逻辑 2005 : 65-70 [第19条] 劳雷亚诺·冈萨雷斯-维加 , 卡洛·特拉弗索 , 阿尔贝托·扎诺尼 :
希尔伯特分层和参数化Gröbner基底。 中国科学院 2005 : 220-235 2003 [j5] 伊丽莎白·福图纳 , 帕特里齐亚·贾尼 , Paola Parenti公司 , 卡洛·特拉弗索 :
计算可定向实代数曲面拓扑的算法。 J.塞姆。 计算。 36 ( 3-4 ) : 343-364 ( 2003 ) 2002 [第18条] 伊丽莎白·福图纳 , 帕特里齐亚·贾尼 , 保拉·帕伦蒂 , 卡洛·特拉弗索 :
计算实代数曲面的拓扑。 ISSAC公司 2002 : 92-100 [第17条] 卡洛·特拉弗索 , 阿尔贝托·扎诺尼 :
Groebner基计算的数值稳定性和稳定性。 ISSAC公司 2002 : 262-269 2000 【j4】 玛丽亚·何塞·冈萨雷斯-洛佩斯 , 劳雷亚诺·冈萨雷斯-维加 , 卡洛·特拉弗索 , 阿尔贝托·扎诺尼 :
Gröbner通过Hilbert函数建立专门化基础:同质情况。 SIGSAM牛市。 34 ( 1 ) : 1-8 ( 2000 ) [第16条] Pasqualina Conti公司 , 卡洛·特拉弗索 :
代数和半代数证明:方法和悖论。 几何中的自动演绎 2000 : 83-103 [电子1] 卡洛·特拉弗索 :
2000年符号和代数计算国际研讨会论文集,ISSAC 2000,英国圣安德鲁斯,2000年8月6日至10日。 ACM公司 2000 ,国际标准图书编号 1-58113-218-2 [目录]
1990 – 1999
1998 [第15条] 马西莫·卡瓦拉 , 卡洛·特拉弗索 :
理想运算的高效算法(扩展抽象)。 ISSAC公司 1998 : 147-152 1997 [第14条] 马西莫·卡瓦拉 , Pasqualina Conti公司 , 卡洛·特拉弗索 :
另一个理想的分解算法。 AAECC公司 1997 : 39-54 1996 [j3] 朱塞佩·阿塔尔迪 , 卡洛·特拉弗索 :
Strategy-Accurate并行Buchberger算法。 J.塞姆。 计算。 21 ( 4 ) : 411-425 ( 1996 ) [注2] 卡洛·特拉弗索 :
Hilbert函数和Buchberger算法。 J.塞姆。 计算。 22 ( 4 ) : 355-376 ( 1996 ) 1995 [c13] Pasqualina Conti公司 , 卡洛·特拉弗索 :
欧几里德几何中定理自动证明的一个例子:Maclane 8 三 定理。 AAECC公司 1995 : 183-193 1994 [第12条] 埃伯哈德·贝克尔 , 特奥·莫拉 , 玛丽亚·格拉齐亚·马里纳里 , 卡洛·特拉弗索 :
形状引理的形状。 ISSAC公司 1994 : 129-133 [第11条] 朱塞佩·阿塔尔迪 , 卡洛·特拉弗索 :
一种策略精确的并行Buchberger算法。 PASCO公司 1994 : 12-21 1993 [第10条] 安娜·玛丽亚·比加蒂 , Pasqualina Conti公司 , 洛伦佐·罗比亚诺 , 卡洛·特拉弗索 :
Hilbert-Poincaré级数、单项式理想的多重性和维数的“分治”算法。 AAECC公司 1993 : 76-88 1992 【c9】 迈克尔·莫勒 , 特奥·莫拉 , 卡洛·特拉弗索 :
Gröbner基计算使用Syzygies。 ISSAC公司 1992 : 320-328 1991 [j1] Pasqualina Conti公司 , 卡洛·特拉弗索 :
计算积分延伸的导体。 谨慎。 申请。 数学。 33 ( 1-3 ) : 61-72 ( 1991 ) [c8] 保拉·塞利尼 , 帕特里齐亚·贾尼 , 卡洛·特拉弗索 :
半代数集的形状算法。 新方法。 AAECC公司 1991 : 1-18 【c7】 Pasqualina Conti公司 , 卡洛·特拉弗索 :
Buchberger算法与整数规划。 AAECC公司 1991 : 130-139 【c6】 亚历山德罗·吉奥维尼 , 特奥·莫拉 , 吉安弗兰科·尼西 , 洛伦佐·罗比亚诺 , 卡洛·特拉弗索 :
Buchberger算法中的“一个糖立方体”或选择策略。 ISSAC公司 1991 : 49-54
1980 – 1989
1989 【c5】 安德烈·加里戈 , 卡洛·特拉弗索 :
代数变体维数的实用确定。 计算机和数学 1989 : 46-52 【c4】 卡洛·特拉弗索 , L.多纳蒂 :
用A1P实验Gröbner基算法 我 系统。 伊萨克 1989 : 192-198 1988 【c3】 卡洛·特拉弗索 :
Gröbner跟踪算法。 ISSAC公司 1988 : 125-138 【c2】 安德烈·加里戈 , 洛伊克·波蒂埃 , 卡洛·特拉弗索 :
更容易的公共除数和标准基完成算法。 ISSAC公司 1988 : 162-176 1987 【c1】 罗伯托·德沃尼奇 , 卡洛·特拉弗索 :
牛顿对称函数与代数闭域的算法。 AAECC公司 1987 : 216-224