×

找到243个文档(结果1–100)

编程会促进几何中“GeoGebra”的使用吗? (英语) Zbl 1524.68455号

PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用GeoGebra的圆环体和二次曲面相交。 (英语) 兹比尔1464.68418

Cheng,Liang-Yee(编辑),ICGG 2020–第19届几何和图形国际会议论文集,巴西圣保罗,2021年1月18日至22日。查姆:斯普林格。高级智能。系统。计算。1296, 484-493 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

人工智能几何书中的自动推导。 (英语) Zbl 1515.68346号

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110221-226(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

走向自动化几何师。 (英语) 兹比尔1515.68340

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 215-220 (2018).
MSC公司:68伏15 51-04 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 155-169 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用计算机代数对历史轨迹问题进行当代解释。 (英语) 兹比尔1395.51004

Kotsireas,Ilias S.(编辑)等人,《计算机代数的应用》,希腊卡拉马塔,2015年7月20日至23日。查姆:施普林格(ISBN 978-3-319-56930-7/hbk;978-3-3169-56932-1/电子书)。《施普林格数学与统计学报》198,191-205(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

具有理想边比例的三角形。 (英语) Zbl 1384.51014号

Wituła,Roman(编辑)等人,《实验数学选题》。Gliwice:Wydawnictwo PolitechnikiŚląskiej(ISBN 978-83-7880-476-5/pbk)。Monografia(Gliwice)672,275-288(2017年)。
PDF格式BibTeX公司 XML格式引用

使用交互式几何软件探索古希腊建筑问题。 (英语) Zbl 1447.51001号

数学简明教材巴塞尔:Birkhäuser/Springer(ISBN 978-3-319-42862-8/pbk;978-3-3169-42863-5/电子书)。xii,185页。(2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可视化剪刀一致性。 (英语) Zbl 1387.68253号

Fekete,Sándor(ed.)等人,第32届计算几何国际研讨会,SoCG’16,美国马萨诸塞州波士顿,2016年6月14日至17日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-009-5)。LIPIcs–莱布尼茨国际信息学论文集51,第66条,第3页(2016年)。
MSC公司:68单位05 51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

两参数曲线系统的包络构造技术实践。 (英语) Zbl 1374.51009号

Chleboun,J.(编辑)等人,《数值数学的程序和算法》17。第17届研讨会(PANM)会议记录,多利·马克索夫,捷克共和国,2014年6月8日至13日。布拉格:捷克共和国科学院数学研究所(ISBN 978-80-85823-64-6)。17-22 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 链接

灰姑娘.2手册。使用交互式几何软件。 (英语) Zbl 1235.00014号

柏林:施普林格出版社(ISBN 978-3-540-34924-2/pbk;978-3-540-34926-6/电子书)。xiii,第458页。(2012).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用质点法自动生成构造几何语句的可读证明。 (英语) Zbl 1350.68246号

Schreck,Pascal(编辑)等人,《几何中的自动演绎》。2010年7月22日至24日,德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25069-9/pbk)。计算机科学课堂讲稿6877。人工智能课堂讲稿,221-258(2011)。
MSC公司:68吨15 51-04 51N10号 68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

几何定理证明器(TGTP)的数千个几何问题。 (英语) Zbl 1350.68243号

Schreck,Pascal(编辑)等人,《几何中的自动演绎》。2010年7月22日至24日,德国慕尼黑ADG 2010第八届国际研讨会。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25069-9/pbk)。计算机科学课堂讲稿6877。人工智能课堂讲稿,169-181(2011)。
MSC公司:68吨15 51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Java几何专家简介。(扩展摘要)。 (英语) Zbl 1302.68247号

Sturm,Thomas(编辑)等人,《几何中的自动演绎》。2008年9月22日至24日,第七届国际研讨会,ADG 2008,中国上海。修订论文。柏林:施普林格出版社(ISBN 978-3-642-21045-7/pbk)。计算机科学6301课堂讲稿。《人工智能课堂讲稿》,189-195年(2011年)。
MSC公司:68吨15 51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

虚拟动作区域中的初等几何。一本关于Cabri 3D教学的CD书。(Schulgeometrie im virtuellen Handlungsraum.Ein Lehr-und Lernbuch der interaktiven Raumgeometrie-mit Cabri 3D auf CD。) (德语) Zbl 1162.00008号

希尔德斯海姆:Franzbecker(ISBN 978-3-88120-469-9)。光盘上的542页(2007年)。
PDF格式BibTeX公司 XML格式引用

