×

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

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

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

数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.
MSC公司：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）
全文： 内政部
陈昌波

保Chordality增量三角分解及其实现。 （英语） Zbl 1503.68309号

Bigatti、Anna Maria（编辑）等人，《数学软件——ICMS 2020》。第七届国际会议，德国布伦瑞克，2020年7月13日至16日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12097, 27-36 (2020).
MSC公司：68瓦30 第14页 2015年第14季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Chen}，Lect。票据计算。科学。12097，27-36（2020；Zbl 1503.68309）
全文： 内政部
曼纽尔·拉德拉；皮拉尔·帕伊兹·古利兰；托马斯·雷西奥

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

Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一个垫子，RACSAM 114，第4号，第162号文件，第16页（2020）.
MSC公司：68伏15 第14季度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（穆尔西亚）
MSC公司：13-04 13页第10页 68吨15 第14季度20 51-04
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}等人，《数学年鉴》。Artif公司。智力。85，编号2--4，73-87（2019；Zbl 1423.13004）
全文： 内政部
佐尔坦科瓦奇

在正多边形中发现几何定理。 （英语） Zbl 1515.68345号

Fleuriot，Jacques（编辑）等人，《人工智能与符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11110, 155-169 (2018).
MSC公司：68伏15 14-04 51-04 68伏05 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}，莱克特。票据计算。科学。11110155-169（2018年；Zbl 1515.68345）
全文： 内政部
普尔泽米斯·乔杰基

深度代数–程序大纲。 （英语） Zbl 1367.68247号

Geuvers，Herman（编辑）等人，《智能计算机数学》。2017年7月17日至21日，在英国爱丁堡举行的第十届国际会议，CICM 2017。诉讼程序。查姆：施普林格（ISBN 978-3-319-62074-9/pbk；978-3-3169-62075-6/电子书）。计算机科学课程讲稿10383。人工智能课堂讲稿，1-8（2017）。
MSC公司：68吨15 14-04
PDF格式BibTeX公司 XML格式引用
\textit{P.Chojecki}，莱克特。票据计算。科学。10383，1-8（2017年；兹bl 1367.68247）
全文： 内政部 arXiv公司
兰加纳坦帕德马纳班；罗伯特·韦洛夫

使用Prover9的几何程序。 （英语） Zbl 1383.68080号

Bonacina，Maria Paola（编辑）等人，《自动推理与数学》。纪念威廉·麦库恩的散文。柏林：施普林格出版社（ISBN 978-3-642-36674-1/pbk）。计算机科学课堂讲稿7788。《人工智能课堂讲稿》，139-150（2013）。
MSC公司：68吨15 14H52型 2005年第14季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Padmanabhan}和\textit{R.Veroff}，Lect。票据计算。科学。7788、139-150（2013年；Zbl 1383.68080）
全文： 内政部
周尚卿；高小山

Ritt-Wu的分解算法和几何定理证明。 （英语） Zbl 1509.68303号

Stickel，Mark E.（编辑），自动扣除-CADE-10。第十届国际会议，德国凯泽斯劳滕，1990年7月24日至27日。诉讼程序。柏林等：Springer-Verlag。莱克特。票据计算。科学。449, 207-220 (1990).
MSC公司：68伏15 2014年第30季度 51-08
PDF格式BibTeX公司 XML格式引用
\textit{S.-C.Chou}和\textit{X.-S.Gao}，Lect。票据计算。科学。449207-220（1990年；Zbl 1509.68303）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件