发布求助
文献互助 智能选刊 最新文献

Automated Deduction in Geometry最新文献

筛选
英文 中文
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry 一些引理，希望能使搜索方法找到简短且易读的射影几何关联定理的证明
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_7
D. Michelucci
{"title":"Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry","authors":"D. Michelucci","doi":"10.1007/978-3-642-25070-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_7","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"183 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134305213","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time 闲时证明发现对希尔伯特隐式推理的研究
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_11
P. Scott, Jacques D. Fleuriot
{"title":"An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time","authors":"P. Scott, Jacques D. Fleuriot","doi":"10.1007/978-3-642-25070-5_11","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_11","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116308275","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 13
Proof Documents for Automated Origami Theorem Proving 自动折纸定理证明的证明文件
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_5
Fadoua Ghourabi, T. Ida, Asem Kasem
{"title":"Proof Documents for Automated Origami Theorem Proving","authors":"Fadoua Ghourabi, T. Ida, Asem Kasem","doi":"10.1007/978-3-642-25070-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_5","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122189187","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System 基于Gröbner的平面轨迹自动计算与动态几何系统集成
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_4
Michael Gerhäuser, A. Wassermann
{"title":"Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System","authors":"Michael Gerhäuser, A. Wassermann","doi":"10.1007/978-3-642-25070-5_4","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_4","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115301963","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method 用质量点法自动生成可读的构造几何陈述证明
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_13
Yu Zou, Jingzhong Zhang
{"title":"Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method","authors":"Yu Zou, Jingzhong Zhang","doi":"10.1007/978-3-642-25070-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_13","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122321883","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Cancellation Patterns in Automatic Geometric Theorem Proving 自动几何定理证明中的消去模式
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_1
Susanne Apel, Jürgen Richter-Gebert
{"title":"Cancellation Patterns in Automatic Geometric Theorem Proving","authors":"Susanne Apel, Jürgen Richter-Gebert","doi":"10.1007/978-3-642-25070-5_1","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_1","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121783807","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The Midpoint Locus of a Triangle in a Corner 三角形在角上的中点轨迹
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_6
Daniel Lichtblau
{"title":"The Midpoint Locus of a Triangle in a Corner","authors":"Daniel Lichtblau","doi":"10.1007/978-3-642-25070-5_6","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_6","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131007905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
On One Method of Proving Inequalities in Automated Way 用自动化方法证明不等式的一种方法
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_9
P. Pech
{"title":"On One Method of Proving Inequalities in Automated Way","authors":"P. Pech","doi":"10.1007/978-3-642-25070-5_9","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_9","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125665120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
What Is a Line ? 什么是线?
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_8
D. Michelucci
{"title":"What Is a Line ?","authors":"D. Michelucci","doi":"10.1007/978-3-642-25070-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_8","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123172628","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry COQ中Grassmann-Cayley代数的形式化及其在射影几何定理证明中的应用
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_3
Laurent Fuchs, L. Théry
{"title":"A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry","authors":"Laurent Fuchs, L. Théry","doi":"10.1007/978-3-642-25070-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_3","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"14 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126520887","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信