冈崎弘之 关于向量集正交化的Gram-Schmidt过程的形式化。 (英语) Zbl 07771368号 福尔马利兹。数学。 31,编号1,53-57(2023).MSC公司:68V20型 65层25 94A11号机组 97小时60 PDF格式BibTeX公司 XML格式引用 \textit{H.Okazaki},福尔马利兹。数学。31,编号1,53-57(2023;Zbl 07771368) 全文: 内政部 OA许可证
罗恩·洛扎诺,尤金尼奥;Solano Macías,卡门 关于动态几何系统的成功与书目影响的思考GeoGebra公司. (英语) Zbl 07702681号 数学。计算。科学。 17,第2号,第11号文件,第14页(2023).MSC公司:68瓦30 97页40页 97页70 68甲15 68层35 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}和\textit{C.Solano-Macías},数学。计算。科学。17,第2号,第11号论文,第14页(2023;Zbl 07702681) 全文: 内政部
罗恩·洛扎诺,尤金尼奥 我可以带计算器去考试吗?关于计算机代数系统抽象层的一些思考。 (英语) 兹比尔07700013 数学。计算。科学。 17,第1期,第1号论文,第11页(2023年).MSC公司:68瓦30 97页40页 97页70 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano},数学。计算。科学。17,第1期,第1号论文,第11页(2023年;Zbl 07700013) 全文: 内政部
克里斯托弗·布朗(Christopher W.Brown)。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹,M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗? (英语) Zbl 07700011号 数学。计算。科学。 16,第4号,第31号论文,第14页(2022年).MSC公司:97G40型 14时50分 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) 全文: 内政部
弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥 机械几何师。 (英语) Zbl 07465794号 数学。计算。科学。 15,第4期,631-641(2021).MSC公司:97G40型 14时50分 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,数学。计算。科学。15,第4号,631--641(2021;Zbl 07465794) 全文: 内政部
艾伦·J·凯恩。 直观思维和简单的证明。 (英语) 兹比尔1433.00032 菲洛斯。事务处理。英国皇家学会。,A、 数学。物理。工程科学。 377,No.2140,文章ID 20180032,13 p.(2019).MSC公司:00A35型 97E50型 PDF格式BibTeX公司 XML格式引用 \文本{A.J.Cain},Philos。事务处理。英国皇家学会。,A、 数学。物理。工程科学。377,第2140号,文章ID 20180032,13 p.(2019;Zbl 1433.00032) 全文: 内政部 arXiv公司 链接
布拉泽克、吉ří;帕维尔·佩奇 动态几何环境中的轨迹计算。 (英语) Zbl 1474.97015号 数学。计算。科学。 13、第1-2、31-40号(2019年).MSC公司:97G40型 14时50分 05年6月 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{J.Blaíek}和\textit{P.Pech},数学。计算。科学。13,编号1--2,31-40(2019;Zbl 1474.97015) 全文: 内政部
佩德罗·夸雷斯马 走向一本智能的、动态的几何书。 (英语) Zbl 1425.97002号 数学。计算。科学。 11,编号3-4,427-437(2017).MSC公司:97单位50 68T05型 68吨15 68立方英尺 97G10型 PDF格式BibTeX公司 XML格式引用 \textit{P.Quaresma},数学。计算。科学。11,编号3--4,427--437(2017;Zbl 1425.97002) 全文: 内政部
米盖尔·阿巴纳德斯;弗朗西斯科·博塔纳;佐尔坦科瓦奇;托马斯·雷西奥;塞拉州索利姆-盖塞 朝向GeoGebra中定理的自动发现。 (英语) Zbl 1434.68636号 Greuel,Gert-Martin(编辑)等人,《数学软件——ICMS 2016》。第五届国际会议,德国柏林,2016年7月11日至14日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9725, 37-42 (2016).MSC公司:68伏15 2004年5月5日 68瓦30 97Gxx型 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abánades}等人,Lect。注释计算。科学。9725,37-42(2016年;兹比尔1434.68636) 全文: 内政部
松崎隆彦;伊瓦内、希德诺;Munehiro小林;詹益阳;藤崎隆彦;朱玛·库多;阿奈、平子;Noriko H.Arai。 与青少年赛跑——对大学前问题的机械化数学进行基准测试。 (英语) Zbl 1475.68459号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9706, 213-227 (2016).MSC公司:68伏35 68T50型 68V20型 68瓦30 97单位40 PDF格式BibTeX公司 XML格式引用 \textit{T.松崎}等人,Lect。注释计算。科学。9706213--227(2016;Zbl 1475.68459) 全文: 内政部
邵长鹏;李洪波;黄磊 用立体几何中的奥数问题挑战定理证明器。 (英语) 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) 全文: 内政部
弗朗西斯科·博塔纳;马库斯·霍恩瓦特;贾尼契奇,普雷德拉格;佐尔坦科瓦奇;伊万·彼得罗维奇;托马斯·雷西奥;西蒙·魏茨霍弗 GeoGebra中的自动定理证明:目前的成就。 (英语) Zbl 1356.68181号 J.汽车。推理 55,第1号,39-59(2015).MSC公司:68吨15 97克xx 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{F.Botana}等人,J.Autom。推理55,No.1,39-59(2015;Zbl 1356.68181) 全文: 内政部 链接
佐尔坦科瓦奇 GeoGebra 5中的关系工具。 (英语) Zbl 1434.97015号 Botana,Francisco(编辑)等人,《几何中的自动演绎》。2014年7月9日至11日,第十届国际研讨会,ADG 2014,葡萄牙科英布拉。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。9201, 53-71 (2015).MSC公司:97U70型 97G10型 68伏15 68瓦30 97N80型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Kovács},莱克特。注释计算。科学。9201,53--71(2015;Zbl 1434.97015) 全文: 内政部
托比亚斯·尼普科 与校对助理教授语义:不再需要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格式引用 \textit{T.Nipkow},莱克特。注释计算。科学。7148,24-38(2012;Zbl 1325.68005) 全文: 内政部
回来了,拉尔夫·约翰 结构化推导:数学教学的统一证明方式。 (英语) Zbl 1217.03043号 正式Asp。计算。 22,第5期,629-661(2010).MSC公司:03财年03 00A35型 03B35型 97E40型 97E50型 PDF格式BibTeX公司 XML格式引用 \textit{R.-J.后退},正式Asp。计算。22,第5号,629--661(2010;Zbl 1217.03043) 全文: 内政部 哈尔