×

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

直观思维和简单的证明。 (英语) 兹比尔1433.00032

MSC公司:00A35型 97E50型
PDF格式BibTeX公司 XML格式引用

朝向GeoGebra中定理的自动发现。 (英语) Zbl 1434.68636号

Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 37-42 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

与青少年赛跑——对大学前问题的机械化数学进行基准测试。 (英语) Zbl 1475.68459号

Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 213-227 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

与校对助理教授语义:不再需要LSD旅行证明。 (英语) Zbl 1325.68005号

Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。2012年1月22日至24日,第13届国际会议,VMCAI 2012,美国宾夕法尼亚州费城。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学课堂讲稿7148,24-38(2012)。
MSC公司:68-01 68甲15 68问题55 68吨15 97页40页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份