×

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

最新的 引文 关联
佐治亚州科瓦奇。;T·雷西奥。;Sólyom-Gecse，C。

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

安。数学。工件。智力。 85，编号2-4，73-87（2019）.
审核人：Gema Maria Diaz Toca（穆尔西亚）
MSC公司：13-04 13页第10页 68吨15 2014年第20季度 51-04
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}等人，《数学年鉴》。工件。智力。85，编号2--4，73-87（2019；Zbl 1423.13004）
全文： 内政部
佩德罗·夸雷斯马

AI几何书中的自动演绎。 （英语） Zbl 1515.68346号

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 221-226 (2018).
MSC公司：68伏15 51-04 68伏30 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{P.Quaresma}，莱克特。注释计算。科学。11110、221--226（2018；Zbl 1515.68346）
全文： 内政部
弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥

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

Fleuriot，Jacques（编辑）等人，《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11110, 215-220 (2018).
MSC公司：68伏15 51-04 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit｛F.Botana｝等人，Lect。注释计算。科学。11110215--220（2018；Zbl 1515.68340）
全文： 内政部
哈舍克，罗马人;佐尔坦科瓦奇;Jan Zahradník

使用计算机代数对历史轨迹问题进行当代解释。 （英语） Zbl 1395.51004号

Kotsireas，Ilias S.（编辑）等人，《计算机代数的应用》，希腊卡拉马塔，2015年7月20日至23日。商会：施普林格出版社（ISBN 978-3-319-56930-7/hbk；978-3-319-56932-1/电子书）。《施普林格数学与统计学报》198，191-205（2017）。
MSC公司：51-04 68瓦30 01A05号 51-03
PDF格式BibTeX公司 XML格式引用
\textit{R.Hašek}等人，Springer Proc。数学。Stat.198，191--205（2017；Zbl 1395.51004）
全文： 内政部
米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞

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

Greuel，Gert-Martin（编辑）等人，《数学软件——ICMS 2016》。第五届国际会议，德国柏林，2016年7月11-14日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9725, 37-42 (2016).
MSC公司：68伏15 2004年5月5日 68瓦30 97Gxx型 97U70型
PDF格式BibTeX公司 XML格式引用
\文本{M.Abánades}等人，Lect。注释计算。科学。9725，37-42（2016；Zbl 1434.68636）
全文： 内政部
佐尔坦科瓦奇

GeoGebra 5中的关系工具。 （英语） Zbl 1434.97015号

Botana，Francisco（编辑）等人，《几何中的自动演绎》。2014年7月9日至11日，第十届国际研讨会，ADG 2014，葡萄牙科英布拉。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 53-71 (2015).
MSC公司：97U70型 97克10 68伏15 68瓦30 97N80型
PDF格式BibTeX公司 XML格式引用
\textit{Z.Kovács}，莱克特。注释计算。科学。9201,53--71（2015；Zbl 1434.97015）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件