几何表达式:基于约束的交互式符号几何系统。 (英语) Zbl 1195.68116号

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。人工智能课堂讲稿,189-202(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

塔斯基几何中的机械定理证明。 (英语) Zbl 1195.03019号

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。人工智能课堂讲稿,139-156(2007)。
MSC公司:03B35型 51-04 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

使用最小正则综合Gröbner系统自动发现几何定理。 (英语) Zbl 1195.68093号

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。《人工智能讲义》,113-138(2007)。
MSC公司:68吨15 68瓦30 51-04
PDF格式BibTeX公司 XML格式引用

动态几何系统中规则构造的自动验证。 (英语) Zbl 1195.68092号

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。人工智能课堂讲稿,39-51(2007)。
MSC公司:68吨15 51-04 68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向电子几何教科书。 (英语) 兹比尔1195.68091

Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。人工智能课堂讲稿,1-23(2007)。
MSC公司:68吨15 51-01 51-04 68单位05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用从双曲面投影确定非垂直线来重建三维空间中的矩形平面。 (英语) Zbl 1202.94044号

Huang,De-Shuang(编辑)等,《信号处理和模式识别中的智能计算》。2006年8月16日至19日,国际智能计算大会,中国昆明。柏林:施普林格出版社(ISBN 3-540-37257-1/pbk)。控制与信息科学课堂讲稿3451030-1035(2006)。
MSC公司:94A08型 51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

GCLC–一个用于构造欧几里德几何的工具。 (英语) Zbl 1230.51024号

Iglesias、Andrés(编辑)等人,《数学软件——ICMS 2006》。第二届数学软件国际会议,卡斯特罗·乌迪亚莱斯,西班牙,2006年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-38084-9/pbk)。计算机科学讲义415158-73(2006)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用几何画板的大学几何。 (英语) Zbl 1118.00005号

加利福尼亚州埃默里维尔:Key College Publishing(ISBN 978-1-931914-54-3/pbk)。xx,300页。(2006年)。
MSC公司:00A35型 97U60型 51-04
PDF格式BibTeX公司 XML格式引用

CAD/CAGD系统的开始。 (捷克语) Zbl 1274.01047号

Bečvář,Jind \345,ich(编辑)等人,Matematika v proměnách v \283,ků。三、 布拉格:V满zkumnéCentrum pro Dଖjiny V଎dy(ISBN 80-7285-040-7)。Dějiny Matematiky/数学史24,117-131(2004)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

我们能信任交互式几何软件吗? (意大利语) Zbl 1177.00056号

里科丹多·弗朗科·孔蒂(Ricordando Franco Conti)。比萨:Scuola Normale Superiore(ISBN 88-7642-137-8/pbk)。《马特马蒂卡·恩尼奥·德·乔治中心》,181-193年(2004年)。
PDF格式BibTeX公司 XML格式引用

真理所在(初等几何中的自动定理证明)。 (英语) Zbl 1127.68428号

Laganá,Antonio(编辑)等人,《计算科学及其应用——ICCSA 2004》。2004年5月14日至17日,意大利阿西西国际会议。诉讼,第二部分。柏林:施普林格出版社(ISBN 3-540-22056-9/pbk)。计算机科学课堂讲稿3044761-770(2004)。
MSC公司:68吨15 68瓦30 51-04 2004年5月5日
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Coq中几何的决策程序。 (英语) Zbl 1099.68734号

Slind,Konrad(编辑)等人,《高阶逻辑中的定理证明》。第17届国际会议,TPHOLs 2004,美国犹他州帕克城,2004年9月14-17日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23017-3/pbk)。计算机科学课堂讲稿3223225-240(2004)。
MSC公司:68吨15 03B35型 51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Delaunay超大型三角网的构建。 (英语。俄文原件) Zbl 1063.51500号

俄罗斯物理。J。 45,第6期,558-561(2002); Izv的翻译。维什。Uchebn。扎维德。,菲兹。45,第6期,22-25(2002年)。
MSC公司:51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

三角剖分节点坐标的压缩。 (英语。俄文原件) 兹比尔1063.51501

俄罗斯物理。J。 45,第5期,472-474(2002); Izv的翻译。维什。Uchebn。扎维德。,菲兹。45,第5期,39-42(2002年)。
MSC公司:51-04
PDF格式BibTeX公司 XML格式引用
全文: 内政部

应用于几何演示环境的超自动系统。 (英语) Zbl 1023.68653号

Moreno-Díaz,Roberto(编辑)等人,《计算机辅助系统理论-EUROCAST 2001》。2001年2月19日至23日,西班牙大加那利拉斯帕尔马斯第八届国际研讨会论文选集。修订论文。柏林:斯普林格。莱克特。注释计算。科学。2178, 457-468 (2001).
MSC公司:68T05型 68层35 51-04
PDF格式BibTeX公司 XML格式引用
全文: 链接

几何画板。用于探索数学的动态几何软件。版本4。单用户版(Windows/Macintosh)。第2版。 (英语) Zbl 1025.00002号

埃默里维尔:关键课程出版社。附有学习指南的光盘(2001年)。
MSC公司:00A35型 97C80型 97U70型 51-04
PDF格式BibTeX公司 XML格式引用

三个外接圆–使用Sketchpad进行实验。(Drei Umkreise–素描板实验。) (德语) Zbl 1016.51001号

Blankenagel,Jürgen(编辑)等人,Mathematikdidaktik aus Begeisterung für die Mathematic。费斯特施里夫·哈拉尔德·谢德(Festschrift für Harald Scheid)。斯图加特:Klett Verlag。238-248 (2000).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件