×
Janičić，普雷德拉格

几何构造语言。 （英语） 兹比尔1185.68626

J.汽车。推理 44，编号1-2，3-24（2010）.
摘要：几何构造语言（gcl）是一种用于显式描述欧几里德平面上的构造及其属性的语言。其他数学对象也可以用语言描述。gcl语言直观而简单，但它支持数组、流控制结构、用户定义的过程等。gcl语言的处理器应用程序gclc和Wingclc能够可视化描述的对象并生成数学插图，提供不同的语义信息并支持自动证明构造对象的属性。这些功能使工具gclc和Wingclc强大的机械化几何系统，在全球拥有数千名用户。

引用于13文件

MSC公司：

68吨15 定理证明（演绎、解析等）（MSC2010）
2004年5月5日 欧几里德几何中的基本问题
68甲15 编程语言理论

关键词：

几何结构；动态几何软件；几何定理的自动证明

软件：

日本国债交易所；地理视图；乳胶；MMP/几何仪；网络发现；GEX公司；TeX公司；地理1.1；GeoThms公司；地理证明；GCL校准仪；GCLC公司；枣灰蝶属；GeoGebra公司；gcl公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Janić}，J.Autom。推理44，No.1--2，3--24（2010；Zbl 1185.68626）
全文： 内政部

参考文献：

