×

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

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

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

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

处理自动化证明中的负面条件：工具和挑战。拉比诺维奇的诡计带来了意想不到的后果。 （英语） 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）
全文： DOI程序
博塔纳，弗朗西斯科；佐尔坦科瓦奇；托马斯·雷西奥

走向自动化几何师。 （英语） 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）
全文： DOI程序
伊曼纽尔·基诺（Emmanuel J.Genot）。；阿格内塔·古尔兹

探究和探究学习的疑问模式。 （英语） Zbl 1439.03022号

巴什肯特（Baškent，Can）（编辑），《探究疑问模型的观点》。调查和问题的发展。查姆：斯普林格。日志。氩气。原因。8, 15-33 (2016).
MSC公司：03A05号
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Genot}和\textit{A.Gulz}，Log。氩气。原因。8、15-33（2016年；Zbl 1439.03022）
全文： DOI程序 链接
Abánades，米格尔；博塔纳，弗朗西斯科；佐尔坦科瓦奇；托马斯·雷西奥；Sólyom Gecse，塞利亚

朝向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格式引用
\textit{M.Abánades}等人，Lect。注释计算。科学。9725，37-42（2016；Zbl 1434.68636）
全文： DOI程序
丹·宋；王东明；陈晓宇

从扫描和拍摄的图表图像中发现几何定理。 （英语） 兹比尔1434.68645

Botana，Francisco（编辑）等人，《几何中的自动推导》。2014年7月9日至11日，第十届国际研讨会，ADG 2014，葡萄牙科英布拉。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9201, 149-165 (2015).
MSC公司：68伏15 68吨10 68单位05 68伏30
PDF格式BibTeX公司 XML格式引用
\textit{D.Song}等人，Lect。注释计算。科学。9201149--165（2015年；Zbl 1434.68645）
全文： DOI程序
乔纳森·赫拉斯；叶卡捷琳娜·科门丹茨卡亚；穆阿·约翰逊；埃文·麦克林

ACL2中的验证模式识别和引理发现。 （英语） Zbl 1407.68436号

McMillan，Ken（编辑）等人，《编程逻辑、人工智能和推理》。第19届国际会议，LPAR-19，南非斯特伦博什，2013年12月14-19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8312, 389-406 (2013).
MSC公司：68吨15 68T05型 68吨10
PDF格式BibTeX公司 XML格式引用
\textit{J.Heras}等人，Lect。注释计算。科学。8312389--406（2013年；Zbl 1407.68436）
全文： DOI程序 arXiv公司
尤金尼奥·罗内斯·马西亚斯；尤金尼奥·罗内斯·洛扎诺；Fernández-Biarge，朱利奥

借助计算机代数系统，获得非退化二次曲面Pascal定理的三维推广及其完整构形。 （英语） Zbl 1179.51001号

RACSAM，Rev.R.学术版。中国。精确到Fís。Nat.，Ser。一块垫子。 103，编号1，93-109（2009）.
MSC公司：51A20型 68单位99
PDF格式BibTeX公司 XML格式引用
\textit{E.Roanes-Macias}等人，RACSAM，Rev.R.Acad。中国。精确到Fís。Nat.，Ser。A材料103，编号1，93--109（2009；Zbl 1179.51001）
全文： DOI程序 欧洲DML
村田聪

图解信息在几何定理发现中的作用。 （英语） Zbl 1091.68595号

Blackwell，Alan（编辑）等人，《图解表示和推理》。第三届国际会议，图表2004，英国剑桥，2004年3月22日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21268-X/pbk）。计算机科学2980课堂讲稿。人工智能课堂讲稿，235-238（2004）。
MSC公司：68吨15 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{T.Murata}，莱克特。注释计算。科学。2980235-238（2004年；Zbl 1091.68595）
全文： DOI程序
吉尔·Défourneaux；尼古拉斯·佩尔蒂埃

证明和反例中类比发现的部分匹配。 （英语） Zbl 1430.68398号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 431-445 (1997).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{G.Défourneaux}和\textit{N.Peltier}，莱克特。注释计算。科学。1249431-445（1997年；Zbl 1430.68398）
全文： DOI程序
马塞特鲁·哈罗

类比法在LK系统中的证明发现。 （英语） Zbl 0899.03012号

Shyamasundar，R.K.（编辑）等人，《计算科学进展——1997年亚洲》。第三届亚洲计算科学会议，尼泊尔加德满都，1997年12月9日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1345, 197-211 (1997).
审核人：L.州（布库雷什蒂）
MSC公司：03B35型 68吨15 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{M.Harao}，莱克特。注释计算。科学。1345197--211（1997；Zbl 0899.03012）
陈宋灿；张东墨；王建东；朱、吴佳；Xiao，西安

数学发现过程的计算机模拟，通过类比从平面几何过渡到立体几何的例子进行。 （中文） Zbl 0955.68102号

数学学报。科学。（中文版） 16，第4期，377-384（1996）.
审核人：杜定珠（明尼阿波利斯）
MSC公司：68吨15 68岁20岁 03B35型 68T99型
PDF格式BibTeX公司 XML格式引用
\textit{S.C.Chen}等人，《数学学报》。科学。（中国编辑）16，第4号，377--384（1996；Zbl 0955.68102）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件