×

找到88个文档（结果1-88）

最新的 引文 关联
克里斯托弗·布朗（Christopher W.Brown）。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹，M.Pilar

计算机代数准备好在课堂上猜测和证明几何不等式了吗？ （英语） Zbl 07700011号

数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.
理学硕士：97G40型 14H50型 03B35型 68吨15 68伏15 2014年第30季度 2016年11月51日 51-04 51-08
PDF格式BibTeX公司 XML格式引用
\textit{C.W.Brown}等人，数学。计算。科学。16，第4号，第31号论文，第14页（2022；Zbl 07700011）
全文： 内政部
曼纽尔·拉德拉;皮拉尔·帕伊兹·古利兰;托马斯·雷西奥

处理自动化证明中的负面条件：工具和挑战。拉比诺维奇的诡计带来了意想不到的后果。 （英语） Zbl 1453.68209号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 114，第4期，第162号论文，16页（2020年）.
理学硕士：68伏15 2014年第20季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Ladra}等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 114，第4期，第162号论文，16页（2020年；Zbl 1453.68209）
全文： 内政部
佐治亚州科瓦奇。;T·雷西奥。;Sólyom-Gecse，C。

重写复杂代数几何证明程序中的输入表达式。 （英语） Zbl 1423.13004号

安。数学。Artif公司。智力。 85，编号2-4，73-87（2019）.
审核人：Gema Maria Diaz Toca（穆尔西亚）
理学硕士：13-04 13页第10页 68吨15 2014年第20季度 51-04
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，73-87（2019；Zbl 1423.13004）
全文： 内政部
弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥

走向自动化几何师。 （英语） Zbl 1515.68340号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11110, 215-220 (2018).
理学硕士：68伏15 51-04 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}等人，Lect。注释计算。科学。11110215--220（2018；Zbl 1515.68340）
全文： 内政部
托马斯·雷西奥;森德拉·J·拉斐尔;卡洛斯·维拉里诺

零的重要性。 （英语） Zbl 1467.13060号

Carlos Arreche（编辑），《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。327-333 (2018).
理学硕士：第13页第15页 12-08 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，摘自：《第43届符号和代数计算国际研讨会论文集》，ISSAC 2018，美国纽约州纽约市，2018年7月16-19日。纽约州纽约市：计算机协会（ACM）。327--333（2018年；Zbl 1467.13060）
全文： 内政部
米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞

朝向GeoGebra中定理的自动发现。 （英语） Zbl 1434.68636号

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9725, 37-42 (2016).
理学硕士：68伏15 2004年5月5日 68瓦30 97Gxx型 97U70型
PDF格式BibTeX公司 XML格式引用
\textit{M.Abánades}等人，Lect。注释计算。科学。9725，37-42（2016；Zbl 1434.68636）
全文： 内政部
托马斯·雷西奥;路易斯·塔贝拉（Luis F.Tabera）。;森德拉·J·拉斐尔;卡洛斯·维拉里诺

与仿射自同构和射影自同构相关的超二次曲面。 （英语） Zbl 1317.14129号

申请。代数工程通讯。计算。 25，第6期，431-445（2014）.
审核人：胡安·杰拉尔多·阿尔卡扎尔（Alcala da Henares）
理学硕士：2010年第14季度 2015年第14季度 68瓦30 2014年05月
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，应用。代数工程通讯。计算。25，编号6，431-445（2014；兹bl 1317.14129）
全文： 内政部 链接
卡洛斯·安德拉达斯;托马斯·雷西奥;森德拉·J·拉斐尔;路易斯·菲利佩·塔贝拉;卡洛斯·维拉里诺

重新参数化实线上的摆动曲面。 （英语） Zbl 1342.53003号

申请。代数工程通讯。计算。 25，编号1-2，39-65（2014）.
理学硕士：53A05型 14E08号 14层26 2010年第14季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Andradas}等人，应用。代数工程通讯。计算。25，编号1--2，39-65（2014；Zbl 1342.53003）
全文： 内政部 链接
弗朗西斯科·博塔纳;托马斯·雷西奥

