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

Automated Deduction in Geometry最新文献

筛选
英文 中文
Equation Systems with Free-Coordinates Determinants 具有自由坐标行列式的方程组
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_5
P. Mathis, P. Schreck
{"title":"Equation Systems with Free-Coordinates Determinants","authors":"P. Mathis, P. Schreck","doi":"10.1007/978-3-642-40672-0_5","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_5","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"126 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129691965","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
Proof and Computation in Geometry 几何学中的证明与计算
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_1
M. Beeson
{"title":"Proof and Computation in Geometry","authors":"M. Beeson","doi":"10.1007/978-3-642-40672-0_1","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_1","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"197 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123005807","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
Rigidity of Origami Universal Molecules 折纸通用分子的刚性
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_9
J. Bowers, I. Streinu
{"title":"Rigidity of Origami Universal Molecules","authors":"J. Bowers, I. Streinu","doi":"10.1007/978-3-642-40672-0_9","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_9","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114145528","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}
引用次数: 3
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs 为了更有效的自动证明和更短的证明，公理化系统的预处理
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_12
S. Stojanovic
{"title":"Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs","authors":"S. Stojanovic","doi":"10.1007/978-3-642-40672-0_12","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_12","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126737975","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}
引用次数: 1
Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization 用c1分段重参数化改进角速度均匀性
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_3
J. Yang, Dongming Wang, H. Hong
{"title":"Improving Angular Speed Uniformity by C 1 Piecewise Reparameterization","authors":"J. Yang, Dongming Wang, H. Hong","doi":"10.1007/978-3-642-40672-0_3","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_3","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134102492","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
Extending the Descartes Circle Theorem for Steiner n-Cycles 斯坦纳n圈的笛卡儿圆定理推广
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_4
Shuichi Moritsugu
{"title":"Extending the Descartes Circle Theorem for Steiner n-Cycles","authors":"Shuichi Moritsugu","doi":"10.1007/978-3-642-40672-0_4","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_4","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123920441","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
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management 几何自动化-定理证明，图表生成和知识管理
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_2
Dongming Wang
{"title":"Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management","authors":"Dongming Wang","doi":"10.1007/978-3-642-40672-0_2","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_2","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132893892","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
Algebraic Analysis of Huzita's Origami Operations and Their Extensions Huzita折纸运算及其扩展的代数分析
Automated Deduction in Geometry Pub Date : 2012-09-17 DOI: 10.1007/978-3-642-40672-0_10
Fadoua Ghourabi, Asem Kasem, C. Kaliszyk
{"title":"Algebraic Analysis of Huzita's Origami Operations and Their Extensions","authors":"Fadoua Ghourabi, Asem Kasem, C. Kaliszyk","doi":"10.1007/978-3-642-40672-0_10","DOIUrl":"https://doi.org/10.1007/978-3-642-40672-0_10","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129330813","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}
引用次数: 14
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs 一个基于连贯逻辑的几何定理证明器，能够生成形式化和可读的证明
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_12
S. Stojanovic, V. Pavlovic, Predrag Janičić
{"title":"A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs","authors":"S. Stojanovic, V. Pavlovic, Predrag Janičić","doi":"10.1007/978-3-642-25070-5_12","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_12","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"7 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":"131400631","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}
引用次数: 31
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) 几何定理证明者的数千个几何问题(TGTP)
Automated Deduction in Geometry Pub Date : 2010-07-22 DOI: 10.1007/978-3-642-25070-5_10
P. Quaresma
{"title":"Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)","authors":"P. Quaresma","doi":"10.1007/978-3-642-25070-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-25070-5_10","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"16 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":"130458959","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}
引用次数: 33
首页 上一页 下一页 尾页
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学术官方微信