×

找到8个文档(结果1-8)

GeoGebra 5中的关系工具。 (英语) Zbl 1434.97015号

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2014年7月9日至11日,第十届国际研讨会,ADG 2014,葡萄牙科英布拉。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。9201, 53-71 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

动态几何软件与交互式形式证明辅助工具的组合。 (英语) Zbl 1294.68126号

Aspinall,David(编辑)等人,第九届定理证明器用户界面国际研讨会论文集(UITP10),英国爱丁堡,2010年7月15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记285,43-55(2012)。
MSC公司:第68页第15页 68单位05 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq中吴的简单方法的形式化。 (英语) Zbl 1350.68234号

Jouannaud,Jean-Pierre(编辑)等人,《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-25378-2/pbk)。计算机科学课堂讲稿7086,71-86(2011)。
MSC公司:第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

数字时代的数学交流(CMDE 2006)。根据2006年8月15日至18日在葡萄牙阿韦罗举行的会议(CMDE 2006)上的发言选出的论文。 (英语) Zbl 1169.68649号

马萨诸塞州韦尔斯利:A K Peters(ISBN 978-1-56881-410-0/hbk)。xii,第325页。(2008年)。
PDF格式BibTeX公司 XML格式引用

GeoThms–用于欧几里德构造几何的网络系统。 (英语) 兹比尔1278.68279

Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,35-48(2007)。
MSC公司:第68页第15页 68单位35
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份