使用Maple的RegularChains库自动分类平面几何轨迹。 （英语） Zbl 1437.13043号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。8592, 500-503 (2014).
理学硕士：13页第10页 13第25页 2016年第14季度 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}和\textit{T.Recio}，Lect。注释计算。科学。8592500--503（2014年；Zbl 1437.13043）
全文： 内政部 链接
米盖尔·阿巴纳德斯（Miguel A.Abánades）。;弗朗西斯科·博塔纳;安东尼奥·蒙特斯;托马斯·雷西奥

使用Gröbner覆盖进行几何轨迹计算和分类的软件。 （英语） Zbl 1437.13001号

Hong，Hoon（编辑）等人，《数学软件——ICMS 2014》。第四届国际会议，韩国首尔，2014年8月5日至9日。诉讼程序。柏林：施普林格。勒克特。注释计算。科学。8592, 492-499 (2014).
理学硕士：13-04 13第25页 13页第10页 65D18天
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Abánades}等人，Lect。注释计算。科学。8592、492--499（2014年；Zbl 1437.13001）
全文： 内政部 链接
托马斯·雷西奥;玛丽亚·P·Vélez。

介绍通过符号计算在几何中自动发现。 （英语） Zbl 1250.65040号

Langer，Ulrich（编辑）等人，《数值和符号科学计算》。进展和前景。纽约州纽约市：施普林格出版社（ISBN 978-3-7091-0793-5/pbk；978-3-70 91-0794-2/电子书）。符号计算中的文本和专题论文，257-271（2012）。
理学硕士：65D18天 68瓦30 05年5月51日
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{M.P.Vélez}，in：数字和符号科学计算。进展和前景。纽约州纽约市：斯普林格。257--271（2012；Zbl 1250.65040）
全文： 内政部
托马斯·雷西奥;森德拉·J·拉斐尔;路易斯·菲利佩·塔贝拉;卡洛斯·维拉里诺

超圆的算法检测。 （英语） Zbl 1247.14063号

数学。计算。模拟。 82，第1号，54-67（2011）.
审核人：路易斯·菲利佩·皮涅罗·德·卡斯特罗（阿韦罗）
理学硕士：2015年第14季度 2014年第20季度 65D18天 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，数学。计算。模拟。82，第1号，第54-67条（2011；Zbl 1247.14063）
全文： 内政部
T·雷西奥。;森德拉，J.R。;塔贝拉，L.F。;C·维拉里诺。

超圆形手册。（手册） （西班牙语。英文摘要） Zbl 1206.14084号

Lambán，Laureano（编辑）等人，《科特利布西奥内斯·科菲卡斯纪念米利安·安德烈斯·戈麦斯》。洛格罗尼奥：拉里奥哈大学，公共服务部（ISBN 978-84-96487-50-5/hbk）。417-437 (2010).
理学硕士：2005年第14季度 14米20
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，in：《科特利布西奥内斯·科梅斯》。洛格罗尼奥：拉里奥哈大学，公共服务部。417--437（2010年；Zbl 1206.14084）
卡洛斯·安德拉达斯;托马斯·雷西奥;森德拉·J·拉斐尔;路易斯·菲利佩·塔贝拉

关于参数化系数的简化。 （英语） Zbl 1152.13303号

J.塞姆。计算。 44，第2期，192-210（2009）.
审核人：约瑟夫·希乔（林茨）
理学硕士：13页第10页 1999年第14季度 2015年第14季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛C.Andradas｝等人，J.Symb。计算。44，第2号，192--210（2009；Zbl 1152.13303）
全文： 内政部
安东尼奥·蒙特斯;托马斯·雷西奥

使用最小正则综合Gröbner系统自动发现几何定理。 （英语） Zbl 1195.68093号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林：施普林格出版社（ISBN 978-3-540-77355-9/pbk）。计算机科学课堂讲稿4869。人工智能课堂讲稿，113-138（2007）。
理学硕士：68吨15 68瓦30 51-04
PDF格式BibTeX公司 XML格式引用
\textit{A.Montes}和\textit{T.Recio}，莱克特。注释计算。科学。4869、113--138（2007年；Zbl 1195.68093）
全文： 内政部 arXiv公司
弗朗西斯科·博塔纳;托马斯·雷西奥

通过符号方法解决动态几何瓶颈。 （英语） 兹比尔1159.68549

