Pub Date : 2006-08-31DOI: 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}
Pub Date : 2006-08-31DOI: 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}
Pub Date : 2006-08-31DOI: 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}
{"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}
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：