阿恩波特尔登;克里斯·库尔萨特;Veerle法克 PG(2,9)中最小阻塞集的分类。 (英语) Zbl 07792543号 《几何杂志》。 115,第1号,第4号论文,27页(2024年). 审核人:Geertrui Van de Voorde(坎特伯雷) MSC公司:第51页第21页 51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Botteldooron}等人,J.Geom。115,第1号,第4号论文,第27页(2024;Zbl 07792543) 全文: 内政部
贾尼契奇,普雷德拉格;朱利安·纳布克斯 自动生成几何及其他方面的图解证明。 (英语) Zbl 07785121号 安。数学。Artif公司。智力。 91,第6号,797-820(2023).MSC公司:68T20型 68立方英尺 68T50型 51-04 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić}和\textit{J.Narboux},《数学年鉴》。Artif公司。智力。91,编号6,797--820(2023;Zbl 07785121) 全文: 内政部
菲利普·托德;Aley和Danny 创建新几何证明问题的程序。 (英语) Zbl 1530.68272号 安。数学。Artif公司。智力。 91,第6号,779-795(2023).MSC公司:68伏99 05元50分 51-04 2004年5月5日 68T20型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Todd}和\textit{D.Aley},Ann.数学。Artif公司。智力。91,第6号,779--795(2023;Zbl 1530.68272) 全文: 内政部
杨靖;陈,龚;魏春秋;阿列克谢·谢尔盖夫;黄,京通卡亚;马修·斯库利(Matthew M.Scully)。;Steven G.将军。;姚鹏飞;郭铁新;王俊敏;杨志春;陈明哲 动物形状、模态分析和运动可视化。四: 几何构造和实施。 (英语) Zbl 07726243号 《几何杂志》。分析。 33,第10号,第330号论文,39页(2023年).MSC公司:65D17号 2004年8月 68单位05 51-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,J.Geom。分析。33,第10号,第330号论文,39页(2023;Zbl 07726243) 全文: 内政部
马修·埃利森 实现具有指定边长的抽象单纯形复数。 arXiv公司:2312.05376 预印本,arXiv:2312.05376[math.GT](2023)。MSC公司:68单位05 41-04 51-04 51米20 2015年11月51日 BibTeX公司 引用 \textit{M.Ellison},“实现具有指定边长的抽象单形复数”,预打印,arXiv:2312.05376[math.GT](2023) 全文: arXiv公司 OA许可证
克里斯托弗·布朗(Christopher W.Brown)。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹,M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗? (英语) 兹比尔07700011 数学。计算。科学。 16,第4号,第31号论文,第14页(2022年).MSC公司:97G40型 14H50型 03B35型 68吨15 68伏15 2014年第30季度 2016年11月51日 51-04 51-08 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}等人,数学。计算。科学。16,第4号,第31号论文,第14页(2022;Zbl 07700011) 全文: 内政部
欧内斯特·谢贝尔 编程会促进几何中“GeoGebra”的使用吗? (英语) Zbl 1524.68455号 牛市。Transilv公司。Brașov大学,Ser。三、 数学。计算。科学。 1(63),第2号,139-148(2021).MSC公司:68瓦30 51-04 2004年5月5日 97G40型 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{E.Scheiber},公牛。Transilv公司。Brașov大学,Ser。三、 数学。计算。科学。1(63),编号2,139--148(2021;Zbl 1524.68455) 全文: 内政部
Reis D'Azevedo Breda、Ana Maria;亚历山大·伊曼纽尔,巴蒂斯塔·达席尔瓦·特罗卡多;多斯桑托斯,何塞·曼努埃尔 使用GeoGebra的圆环体和二次曲面相交。 (英语) 兹比尔1464.68418 Cheng,Liang-Yee(编辑),ICGG 2020–第19届几何和图形国际会议论文集,巴西圣保罗,2021年1月18日至22日。查姆:斯普林格。高级智能。系统。计算。1296, 484-493 (2021).MSC公司:68单位05 51-04 2004年5月5日 68瓦30 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Reis D'Azevedo Breda}等人,高级情报。系统。计算。129684-493(2021年;兹比尔1464.68418) 全文: 内政部
杰尔·科勒;丹·雷兹尼克;罗纳尔多·加西亚 具有空间积分的平均椭圆台球不变量。 arXiv公司:2102.10899 预印本,arXiv:2102.10899[math.DS](2021)。MSC公司:51N20号 2004年5月5日 51-04 BibTeX公司 引用 \textit{J.Koiller}等人,“具有空间积分的平均椭圆台球不变量”,预打印,arXiv:2102.10899[math.DS](2021) 全文: arXiv公司 OA许可证
菲利普·托德 使用解析几何方法的符号动态几何系统。 (英语) Zbl 1474.68454号 数学。计算。科学。 14,第4期,693-726(2020).MSC公司:68伏15 51-04 68单位05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Todd},数学。计算。科学。14,第4号,693--726(2020;Zbl 1474.68454) 全文: 内政部
博塔纳,弗朗西斯科;佐尔坦科瓦奇;托马斯·雷西奥;维莱兹,M.Pilar 朝向自动几何仪。 (西班牙语) 兹比尔1456.68227 盖克。R.Soc.材料Esp。 23,第2期,343-371(2020年). 审核人:Frank Stephan(新加坡) MSC公司:68伏15 01A73号 51-03 51-04 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,Gac。R.Soc.Mat.Esp.23,No.2,343--371(2020;Zbl 1456.68227)
哈舍克,罗马人 使用动态几何和计算机代数系统探索对偶曲线。 (英语) Zbl 1453.68223号 数学。计算。科学。 14,第2期,391-398(2020年).MSC公司:68瓦30 13页第10页 51-04 97亿B50 97G99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hašek},数学。计算。科学。14,第2号,391--398(2020;Zbl 1453.68223) 全文: 内政部
雷米·库隆;Elisabetta A.松本。;亨利·塞格曼;史蒂夫·特雷特尔 非核素虚拟现实III:无。 arXiv:2002.00513号 预印本,arXiv:2002.00513[math.HO](2020)。MSC公司:00A09号 00A66号 53A35型 57公里35 51-04 68单位05 37D40型 BibTeX公司 引用 \textit{R.Coulon}等人,“非核素虚拟现实III:无”,预打印,arXiv:2002.00513[math.HO](2020) 全文: arXiv公司 OA许可证
雷米·库隆;Matsumoto,Elisabetta A。;亨利·塞格曼;史蒂夫·特雷特尔 非核素虚拟现实IV:解决方案。 arXiv:2002.00369号 预印本,arXiv:2002.00369[math.HO](2020)。MSC公司:00A09号 00A66号 53A35型 57公里35 51-04 68单位05 37D40型 BibTeX公司 引用 \textit{R.Coulon}等人,“非核素虚拟现实四:解决方案”,预打印,arXiv:2002.00369[math.HO](2020) 全文: arXiv公司 OA许可证
佐尔坦科瓦奇;托马斯·雷西奥;维莱兹,M.Pilar 检测真相,只是部分。 (英语) Zbl 1412.13003号 修订材料完成。 32,第2期,451-474(2019). 审核人:Hans-Peter Schröcker(因斯布鲁克) MSC公司:13甲15 13英尺20英寸 1999年第14季度 51-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács}等人,修订版Mat.Complut。32,第2号,451--474(2019;Zbl 1412.13003) 全文: 内政部 arXiv公司
佐治亚州科瓦奇。;T·雷西奥。;Sólyom-Gecse,C。 重写复杂代数几何证明程序中的输入表达式。 (英语) Zbl 1423.13004号 安。数学。Artif公司。智力。 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}等人,《数学年鉴》。Artif公司。智力。85,编号2--4,73-87(2019;Zbl 1423.13004) 全文: 内政部
佩德罗·夸雷斯马 人工智能几何书中的自动推导。 (英语) Zbl 1515.68346号 Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110221-226(2018)。MSC公司:68伏15 51-04 68伏30 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},莱克特。注释计算。科学。11110、221--226(2018;Zbl 1515.68346) 全文: 内政部
博塔纳,弗朗西斯科;佐尔坦科瓦奇;托马斯·雷西奥 走向自动化几何师。 (英语) 兹比尔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) 全文: 内政部
佐尔坦科瓦奇 在正多边形中发现几何定理。 (英语) Zbl 1515.68345号 Fleuriot,Jacques(编辑)等人,《人工智能和符号计算》。2018年9月16日至19日在中国苏州举行的第十三届AISC国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11110, 155-169 (2018).MSC公司:68伏15 14-04 51-04 第68版 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács},莱克特。注释计算。科学。11110155-169(2018年;Zbl 1515.68345) 全文: 内政部
弗拉基米尔·基西尔。 Möbius-Lie几何与共形圈系综的扩展及其在GiNaC库中的实现。 (英语) Zbl 1428.51001号 程序。国际地理。美分。 11,第3号,45-67(2018).MSC公司:51对25 51N25号 第51页第10页 51-04 PDF格式BibTeX公司 XML格式引用 \textit{V.V.Kisil},程序。国际地理。美分。11、3号、45-67(2018;Zbl 1428.51001) 全文: 内政部 arXiv公司
O.布苏菲。;Lamrini Uahabi,K。;M.阿托蒂。 三项弧的模拟\(K(p,K,r,n)\)。 (英语) Zbl 1405.51016号 高级数学杂志。螺柱。 第226-231号第11页(2018年).MSC公司:51号35 51-04 28A80型 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{O.Boussoufi}等人,J.高级数学。螺柱11,编号2,226--231(2018;Zbl 1405.51016)
亚历山德鲁·波帕 齐次空间的解析几何。 arXiv公司:1807.10134 预印本,arXiv:1807.10134[math.HO](2018)。MSC公司:51B20型 51比99 51N25号 51-04 BibTeX公司 引用 \textit{A.Popa},“齐次空间的解析几何”,预印本,arXiv:1807.10134[math.HO](2018) 全文: arXiv公司 OA许可证
马丁·比利奇 GeoGebra和切线圆问题。 (英语) Zbl 1513.51001号 科学。问题,Jan Długosz Univ.Częst。,数学。 22, 23-29 (2017).MSC公司:51-04 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Billich},科学。问题,Jan Długosz大学,CzÉst。,数学。22、23-29(2017;Zbl 1513.51001) 全文: 内政部
埃萨扬,A.R。;Dobrovolskiĭ,新泽西州。 GeoGebra中对象的变换。 (俄语。英文摘要) 兹比尔1437.51001 切比雪夫斯基。 18,第2号(62),129-143(2017).MSC公司:51-04 2015财年51 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Esayan}和\textit{N.Dobrovolskiĭ},切比雪夫斯基ĭSb.18,第2号(62),129-143(2017;Zbl 1437.51001) 全文: 内政部 MNR公司
哈塞克,罗马;佐尔坦科瓦奇;Jan Zahradník 使用计算机代数对历史轨迹问题进行当代解释。 (英语) 兹比尔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)。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) 全文: 内政部
埃德塔·赫特马尼克;Alicja Samulewicz;伊雷内乌斯·索布西尔;马钦·斯威达;罗马人维图拉 具有理想边比例的三角形。 (英语) Zbl 1384.51014号 Wituła,Roman(编辑)等人,《实验数学选题》。Gliwice:Wydawnictwo PolitechnikiŚląskiej(ISBN 978-83-7880-476-5/pbk)。Monografia(Gliwice)672,275-288(2017年)。 审核人:Sándor Nagydobai接吻(Satu Mare) MSC公司:2004年5月5日 51米25 51-04 11层39 PDF格式BibTeX公司 XML格式引用 \textit{E.Hetmanik}等人,Monogr。,格利维塞672,275--288(2017;Zbl 1384.51014)
埃萨扬,A.R。;雅库欣,A.V。 GeoGebra中假设的实验验证。 (俄语。英文摘要) Zbl 1373.51010号 切比雪夫斯基。 18,第1号(61),92-108(2017).MSC公司:2004年5月5日 51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Esayan}和\textit{A.V.Yakushin},ChebyshevskiĭSb.18,No.1(61),92-108(2017;Zbl 1373.51010) 全文: MNR公司
埃萨扬,A.R。;北卡罗莱纳州多布罗沃尔斯基。 质心假设的计算机证明。 (俄语。英文摘要) 兹比尔1373.51009 切比雪夫斯基。 18,第1号(61),73-91(2017).MSC公司:2004年5月5日 51-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.R.Esayan}和\textit{N.Dobrovolsky},切比雪夫斯基[18,No.1(61),73-91(2017;Zbl 1373.51009) 全文: MNR公司
梅斯肯斯,广告;保罗·提加特 使用交互式几何软件探索古希腊建筑问题。 (英语) Zbl 1447.51001号 数学简明教材巴塞尔:Birkhäuser/Springer(ISBN 978-3-319-42862-8/pbk;978-3-3169-42863-5/电子书)。xii,185页。(2017). 审核人:Ana Pereira do Vale(布拉加) MSC公司:51-01 51-03 51-04 2015年11月51日 01A20号 PDF格式BibTeX公司 XML格式引用 \textit{A.Meskens}和\textit{P.Tytgat},使用交互式几何软件探索古希腊建筑问题。巴塞尔:Birkhäuser/Springer(2017;Zbl 1447.51001) 全文: 内政部
杰西·阿拉玛;维克托·潘布奇安 从点反射、中点和共线的角度来看,从绝对几何到仿射几何。 (英语) 兹比尔1414.51002 注释材料。 36,第1期,11-24(2016). 审核人:维托·纳波利塔诺(那不勒斯) MSC公司:51甲15 03B30型 03B35型 51-04 2015财年51 PDF格式BibTeX公司 XML格式引用 \textit{J.Alama}和\textit{V.Pambuccian},注释材料36,编号1,11-24(2016;Zbl 1414.51002) 全文: 内政部
萨提安·德瓦多斯;齐夫·爱泼斯坦;德米特里·斯米尔诺夫 可视化剪刀一致性。 (英语) 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格式引用 \textit{S.Devadoss}等人,LIPIcs——莱布尼茨国际程序。通知。51,第66条,第3页(2016年;Zbl 1387.68253) 全文: 内政部
毛里齐奥·伊尔洛;桑德罗·拉霍拉 (PG(3,q))中最大部分扩散的计算机搜索。 (英语) Zbl 1413.51002号 阿尔斯·库姆。 129, 417-436 (2016).MSC公司:第51页,共14页 51-04 PDF格式BibTeX公司 XML格式引用 \textit{M.Iurlo}和\textit{S.Rajola},Ars Comb。129417--436(2016;Zbl 1413.51002) 全文: arXiv公司
维塞林·内科夫 欧几里得几何中关于二次曲线的不变定理。 (英语) Zbl 1361.51006号 Mat.Bilt公司。 40,第2期,13-26(2016).MSC公司:51-04 2005年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{V.Nenkov},马特·比尔特。40、第2号、第13--26号(2016;Zbl 1361.51006) 全文: 链接
萨瓦·格罗兹德夫;德科·德科 计算机发现了数学及其在教育中的应用。 (英语) Zbl 1361.51005号 材料胆汁。 40,第2期,5-12(2016).MSC公司:51-04 68吨15 2005年5月5日 97G10型 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Grozdev}和\textit{D.Dekov},Mat.Bilt。40、第2号、第5--12号(2016;Zbl 1361.51005) 全文: 链接
邵长鹏;李洪波;黄磊 用立体几何中的奥数问题挑战定理证明器。 (英语) Zbl 1358.68265号 数学。计算。科学。 10,第1期,75-96(2016).MSC公司:68吨15 51-04 97G40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Shao}等人,数学。计算。科学。10,第1号,75--96(2016;Zbl 1358.68265) 全文: 内政部
朱利安·纳布克斯;大卫·布劳恩 朝向三角形中心百科全书的认证版本。 (英语) Zbl 1343.51001号 数学。计算。科学。 10,第1号,57-73(2016). 审核人:斯特凡·克拉尼奇(慕尼黑) MSC公司:51-04 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Narboux}和\textit{D.Braun},数学。计算。科学。10、1号、57--73(2016;Zbl 1343.51001) 全文: 内政部 哈尔
帕斯卡·施雷克;帕斯卡·马蒂斯 几何构造问题语料库的自动构造性检查。 (英语) 兹比尔1342.51018 数学。计算。科学。 10,第1期,41-56(2016).MSC公司:2015年11月51日 51-04 97G99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreck}和\textit{P.Mathis},数学。计算。科学。10,第1号,41-56(2016;Zbl 1342.51018) 全文: 内政部
博塔纳,弗朗西斯科;托马斯·雷西奥 论动态几何证明中不可避免的真理不确定性。 (英语) Zbl 1357.68197号 数学。计算。科学。 10,第1期,5-25(2016).MSC公司:68吨15 51-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}和\textit{T.Recio},数学。计算。科学。10、第1号、第5--25号(2016;Zbl 1357.68197) 全文: 内政部 链接
帕斯卡·施雷克;帕斯卡·马蒂斯;韦斯纳·马里科维奇;Janicic、Predrag 韦尼克的名单:最后更新。 (英语) Zbl 1335.51002号 地理论坛。 16, 69-80 (2016).MSC公司:51-04 2015年11月51日 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreck}等人,地球论坛。16、69-80(2016;Zbl 1335.51002) 全文: 链接
黄方建 三角形平面上一点的两个不等式猜想的证明。 (英语) Zbl 1334.51012号 J.不平等。申请。 2016年,第76号论文,第12页(2016).MSC公司:51米16 51-04 PDF格式BibTeX公司 XML格式引用 \textit{F.Huang},J.不平等。申请。2016年,第76号论文,12页(2016;Zbl 1334.51012) 全文: 内政部
斯坦尼斯拉夫·巴托;米查尔·佩蒂克 两参数曲线系统的包络构造技术实践。 (英语) Zbl 1374.51009号 Chleboun,J.(编辑)等人,《数值数学的程序和算法》17。第17届研讨会(PANM)会议记录,多利·马克索夫,捷克共和国,2014年6月8日至13日。布拉格:捷克共和国科学院数学研究所(ISBN 978-80-85823-64-6)。17-22 (2015). 审核人:Jan Přikryl(普拉哈) MSC公司:51第05页 74K10型 51N20号 51-04 PDF格式BibTeX公司 XML格式引用 \textit{S.Bartoň}和\textit{M.Petřík},in:数值数学程序和算法17。第17届研讨会(PANM)会议记录,多利·马克索夫,捷克共和国,2014年6月8-13日。布拉格:捷克共和国科学院数学研究所。17-22(2015;Zbl 1374.51009) 全文: 链接
R.古列尔梅蒂。 CoxIter–计算双曲Coxeter群的不变量。 (英语) Zbl 1333.20040号 LMS J.计算。数学。 18, 754-773 (2015).MSC公司:20层55 20-04 51-04 20楼67 2015财年51 22E40型 52个B05 PDF格式BibTeX公司 XML格式引用 \textit{R.Guglielmetti},LMS J.计算。数学。18、754--773(2015;Zbl 1333.20040) 全文: 内政部
迪亚斯·多卡,杰马·玛丽亚;伊奥纳(Ioana)花蜜 从三维笛卡尔坐标到双曲面坐标的直接符号转换。 (英语) Zbl 1364.68376号 申请。数学。计算。 228, 349-365 (2014).MSC公司:68瓦30 51-04 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Díaz-Toca}和\textit{I.Necula},应用。数学。计算。228349-365(2014年;Zbl 1364.68376) 全文: 内政部 链接
北卡罗来纳州奥斯波夫。 有理型平面定理的机械证明。 (英语。俄文原件) Zbl 1323.68463号 程序。计算。柔和。 40,第2期,71-78(2014); 译自Programmirovanie 40,No.2(2014)。MSC公司:68吨15 51-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{N.N.Osipov},程序。计算。柔和。40、第2号、第71-78号(2014;Zbl 1323.68463);译自Programmirovanie 40,No.2(2014) 全文: 内政部
杰西·阿拉玛 中心翻译公理系统的完全独立性。 (英语) 兹比尔1291.51002 注释材料。 33,第2期,133-142(2013). 审核人:维克托·潘布奇(凤凰城) MSC公司:51甲15 03-04 51-04 PDF格式BibTeX公司 XML格式引用 \textit{J.Alama},注释材料33,第2号,133--142(2013;Zbl 1291.51002) 全文: arXiv公司 链接
法鲁克·伊尔迪里姆 利用计算机代数求解子午弧距离问题。 (英语) Zbl 1285.86006号 申请。计算。数学。 12,第3期,348-354(2013).MSC公司:86A30型 51-04 2004年5月5日 39A60型 PDF格式BibTeX公司 XML格式引用 \textit{F.Yildirim},应用。计算。数学。12,第3号,348--354(2013;Zbl 1285.86006) 全文: 链接
Krzysztof维琴斯基 格里菲斯积分的四倍。 (英语) Zbl 1278.51012号 《几何杂志》。 104,第2期,395-398(2013).MSC公司:2004年5月5日 51-04 PDF格式BibTeX公司 XML格式引用 \textit{K.维特琴斯基},J.杰姆。104,No.2,395--398(2013;Zbl 1278.51012) 全文: 内政部
波塞,普罗森吉特;Jean-Lou De Carufel 具有固定角度的等周三角形外壳。 (英语) Zbl 1278.51001号 《几何杂志》。 104,第2期,229-255(2013).MSC公司:51-04 51N20号 51米25 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{P.Bose}和\textit{J.-L.De Carufel},J.Geom。104,No.2,229--255(2013;Zbl 1278.51001) 全文: 内政部
泰马尔·戴伊。(编辑);史蒂夫·奥多特(Steve Y.Oudot)。(编辑) 特刊:根据2012年6月17日至20日在美国北卡罗来纳州教堂山举行的第28届计算几何年度研讨会上的演示文稿选出的论文。 (英语) Zbl 1282.51002号 离散计算。地理。49,编号4,707-878(2013)。 MSC公司:51-06 51-04 52-06 52-04 00B25型 PDF格式BibTeX公司 XML格式
塞巴斯蒂安·科莱特(编辑);斯特凡·兰格曼(编辑) 特刊:根据2009年3月16日至18日在比利时布鲁塞尔举行的2009年欧洲计算几何研讨会第25届欧洲研讨会上的演示文稿选出的论文。 (英语) Zbl 1282.51001号 计算。地理。46,第7期,817-908(2013)。 MSC公司:51-06 05-06 68-06 05C62号 68单位05 51-04 00B25型 PDF格式BibTeX公司 XML格式
里希特·盖伯特(Jürgen Richter-Gebert);乌尔里希·科尔滕坎普。 灰姑娘.2手册。使用交互式几何软件。 (英语) Zbl 1235.00014号 柏林:施普林格出版社(ISBN 978-3-540-34924-2/pbk;978-3-540-34926-6/电子书)。xiii,第458页。(2012). 审核人:安德烈亚斯·菲勒(柏林) MSC公司:00A35型 51-04 94-04 97单位50 97U70型 97G10型 PDF格式BibTeX公司 XML格式引用 \textit{J.Richter-Gebert}和\textit{U.H.Kortenkamp},《灰姑娘2》手册。使用交互式几何软件。柏林:施普林格出版社(2012;Zbl 1235.00014) 全文: 内政部
保罗·盖利厄纳斯 凯尔特键模式的递归构造。 (英语) Zbl 1248.00015号 数学杂志。艺术 5,第3期,105-114(2011).MSC公司:00A66号 51-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Gailiunas},J.数学。第5条,第3号,105--114(2011;Zbl 1248.00015) 全文: 内政部
邹瑜;张景忠 用质点法自动生成构造几何语句的可读证明。 (英语) 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格式引用 \textit{Y.Zou}和\textit{J.Zhang},Lect。注释计算。科学。6877、221--258(2011年;Zbl 1350.68246) 全文: 内政部
佩德罗·夸雷斯马 几何定理证明器(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格式引用 \textit{P.Quaresma},莱克特。注释计算。科学。6877,169--181(2011;Zbl 1350.68243) 全文: 内政部
叶,郑;周尚卿;高小山 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格式引用 \textit{Z.Ye}等人,Lect。注释计算。科学。6301189--195(2011;Zbl 1302.68247) 全文: 内政部
Tirupathi R.Chandrupatla。;托马斯·奥斯勒。 椭圆的周长。 (英语) Zbl 1217.51002号 数学。科学。 35,第2期,122-131(2010). 审核人:罗尔夫·里辛格(维也纳) MSC公司:51-04 51米25 33C20美元 97I99号 97G99型 PDF格式BibTeX公司 XML格式引用 \textit{T.R.Chandrupatla}和\textit{T.J.Osler},数学。科学。35,第2号,第122--131条(2010;Zbl 1217.51002)
拉达科维奇,达沃卡;约旦赫塞格 使用WPF开发交互式几何软件。 (英语) Zbl 1205.68116号 Acta Univ.M.Belii,Ser.大学学报。数学。 16, 65-79 (2010).MSC公司:第68页第19页 51-04 97单位50 PDF格式BibTeX公司 XML格式引用 \textit{D.Radaković}和\textit{D.Herceg},马萨诸塞州贝里Acta大学。数学。16、65-79(2010年;Zbl 1205.68116) 全文: 链接
叶,郑;周尚卿;高小山 平面几何中证明的视觉动态呈现。二: 使用全角度方法和演绎数据库方法自动生成可视化动态演示。 (英语) Zbl 1211.68373号 J.汽车。推理 45,第3期,243-266(2010).MSC公司:68吨15 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人,J.Autom。推理45,No.3,243--266(2010;Zbl 1211.68373) 全文: 内政部
叶,郑;周尚卿;高小山 平面几何中证明的视觉动态呈现。一: 基本功能和手动输入方法。 (英语) Zbl 1211.68372号 J.汽车。推理 第31213-241号第45页(2010年).MSC公司:68吨15 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ye}等人,J.Autom。推理45,No.3,213--241(2010;Zbl 1211.68372) 全文: 内政部
汉斯·费特;Arredondo R.、Juan H。 确定网络的计算方法。 (英语) Zbl 1192.51016号 J.混凝土。申请。数学。 8,第1期,98-109(2010).MSC公司:51米20 51-04 PDF格式BibTeX公司 XML格式引用 \textit{H.Fetter}和\textit{J.H.Arredondo R.},J.Concr。申请。数学。8,第1号,98--109(2010;Zbl 1192.51016)
伊夫·尼韦尔特 中位数球体:理论,算法,应用。 (英语) Zbl 1202.65018号 数字。数学。 114,第4期,573-606(2010). 审核人:尼科莱塔·布雷兹(阿尔巴·尤利亚) MSC公司:65日第10天 01年10月 41年50日 51-04 2016年11月51日 52立方米 62层35 62年02月 86A30型 90B85型 91F10层 PDF格式BibTeX公司 XML格式引用 \textit{Y.Nievergelt},数字。数学。114,第4号,573--606(2010;Zbl 1202.65018) 全文: 内政部
G·达尔佐托。;T·雷西奥。 关于初等几何中定理的自动发现协议。 (英语) Zbl 1184.68458号 J.汽车。推理 43,第2期,203-236(2009).MSC公司:68吨15 1999年第14季度 51-04 PDF格式BibTeX公司 XML格式引用 \textit{G.Dalzotto}和\textit{T.Recio},J.Autom。推理43,第2203--236号(2009年;Zbl 1184.68458) 全文: 内政部
克里斯蒂安·佩瓦斯 几何代数及其在工程中的应用。 (英语) Zbl 1179.15025号 几何与计算4.柏林:施普林格出版社(ISBN 978-3-540-89067-6/hbk)。xiv,第385页。(2009). 审核人:沃尔夫冈·斯普雷希(弗赖堡) MSC公司:15A66型 51-01 68-01 70E60型 68单位05 65D19号 15-02 51-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Perwass},几何代数及其在工程中的应用。柏林:施普林格出版社(2009;Zbl 1179.15025)
马克·本科特;约阿希姆·古德蒙德松;弗洛里安·胡布纳;托马斯·沃尔 报告羊群模式。 (英语) Zbl 1163.65011号 计算。地理。 41,第3期,111-125(2008). 审核人:路易斯·菲利佩·塔贝拉·阿隆索(马德里) MSC公司:65D18天 51-04 68吨10 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{M.Benkert}等人,计算。地理。41,第3号,111-125(2008;Zbl 1163.65011) 全文: 内政部 链接
安吉拉·阿古格里亚;卢卡·朱齐 在\(\mathrm{PG}(2,q^{2})\)中构造一些最大弧的一种算法。 (英语) Zbl 1146.05013号 结果。数学。 52,编号1-2,17-33(2008).MSC公司:05B25号 第51页第21页 51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.Aguglia}和\textit{L.Giuzzi},结果。数学。52,编号1-2,17-33(2008年;Zbl 1146.05013) 全文: 内政部 arXiv公司
韦恩,罗恩 偏移多边形的精确和近似构造。 (英语) Zbl 1206.65119号 计算-辅助设计。 39,第6号,518-527(2007).MSC公司:65D18天 51-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Wein},计算-辅助设计。39,No.6,518--527(2007;Zbl 1206.65119) 全文: 内政部
海因茨·舒曼 虚拟动作区域中的初等几何。一本关于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年)。 审核人:安德烈亚斯·菲勒(柏林) MSC公司:00A35型 97-01 51-01 68单位05 51-04 51号05 PDF格式BibTeX公司 XML格式引用 \textit{H.Schumann},Schulgeometrie im virtuellen Handlungsraum。Ein Lehr-und Lernbuch der interaktiven Raumgeometrie mit Cabri 3D auf CD。希尔德斯海姆:弗兰茨贝克(2007;Zbl 1162.00008)
拉斐尔·洛萨达·李斯特 GeoGebra公司:直觉的效率。(GeoGebra:la eficiencia de la intuición) (西班牙语) Zbl 1227.00026号 盖克。R.Soc.材料Esp。 第10期,第1期,第223-239页(2007年).MSC公司:00A35型 51-04 37-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Losada Liste},乔治亚州。R.Soc.Mat.Esp.10,No.1,223--239(2007;Zbl 1227.00026) 全文: 欧洲DML
菲利普·托德 几何表达式:基于约束的交互式符号几何系统。 (英语) Zbl 1195.68116号 Botana,Francisco(编辑)等人,《几何中的自动演绎》。2006年8月31日至9月2日在西班牙蓬特韦德拉举行的ADG 2006第六届国际研讨会。修订论文。柏林:施普林格出版社(ISBN 978-3-540-77355-9/pbk)。计算机科学课堂讲稿4869。人工智能课堂讲稿,189-202(2007)。MSC公司:68瓦30 51-04 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{P.Todd},莱克特。注释计算。科学。4869,189--202(2007;Zbl 1195.68116) 全文: 内政部
朱利安·纳布克斯 塔斯基几何中的机械定理证明。 (英语) 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格式引用 \textit{J.Narboux},莱克特。注释计算。科学。4869、139--156(2007;Zbl 1195.03019) 全文: 内政部 链接
安东尼奥·蒙特斯;雷西奥,托马斯 使用最小正则综合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格式引用 \textit{A.Montes}和\textit{T.Recio},莱克特。注释计算。科学。4869、113--138(2007年;Zbl 1195.68093) 全文: 内政部 arXiv公司
贾尼契奇,普雷德拉格;佩德罗·夸雷斯马 动态几何系统中规则构造的自动验证。 (英语) 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格式引用 \textit{P.Janić}和\textit{P.Quaresma},莱克托。注释计算。科学。4869,39-51(2007;Zbl 1195.68092) 全文: 内政部
陈晓宇;王东明 面向电子几何教科书。 (英语) 兹比尔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格式引用 \textit{X.Chen}和\textit{D.Wang},Lect。注释计算。科学。4869,1--23(2007;Zbl 1195.68091) 全文: 内政部
康贤德;Jo,Kang Hyun 使用从双曲面投影确定非垂直线来重建三维空间中的矩形平面。 (英语) 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格式引用 \textit{H.-D.Kang}和\textit{K.-H.Jo},Lect。票据控制信息科学。3451030--1035(2006年;Zbl 1202.94044) 全文: 内政部
贾尼契奇,普雷德拉格 GCLC–一个用于构造欧几里德几何的工具。 (英语) Zbl 1230.51024号 Iglesias、Andrés(编辑)等人,《数学软件——ICMS 2006》。第二届数学软件国际会议,卡斯特罗·乌迪亚莱斯,西班牙,2006年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-38084-9/pbk)。计算机科学讲义415158-73(2006)。MSC公司:2015年11月51日 51-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Janić},莱克特。注释计算。科学。4151,58-73(2006年;兹比尔1230.51024) 全文: 内政部
Günter Wallner 实时阴影的几何体。 (英语) Zbl 1124.51013号 KoG公司 10, 37-45 (2006).MSC公司:2015年11月51日 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{G.Wallner},KoG 10,37-45(2006;Zbl 1124.51013)
瓦姆西·克里希纳·昆德蒂;普罗森吉特·古普塔 超大规模集成电路布局分析中一些多边形包围问题的优化算法。 (英语) Zbl 1104.68844号 数学杂志。模型。算法 5,第3期,259-271(2006).MSC公司:68瓦99 51-04 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{V.K.Kundeti}和\textit{P.Gupta},J.Math。模型。算法5,No.3,259--271(2006;Zbl 1104.68844) 全文: 内政部
芭芭拉·雷诺兹(Barbara E.Reynolds)。;威廉·芬顿(William E.Fenton)。 使用几何画板的大学几何。 (英语) Zbl 1118.00005号 加利福尼亚州埃默里维尔:Key College Publishing(ISBN 978-1-931914-54-3/pbk)。xx,300页。(2006年)。MSC公司:00A35型 97U60型 51-04 PDF格式BibTeX公司 XML格式引用 \textit{B.E.Reynolds}和\textit{W.E.Fenton},使用几何画板的大学几何。加利福尼亚州埃默里维尔:Key College Publishing(2006;Zbl 1118.00005)
Leonard H.Soicher。 有麦克劳林几何吗? (英语) Zbl 1103.51009号 J.代数 300,第1期,248-255(2006). 审核人:拉尔夫·格拉姆里奇(达姆施塔特) MSC公司:第51页第26页 20D08年 51-04 05B25号 05B30型 PDF格式BibTeX公司 XML格式引用 \textit{L.H.Soicher},《代数300》,第1期,248-255(2006年;Zbl 1103.51009) 全文: 内政部
村上春树,Jun;Masakazu Yano 关于双曲球面四面体的体积。 (英语) Zbl 1084.51009号 Commun公司。分析。地理。 13,第2期,379-400(2005). 审核人:维克多·V·潘布西安(凤凰城) MSC公司:51米25 51M10个 51米20 51-04 52A38型 33天80 PDF格式BibTeX公司 XML格式引用 \textit{J.村上春树}和\textit{M.亚诺},Commun。分析。地理。13,第2号,379--400(2005;Zbl 1084.51009) 全文: 内政部 欧几里得
卡罗琳娜·内瓦拉 CAD/CAGD系统的开始。 (捷克语) Zbl 1274.01047号 Bečvář,Jind \345,ich(编辑)等人,Matematika v proměnách v \283,ků。三、 布拉格:V满zkumnéCentrum pro Dଖjiny Vdy(ISBN 80-7285-040-7)。Dějiny Matematiky/数学史24,117-131(2004)。 审核人:Magdalena Hykšová(普拉哈) MSC公司:01A60型 51-04 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{K.Nevrlá},收录于:Matematika v promଖnách v滟Ků。三、 布拉格:VízkumnéCentrum pro Dějiny V \283]dy。117-131(2004年;Zbl 1274.01047) 全文: 链接
安娜·福里尼;毛里齐奥·保利尼 我们能信任交互式几何软件吗? (意大利语) Zbl 1177.00056号 里科丹多·弗朗科·孔蒂(Ricordando Franco Conti)。比萨:Scuola Normale Superiore(ISBN 88-7642-137-8/pbk)。《马特马蒂卡·恩尼奥·德·乔治中心》,181-193年(2004年)。MSC公司:00A35型 51-04 97单位50 97 u80 PDF格式BibTeX公司 XML格式引用 \textit{A.Forlini}和\textit{M.Paolini},收录于:里科丹多·弗朗科·孔蒂。比萨:Scuola Normale Superiore。181-193(2004年;Zbl 1177.00056)
T·雷西奥。;博塔纳,F。 真理所在(初等几何中的自动定理证明)。 (英语) 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格式引用 \textit{T.Recio}和\textit{F.Botana},莱克特。注释计算。科学。3044761--770(2004;Zbl 1127.68428) 全文: 内政部
朱利安·纳布 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格式引用 \textit{J.Narboux},莱克特。注释计算。科学。3223225-240(2004年;Zbl 1099.68734) 全文: 内政部
埃米尔·莫尔纳尔 在零几何体上。 (英语) Zbl 1084.53044号 期间。理工大学。,机械。工程师。 47,编号1-2,41-49(2003).MSC公司:53立方30 51-04 14号05 22E10型 PDF格式BibTeX公司 XML格式引用 \textit{E.Molnár},句号。理工大学。,机械。Eng.47,No.1--2,41-49(2003;Zbl 1084.53044)
李大发 使用标准器ANDP简化正交性。 (英语) Zbl 1034.03010号 Ann.纯粹应用。逻辑 124,编号1-3,49-70(2003).MSC公司:03B35型 65楼03号 68吨15 51A05号 51甲15 51层20 51-04 PDF格式BibTeX公司 XML格式引用 \textit{D.Li},Ann.纯苹果。逻辑124,编号1--3,49-70(2003;Zbl 1034.03010) 全文: 内政部
斯科沃尔佐夫。 Delaunay超大型三角网的构建。 (英语。俄文原件) Zbl 1063.51500号 俄罗斯物理。J。 45,第6期,558-561(2002); Izv的翻译。维什。Uchebn。扎维德。,菲兹。45,第6期,22-25(2002年)。MSC公司:51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Skvortsov},俄罗斯物理。J.45,No.6,558--561(2002;Zbl 1063.51500);Izv的翻译。维什。Uchebn。扎维德。,菲兹。第45期,第6期,第22--25期(2002年) 全文: 内政部
斯科沃尔佐夫。;于克斯特尤克。L。 三角剖分节点坐标的压缩。 (英语。俄文原件) 兹比尔1063.51501 俄罗斯物理。J。 45,第5期,472-474(2002); Izv的翻译。维什。Uchebn。扎维德。,菲兹。45,第5期,39-42(2002年)。MSC公司:51-04 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Skvortsov}和\textit{Yu.L.Kostyuk},俄罗斯物理。J.45,第5472-474号(2002年;Zbl 1063.51501);Izv的翻译。维什。Uchebn。扎维德。,菲兹。第45期,第5期,第39-42期(2002年) 全文: 内政部
Karsten E.汤普森。 周期域中快速稳健的Delaunay细分。 (英语) Zbl 1017.65011号 国际期刊数字。方法工程。 55,第11号,1345-1366(2002).MSC公司:65D18天 51-04 65牛顿50 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{K.E.Thompson},国际数字杂志。方法工程55,No.11,1345--1366(2002;Zbl 1017.65011) 全文: 内政部
彼得·施赖伯 广义画法几何。 (英语) Zbl 1009.51013号 《几何杂志》。图表。 6,第1期,37-59(2002).MSC公司:51号05 51-04 PDF格式BibTeX公司 XML格式引用 \textit{P.Schreiber},J.Geom(杰姆)。图表。6,第1号,37-59(2002;Zbl 1009.51013)
伊利亚·克内泽维奇;拉德米拉·萨兹丹诺维奇;斯尔詹·武克米洛维奇 洛巴切夫斯基平面的可视化。 (英语) Zbl 0994.51002号 视觉。数学。 4,编号1,无页码。(2002).MSC公司:51-04 2009年5月5日 68单位05 68单位07 PDF格式BibTeX公司 XML格式引用 \textit{I.Knezevic}等人,见。数学。4,1号,html文档(2002;Zbl 0994.51002) 全文: 链接
库尔特·恩德尔;罗伯特·恩德尔 几何软件。 (英语) Zbl 0994.51001号 视觉。数学。 4,编号1,无页码。(2002).MSC公司:51-04 PDF格式BibTeX公司 XML格式引用 \textit{K.Endl}和\textit{R.Endl}。数学。4,第1号,html文件(2002年;Zbl 0994.51001) 全文: 链接
朱利奥·马查多。;公证人,Márcia R。;西蒙·科斯塔(Simone A.Costa)。;蒂亚拉朱·迪瓦里奥。;P.Blauth,梅内泽斯 应用于几何演示环境的超自动系统。 (英语) 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格式引用 \textit{J.P.Machado}等人,Lect。注释计算。科学。2178457--468(2001年;Zbl 1023.68653) 全文: 链接
几何画板。用于探索数学的动态几何软件。版本4。单用户版(Windows/Macintosh)。第2版。 (英语) Zbl 1025.00002号 埃默里维尔:关键课程出版社。附有学习指南的光盘(2001年)。 审核人:E.Quaisser(波茨坦) MSC公司:00A35型 97C80型 97U70型 51-04 PDF格式BibTeX公司 XML格式引用 几何画板。用于探索数学的动态几何软件。版本4。单用户版(Windows/Macintosh)。第二版埃默里维尔:关键课程出版社(2001;Zbl 1025.00002)
理查德·马尔坎德;夏博诺-勒福特,马蒂厄;马修·达姆贝里;本诺伊特·普罗诺沃斯特 ARANEA是一个使用JAVA图形用户界面生成非结构化三角形网格的程序。 (英语) Zbl 0986.65012号 计算。物理学。Commun公司。 139,第2期,172-185(2001).MSC公司:65D18天 65牛顿50 51-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Marchand}等人,计算。物理学。Commun公司。139,第2号,172--185(2001;Zbl 0986.65012) 全文: 内政部
艾伯特,G.L。 使用计算机代数系统的有限几何构造。 (英语) Zbl 0984.51002号 J.塞姆。计算。 31,编号1-2,55-70(2001). 审核人:诺伯特·克纳尔(布伦瑞克) MSC公司:51E20型 51-04 PDF格式BibTeX公司 XML格式引用 \textit{G.L.Ebert},J.Symb。计算。31,编号1--2,55-70(2001;Zbl 0984.51002) 全文: 内政部
伯托尔德·舒帕 三个外接圆–使用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). 审核人:约翰·朗(格拉茨) MSC公司:51-04 2004年5月5日 00A35型 PDF格式BibTeX公司 XML格式引用 \textit{B.Schuppar},收录于:Mathematikdidaktik aus Begeisterung für die Mathematak。费斯特施里夫·哈拉尔德·谢德(Festschrift für Harald Scheid)。斯图加特:Klett Verlag。238--248(2000;Zbl 1016.51001)
亚历山德鲁·霍瓦思 利用Gröbner基理论证明几何定理。 (英语) Zbl 1002.51002号 布尔。Ș提因ț。Baia Mare大学,Ser。B、 法斯科。材料-通知。 16,第1期,49-58(2000).MSC公司:51-04 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{A.Horváth},布尔。Ș提因ț。Baia Mare大学,Ser。B、 法斯科。材料-通知。16,第1号,49-58(2000;Zbl 1002.51002)
几何画板。动态几何软件。学生版。 (英语) Zbl 1079.00012号 埃默里维尔:关键课程出版社(ISBN 1-55953-245-9)。带学习指南的Windows/Macintosh光盘。(2000).MSC公司:00A35型 97C80型 97U70型 51-04 PDF格式BibTeX公司 XML格式引用 几何画板。动态几何软件。学生版。埃默里维尔:关键课程出版社(2000;Zbl 1079.00012)
唐纳德·沃斯勒。 用Mathematica探索解析几何。 (英语) Zbl 0976.51001号 佛罗里达州奥兰多:学术出版社。xviii,865页,附CD-ROM(2000年)。 审核人:Heinz Dalkowski(柏林) MSC公司:51-01 51N20号 51-04 68单位05 2004年5月5日 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Vossler},用Mathematica探索解析几何。佛罗里达州奥兰多:学术出版社(2000;Zbl 0976.51001)