Hong，Hoon（编辑）等人，《几何中的自动演绎》。第五次国际研讨会，ADG 2004，美国佛罗里达州盖恩斯维尔，2004年9月16日至18日。修订论文。柏林：施普林格出版社（ISBN 3-540-31332-X/pbk）。计算机科学课堂讲稿3763。人工智能课堂讲稿，92-110（2006）。
理学硕士：68吨15 68单位05 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{F.Botana}和\textit{T.Recio}，Lect。注释计算。科学。3763、92-110（2006年；Zbl 1159.68549）
全文： 内政部
T·雷西奥。;博塔纳，F。

真理所在（初等几何中的自动定理证明）。 （英语） Zbl 1127.68428号

Laganá，Antonio（编辑）等人，《计算科学及其应用——ICCSA 2004》。2004年5月14日至17日，意大利阿西西国际会议。诉讼，第二部分。柏林：施普林格出版社（ISBN 3-540-22056-9/pbk）。计算机科学课堂讲稿3044761-770（2004）。
理学硕士：68吨15 68瓦30 51-04 2004年5月5日
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{F.Botana}，莱克特。注释计算。科学。3044761--770（2004；Zbl 1127.68428）
全文： 内政部
托马斯·雷西奥

圆桌会议：教育事务的现状与合作。（梅萨·雷东达：物质教育研究所。） （西班牙语） Zbl 1114.00303号

Cordero，Luis A.（编辑）等人，《拉丁美洲数学合作的分析和展望》。拉丁美洲数学协会会议，圣地亚哥·德孔波斯特拉，西班牙，2003年9月22日至25日。马德里：西班牙皇家社会（ISBN 84-933610-2-X/pbk）。西班牙皇家马特马蒂卡·埃斯帕尼奥拉协会，200-209年（2004年）。
审核人：伯恩德·韦格纳（柏林）
理学硕士：00年3月35日 97年xx月
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}，in：拉丁美洲马提卡州的科拉博拉西奥透视图（Análisis y perspectivevas de la colaboración Latinoamericana en matemáticas）。2003年9月22日至25日，西班牙圣地亚哥·德孔波斯特拉，拉丁美洲社会协会。马德里：西班牙皇家社会。200-209（2004；Zbl 1114.00303）
托马斯·雷西奥;森德拉·J·拉斐尔;卡洛斯·维拉里诺

从超圆形到单位。 （英语） Zbl 1134.14315号

Gutierrez，Jaime（编辑），ISSAC 2004。2004年7月4日至7日，西班牙桑坦德，2004年符号和代数计算国际研讨会论文集。纽约州纽约市：ACM出版社（ISBN 1-58113-827-X/pbk）。258-265 (2004).
理学硕士：2005年第14季度 65D17号 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}等人，in：2004年符号和代数计算国际研讨会论文集，ISSAC 2004，西班牙桑坦德，2004年7月4-7日。纽约州纽约市：ACM出版社。258--265（2004；Zbl 1134.14315）
全文： 内政部
劳雷亚诺·冈萨雷斯-维加;雷西奥，托马斯

计算机代数的工业应用：爬山，下山。 （英语） Zbl 1033.68962号

Casacuberta，Carles（编辑）等人，第三届欧洲数学大会（ECM），西班牙巴塞罗那，2000年7月10日至14日。第二卷。巴塞尔：Birkhä用户（ISBN 3-7643-6418-1/hbk；3-7643-6 419-X/套）。掠夺。数学。202, 157-167 (2001).
理学硕士：68瓦30 68单位99
PDF格式BibTeX公司 XML格式引用
\textit{L.González-Vega}和\textit{T.Recio}，程序。数学。202、157--167（2001年；Zbl 1033.68962）
冈萨雷斯-维加，L。;T·雷西奥。;伦巴第，H。;罗伊，M.-F。

Sturm-Habicht序列，行列式和一元多项式的实根。 （英语） Zbl 0900.12002号

Caviness，Bob F.（编辑）等人，量词消除和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6日至8日。维恩：施普林格。符号计算中的文本和专著。300-316 (1998).
理学硕士：第12天第10天 第14页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛L.González-Vega｝等人，在：量词消去和柱面代数分解。研讨会记录，奥地利林茨，1993年10月6-8日。维恩：施普林格。300-316（1998年；兹bl 0900.12002）
卡洛斯·安德拉达斯;托马斯·雷西奥;森德拉·J·拉斐尔