[1] Bertot，Y.，Guilhot，F.，Pottier，L.：用geoview可视化几何陈述。电子。注释Theor。计算。科学。103, 49–65 (2004) ·doi:10.1016/j.entcs.2004.09.013
[2] Bezem，M.，Coquand，T.：自动化连贯逻辑。摘自：Sutcliffe，G.，Voronkov，A.（编辑）第十二届国际编程、人工智能和推理逻辑会议——LPAR 2005。计算机科学讲义，第3835卷。柏林施普林格出版社（2005）·Zbl 1143.03332号
[3] Botana，F.：基于网络的几何发现智能系统。参加：国际计算科学会议。计算机科学课堂讲稿，第2657卷，第801-810页。柏林施普林格出版社（2003）·Zbl 1033.68596号
[4] Botana，F.：动态几何中的格式交换。In:Intergeo-España研讨会（2007年）
[5] Botana，F.，Recio，T.：通过符号方法解决动态几何瓶颈。In：几何中的自动演绎。计算机科学课堂讲稿，第3763卷，第92-110页。柏林施普林格出版社（2006）·Zbl 1159.68549号
[6] Botana，F.，Valcarce，J.：几何定理发现的动态符号界面。计算。教育。38，21-35（2002年）·doi:10.1016/S0360-1315（01）00089-6
[7] Chou，C.C.，Gao，X.S.，Zhang，J.Z.：构造几何定理的传统证明的自动生成。参加：第八届IEEE计算机科学逻辑年会（1993年）
[8] Chou，S.C.，Gao，X.S.，Zhang，J.Z:几何中的机器校对。《世界科学》，新加坡（1994年）
[9] Chou，S.C.，Gao，X.S.，Zhang，J.Z.：几何专家简介。作者：McRobbie，M.A.，Slaney，J.K.（编辑）CADE 13。人工智能课堂讲稿，第1104卷。施普林格，柏林（1996）
[10] Djorić，M.，Janičić，P.：结构、指令、互动。教。数学。申请。23(2), 69–88 (2004)
[11] 卢契奇，Z等：欧几里德的元素。在线时间：http://www.matf.bg.ac.rs/\（\sim\）zlucic/（2009）
[12] Buchberger，B.等人：理论：面向计算机辅助数学理论探索。J.应用。逻辑4359–652（2006）·Zbl 1107.68095号 ·doi:10.1016/j.jal.2005.10.006
[13] Fisher，J.，Bezem，M.：斯科利姆机器和几何逻辑。摘自：Jones，C.B.，Liu，Z.，Woodcock，J.（编辑）第四届国际计算理论研讨会–ICTAC 2007。计算机科学讲义，第4711卷。柏林施普林格出版社（2007）·Zbl 1147.68696号
[14] Gao，X.S.，Lin，Q.：Mmp/geometer是一个用于自动几何推理的软件包。In:Winkler，F.（编辑）《几何中的自动演绎：第四届国际研讨会》（ADG 2002）。计算机科学课堂讲稿，第2930卷，第44-66页。施普林格，柏林（2004）·Zbl 1202.68378号
[15] Hohenwarter，M.，Fuchs，K.：软件系统GeoGebra中动态几何、代数和微积分的组合。In:计算机代数系统和动态几何系统在数学教学会议上的会议记录（2004）
[16] Janićić，P.：GCLC——一种用于构造欧几里德几何的工具，甚至更多。收录于：Takayama，N.、Iglesias，A.、Gutierrez，J.（编辑）《国际数学软件大会论文集》（ICMS 2006）。计算机科学课堂讲稿，第4151卷，第58-73页。柏林施普林格出版社（2006）·Zbl 1230.51024号
[17] Janićić，P.，Quaresma，P.：系统描述：Gclcprover+GeoThms。收录：Furbach，U.，Shankar，N.（编辑）国际自动推理联合会议（IJCAR-2006）。《人工智能课堂讲稿》，第4130卷，第145-150页。柏林施普林格出版社（2006）
[18] Janićić，P.：Zbirka zadataka iz geometrije。《斯科里塔国际》，贝尔格莱德，1997年第1版，2005年第6版。几何问题集（塞尔维亚语）
[19] Janićić，P.，Quaresma，P.：动态几何系统中规则结构的自动验证。收录：Botana，F.，Recio，T.（编辑）《几何中的自动演绎》。《人工智能讲义》，第4869卷，第39-51页。柏林施普林格出版社（2007）·Zbl 1195.68092号
[20] Janićić，P.，Trajković，i.：WinGCLC–正式描述图形的工作台。载：《第18届春季计算机图形学大会论文集》（SCCG 2003），第251–256页。布德默里，斯洛伐克，ACM，纽约（2003年）
[21] Knuth，D.：TeXBook。Addison Wesley Professional，雷丁（1986）
[22] Kortenkamp，U.，Richter-Gebert，J.：使用自动定理证明来提高几何软件的可用性。参加：数学用户界面研讨会（2004年）
[23] LaTeX：文件编制系统。Addison Wesley Professional，阅读（1994）·Zbl 0824.68121号
[24] Liang，T.，Wang，D.：走向几何面向对象的语言。In:Hong，H.，Wang，D.（编辑）《几何中的自动演绎》。计算机科学课堂讲稿，第3763卷，第130-155页。柏林施普林格出版社（2006）·Zbl 1159.68554号
[25] Liang，T.，Wang，D.：关于几何面向对象语言的设计和实现。前面。计算。科学。中国1（2），180–190（2007）·数字对象标识代码：10.1007/s11704-007-0018-z
[26] Matsuda，N.，Vanlehn，K.：Gramy：一个能够构建的几何定理证明器。J.汽车。原因。32, 3–33 (2004) ·Zbl 02081543号 ·doi:10.1023/B:JARS.0000021960.39761.b7
[27] Narboux，J.：几何形式证明的图形用户界面。J.汽车。原因。39(2), 161–180 (2007) ·Zbl 1131.68094号 ·doi:10.1007/s10817-007-9071-4
[28] Narboux，J.：Georoof，几何学正式证明的用户界面。In:数学用户界面研讨会（2007）·Zbl 1131.68094号
[29] Predović，G.：基于Wu和Buchberger方法的自动几何定理证明。贝尔格莱德大学数学系硕士论文，导师：Predrag Janić（2008）
[30] Quaresma，P.，Janić，P.：集成动态几何软件、演绎系统和定理库。收录：Borwein，J.M.，Farmer，W.M.（编辑）《数学知识管理》（MKM-2006）。《人工智能课堂讲稿》，第4108卷，第280-294页。柏林施普林格出版社（2006）·Zbl 1188.68264号
[31] Quaresma，P.，Janičić，P.：几何——欧几里德构造几何学的网络系统。电子。注释Theor。计算。科学。174(2), 35–48 (2007) ·doi:10.1016/j.entcs.2006.09.020
[32] Quaresma，P.，Janić，P.：构造几何学框架。科英布拉大学信息与系统中心技术报告TR2006/001（2006）
[33] Quaresma，P.，Janičić，P.，Tomašević，J.，Vujošević-Janičić，M.，Tošić，D.：基于XML的几何格式——基于XML的几何构造和几何证明描述格式。收录于：Borwein，J.M.、Rocha，E.M.、罗德里格斯，J.F.（编辑）《数字时代的传播数学》，第183-197页。A K Peters，Wellesley（2008）
[34] Wang，D.：Geother 1.1：自动处理和证明几何定理。In：几何中的自动演绎。《人工智能课堂讲稿》，第2930卷，第194-215页。施普林格，柏林（2004）·Zbl 1202.68390号
[35] Wilson，S.、Fleuriot，J.：结合动态几何、自动几何定理证明和图解证明。In:定理证明者用户界面研讨会（UITP）（2005年）
[36] Ye，Z.，Chou，S.-C.，Gao，X.S.：java几何专家简介。In：几何自动扣除（2008）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。