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

Automated Deduction in Geometry最新文献

筛选
英文 中文
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems 使用最小规范综合Gröbner系统自动发现几何定理
Automated Deduction in Geometry Pub Date : 2006-08-31 DOI: 10.1007/978-3-540-77356-6_8
A. Montes, T. Recio
{"title":"Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems","authors":"A. Montes, T. Recio","doi":"10.1007/978-3-540-77356-6_8","DOIUrl":"https://doi.org/10.1007/978-3-540-77356-6_8","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133130106","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}
引用次数: 42
Equidecomposable Quadratic Regions 等可分二次域
Automated Deduction in Geometry Pub Date : 2006-08-31 DOI: 10.1007/978-3-540-77356-6_2
T. Hales
{"title":"Equidecomposable Quadratic Regions","authors":"T. Hales","doi":"10.1007/978-3-540-77356-6_2","DOIUrl":"https://doi.org/10.1007/978-3-540-77356-6_2","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130054227","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
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System 几何表达式:一个基于约束的交互式符号几何系统
Automated Deduction in Geometry Pub Date : 2006-08-31 DOI: 10.1007/978-3-540-77356-6_12
P. Todd
{"title":"Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System","authors":"P. Todd","doi":"10.1007/978-3-540-77356-6_12","DOIUrl":"https://doi.org/10.1007/978-3-540-77356-6_12","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132095660","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
Cylinders Through Five Points: Complex and Real Enumerative Geometry 圆柱通过五点:复数和实枚举几何
Automated Deduction in Geometry Pub Date : 2006-08-31 DOI: 10.1007/978-3-540-77356-6_6
Daniel Lichtblau
{"title":"Cylinders Through Five Points: Complex and Real Enumerative Geometry","authors":"Daniel Lichtblau","doi":"10.1007/978-3-540-77356-6_6","DOIUrl":"https://doi.org/10.1007/978-3-540-77356-6_6","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124317223","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
Towards an Electronic Geometry Textbook 迈向电子几何教科书
Automated Deduction in Geometry Pub Date : 2006-08-31 DOI: 10.1007/978-3-540-77356-6_1
Xiaoyu Chen, Dongming Wang
{"title":"Towards an Electronic Geometry Textbook","authors":"Xiaoyu Chen, Dongming Wang","doi":"10.1007/978-3-540-77356-6_1","DOIUrl":"https://doi.org/10.1007/978-3-540-77356-6_1","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"925 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-08-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133215800","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
Towards a Geometric-Object-Oriented Language 面向几何的面向对象语言
Automated Deduction in Geometry Pub Date : 2004-09-16 DOI: 10.1007/11615798_9
Tielin Liang, Dongming Wang
{"title":"Towards a Geometric-Object-Oriented Language","authors":"Tielin Liang, Dongming Wang","doi":"10.1007/11615798_9","DOIUrl":"https://doi.org/10.1007/11615798_9","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116686475","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}
引用次数: 9
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides 由边长给出循环多边形的面积和半径的计算
Automated Deduction in Geometry Pub Date : 2004-09-16 DOI: 10.1007/11615798_4
P. Pech
{"title":"Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides","authors":"P. Pech","doi":"10.1007/11615798_4","DOIUrl":"https://doi.org/10.1007/11615798_4","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"57 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120849953","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}
引用次数: 11
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach 用符号方法求解动态几何瓶颈
Automated Deduction in Geometry Pub Date : 2004-09-16 DOI: 10.1007/11615798_7
F. Botana, T. Recio
{"title":"Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach","authors":"F. Botana, T. Recio","doi":"10.1007/11615798_7","DOIUrl":"https://doi.org/10.1007/11615798_7","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131406821","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}
引用次数: 12
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods 计算曲线边界三角平面图:符号和混合方法
Automated Deduction in Geometry Pub Date : 2004-09-16 DOI: 10.1007/11615798_6
Daniel Lichtblau
{"title":"Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods","authors":"Daniel Lichtblau","doi":"10.1007/11615798_6","DOIUrl":"https://doi.org/10.1007/11615798_6","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128444874","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
Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases 用分块参数基Gröbner证明几何定理
Automated Deduction in Geometry Pub Date : 2004-09-16 DOI: 10.1007/11615798_3
Xuefeng Chen, Peng Li, Longfei Lin, Dingkang Wang
{"title":"Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases","authors":"Xuefeng Chen, Peng Li, Longfei Lin, Dingkang Wang","doi":"10.1007/11615798_3","DOIUrl":"https://doi.org/10.1007/11615798_3","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117224865","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}
引用次数: 17
首页 上一页 下一页 尾页
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学术官方微信