通过典型因子的相对最优有理空间曲线重矩阵化算法。 （英语） Zbl 0918.14023号

Küchlin，Wolfgang W.（编辑），1997年符号和代数计算国际研讨会论文集，ISSAC’97，Maui，HI，USA，1997年7月21日至23日。纽约州纽约市：ACM出版社。349-355 (1997).
理学硕士：2005年第14季度 68单位07 14小时45分
PDF格式BibTeX公司 XML格式引用
\textit{C.Andradas}等人，《1997年符号和代数计算国际研讨会论文集》，ISSAC’97，Maui，HI，USA，1997年7月21-23日。纽约州纽约市：ACM出版社。349--355（1997；Zbl 0918.14023）
托马斯·雷西奥;玛丽亚·埃米莉亚·阿隆索

马里奥·雷蒙多对计算机代数的贡献。 （英语） Zbl 0882.01009号

Fabrizio Broglia（编辑），《真实几何讲座》。1994年1月3日至7日，西班牙马德里，冬季学校在真实几何学中讲授的精巧版本。柏林：de Gruyter。德格鲁特博览会。数学。23, 261-268 (1996).
审核人：A.C.Lewis（印第安纳波利斯）
理学硕士：01A70号 14-03
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{M.-E.Alonso}，德格鲁伊特博览会。数学。23、261--268（1996；Zbl 0882.01009）
González-López，M.J。;雷西奥，T。

Voronoi可计算性（SE（3））。 （英语） Zbl 0835.68120号

Broglia，Fabrizio（编辑）等人，《实解析和代数几何》。国际会议记录，意大利特伦托，1992年9月21日至25日。柏林：Walter de Gruyter。137-148 (1995).
理学硕士：68单位05 第14页 70B15号机组 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.J.González-López}和\textit{T.Recio}，in：实解析和代数几何。国际会议记录，意大利特伦托，1992年9月21日至25日。柏林：Walter de Gruyter。137——148（1995年；Zbl 0835.68120）
塞萨尔·阿隆索;詹姆·古铁雷斯;托马斯·雷西奥

FRAC：用于有理函数域计算的Maple包（\mathbb{K}（x）\）。 （英语） Zbl 0813.65048号

Lopez，Robert J.（编辑），Maple V：数学及其应用。1994年8月9日至13日，美国纽约特洛伊伦斯勒理工学院枫叶夏季研讨会和专题讨论会记录。马萨诸塞州波士顿：Birkhäuser。107-115 (1994).
审核人：M.Gaşpar（伊阿西语）
理学硕士：65D20个 65D17号 68单位07 41A20型
PDF格式BibTeX公司 XML格式引用
\textit{C.Alonso}等人，in：Maple V：数学及其应用。1994年8月9日至13日，美国纽约特洛伊伦斯勒理工学院枫叶夏季研讨会和专题讨论会记录。马萨诸塞州波士顿：Birkhäuser。107-115（1994；Zbl 0813.65048）
González-Lopez，M.J。;T·雷西奥。

实正交矩阵多项式结果的形式化判定。 （英语） Zbl 0819.13012号

Jacob，William B.（编辑）等人，实代数几何和二次型的最新进展。《RAGSQUAD年会刊》，加州伯克利，美国，1990-1991年。普罗维登斯，RI：美国数学学会。康斯坦普。数学。155, 141-165 (1994).
审核人：科瓦切克（科英布拉）
理学硕士：13页第10页 14第05页 20G05年 68瓦30 14层35 13A50型 14第25页 70B10型 93立方35
PDF格式BibTeX公司 XML格式引用
\textit{M.J.González-Lopez}和\textit{T.Recio}，康特姆。数学。155、141--165（1994；Zbl 0819.13012）
托马斯·雷西奥;卡洛斯·安德拉达斯

杜波依斯和实代数几何的先驱时代。 （英语） Zbl 0798.01009号

