×

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

最新的 引文 关联
豪尔赫·卡拉万提斯;索尼娅·佩雷斯·迪亚斯;森德拉·J·拉斐尔

曲面的双参数化。 （英语） Zbl 07862438号

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 118，第3号，第109号论文，24页（2024年）.
理学硕士：14层26 2010年第14季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Caravantes}等人，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A Mat.，RACSAM 118，第3号，第109号论文，24页（2024；Zbl 07862438）
全文： 内政部 arXiv公司
OA许可证
克里斯托弗·布朗。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹，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；兹bl 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）
全文： 内政部
伦巴第，亨利;丹尼尔·佩鲁奇;玛丽·弗朗索瓦斯·罗伊

有效正解和希尔伯特第17问题的初等递归界。 （英语） Zbl 1465.14001号

美国数学学会回忆录1277.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-470-44108-1/pbk；978-1-4740-5662-7/电子书）。v、 125页。(2020).
审核人：Alexander Kovačec（科英布拉）
理学硕士：14-02 第12天15 第14页99 13J30型 65楼03号
PDF格式BibTeX公司 XML格式引用
\textit{H.Lombardi}等人，有效正解的初等递归界和Hilbert的第17个问题。普罗维登斯，RI:美国数学学会（AMS）（2020；Zbl 1465.14001）
全文： 内政部 arXiv公司
佐治亚州科瓦奇。;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）
全文： 内政部
佐尔坦科瓦奇

在正多边形中发现几何定理。 （英语） 兹比尔1515.68345

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。11110, 155-169 (2018).
理学硕士：68伏15 14-04 51-04 68伏05 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}，莱克特。注释计算。科学。11110155-169（2018年；Zbl 1515.68345）
全文： 内政部
何塞·费尔南多。;JoséM·甘博阿。;卡洛斯·上野

欧氏空间的多项式、正则和纳什图像。 （英语） 兹比尔1390.14177

Broglia，Fabrizio（编辑）等人，有序代数结构和相关主题。2015年10月12-16日，法国鲁米尼CIRM国际会议。诉讼程序。普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-2966-9/pbk；978-1-4744-4222-4/电子书）。《当代数学》697145-167（2017）。
理学硕士：第14页 54立方30 第12天15
PDF格式BibTeX公司 XML格式引用
\textit{J.F.Fernando}等人，康特姆。数学。697145-167（2017；Zbl 1390.14177）
全文： 内政部 链接
森德拉·J·拉斐尔;大卫·塞维利亚;卡洛斯·维拉里诺

关于曲面参数化满射性的一些结果。 （英语） Zbl 1439.14174号

Gutierrez，Jaime（编辑）等人，《计算机代数与多项式》。代数和数论的应用。柏林：施普林格。勒克特。注释计算。科学。8942, 192-203 (2015).
理学硕士：2010年第14季度 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{J.R.Sendra}等人，Lect。注释计算。科学。8942，192--203（2015；Zbl 1439.14174）
全文： 内政部 链接
胡安·杰拉尔多·阿尔卡扎;豪尔赫·卡拉万提斯;杰玛·M·迪亚兹·托卡。

一种计算有理平面曲线偏移奇异性的新方法。 （英语） Zbl 1325.14076号

J.计算。申请。数学。 290, 385-402 (2015).
审核人：Gerhard Pfister（凯泽斯劳滕）
理学硕士：2005年第14季度 14第05页 65D18天 14H20型 14H50型
PDF格式BibTeX公司 XML格式引用
\textit{J.G.Alcázar}等人，J.Compute。申请。数学。290385--402（2015年；Zbl 1325.14076）
全文： 内政部 arXiv公司
托马斯·雷西奥;路易斯·塔贝拉（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）
全文： 内政部 链接
托马斯·雷西奥;森德拉·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）
全文： 内政部
埃里克·小檗;迈克尔·科伯;迈克尔·萨格拉洛夫

代数曲面分层和三角剖分的有效算法。 （英语） Zbl 1203.65037号

计算。地理。 43，第3期，257-278（2010）.
审核人：胡安·拉斐尔·森德拉（阿尔卡莱德·赫纳雷斯）
理学硕士：65D18天 65D17号 68瓦30 2010年第14季度 第14页
PDF格式BibTeX公司 XML格式引用
\textit{E.Berberich}等人，计算。地理。43，第3号，257--278（2010；Zbl 1203.65037）
全文： 内政部
卡洛斯·安德拉达斯;托马斯·雷西奥;森德拉·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）
全文： 内政部
乔斯·海因茨;玛丽·弗朗索瓦斯·罗伊;巴勃罗·索勒诺

关于Tarski-Seidenberg原理的复杂性。（塔尔斯基-塞登堡原则综合报告） （法语） Zbl 0767.03017号

牛市。社会数学。法语。 118，No.1，101-126（1990）.
理学硕士：03C10号机组 14国道25号 65年第68季度 03C60型 12升12
PDF格式BibTeX公司 XML格式引用
\textit｛J.Heintz｝等人，Bull。社会数学。Fr.118，No.1，101--126（1990；Zbl 0767.03017）
全文： 内政部 Numdam编号 欧洲DML

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件