Jacob，William B.（编辑）等人，实代数几何和二次型的最新进展。《RAGSQUAD年会刊》，加利福尼亚州伯克利，美国，1990-1991年。普罗维登斯，RI：美国数学学会。康斯坦普。数学。155, 1-10 (1994).
审核人：G.C.Smith（格里姆斯比）
理学硕士：01A70号 第14页99 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{C.Andradas}，康特姆。数学。155，1-10（1994；Zbl 0798.01009）
T·雷西奥。;González-López，M.J。

关于一般（6R）机械手运动学方程的符号化简化。 （英语） Zbl 0920.93030号

Von zur Gatheren，Joachim（编辑）等人，国际标准化协会'94年。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。354-358 (1994).
理学硕士：93C85号 70B15号机组 93B27型
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{M.J.González-López}，收录于：ISSAC'94。符号和代数计算国际研讨会论文集，英国牛津，1994年7月20日至22日。马里兰州巴尔的摩：ACM出版社。354--358（1994年；Zbl 0920.93030）
劳雷亚诺·冈萨雷斯-维加;伦巴第，亨利;托马斯·雷西奥;玛丽·弗朗索瓦斯·罗伊

Sturm序列的专业化。（Sturm套房专业化。） （法语） Zbl 0999.12502号

RAIRO，通知。塞奥尔。申请。 28，第1期，第1-24页（1994年）.
理学硕士：2005年12月 68瓦30 第12天第10天
PDF格式BibTeX公司 XML格式引用
\textit{L.González-Vega}等人，RAIRO，Inform。塞奥尔。申请。28，第1号，1--24（1994；Zbl 0999.12502）
全文： 内政部 欧洲DML
詹姆·古铁雷斯;托马斯·雷西奥

两种有理函数分解算法的实际实现。 （英语） 2005年9月21日Zbl

Wang，Paul S.（编辑），符号和代数计算国际研讨会92。ISSAC 92。1992年7月27日至29日，美国加利福尼亚州伯克利。马里兰州巴尔的摩：ACM出版社。152-157 (1992).
理学硕士：2005年12月 68瓦30 12E05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Gutierrez}和\textit{T.Recio}，in：符号和代数计算国际研讨会92。ISSAC 92。美国加州伯克利，1992年7月27日至29日。马里兰州巴尔的摩：ACM出版社。152--157（1992；Zbl 0921.2005）
乔斯·海因茨;托马斯·雷西奥;玛丽·弗朗索瓦斯·罗伊

实代数几何中的算法及其在计算几何中的应用。 （英语） Zbl 0751.14038号

离散和计算几何，Proc。DIMACS 1989-90年特殊年份研讨会，DIMACS，序列号。谨慎。数学。西奥。计算。科学。6, 137-163 (1991).
审核人：J.豪斯曼
理学硕士：2014年第20季度 第14页 68单位05 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛J.Heintz｝等人，在：离散和计算几何：来自DIMACS特殊年份的论文。1989年9月至1990年8月在DIMACS举行的研讨会记录。普罗维登斯，RI：美国数学学会；纽约：计算机协会。137-163（1991年；Zbl 0751.14038）
冈萨雷斯-维加，L。;伦巴第，H。;T·雷西奥。;罗伊，M.-F。

Sturm和sous-résultants套房的专业化。（Sturm序列和副产物的专门化。）。 （法语） 兹比尔0732.68059

RAIRO，通知。塞奥尔。申请。 24，第6期，561-588页（1990年）.
审核人：L.González-Vega公司
理学硕士：68瓦30 第12天第10天 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.González-Vega}等人，RAIRO，Inform。塞奥尔。申请。24，第6号，561--588（1990；Zbl 0732.68059）
全文： 内政部 欧洲DML
托马斯·雷西奥;路易斯·帕尔多。

完全证明的拉宾宽度和半代数集的宽度。 （英语） 兹比尔1209.13006

詹姆斯·H·达文波特（编辑），《欧洲药典》'87。1987年6月2日至5日，德国莱比锡欧洲计算机代数会议。诉讼程序。柏林等：施普林格出版社（ISBN 3-540-51517-8）。计算机科学课堂讲稿378456-462（1989）。
理学硕士：13-04 14第05页 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{T.Recio}和\textit{L.M.Pardo}，莱克特。注释计算。科学。378456-462（1989年；Zbl 1209.13006）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件