Pub Date : 2002-09-04DOI: 10.1007/978-3-540-24616-9_11
I. Tchoupaeva
{"title":"Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method","authors":"I. Tchoupaeva","doi":"10.1007/978-3-540-24616-9_11","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_11","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114647394","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 : 2002-09-04DOI: 10.1007/978-3-540-24616-9_3
Solen Corvez, F. Rouillier
{"title":"Using Computer Algebra Tools to Classify Serial Manipulators","authors":"Solen Corvez, F. Rouillier","doi":"10.1007/978-3-540-24616-9_3","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_3","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115136146","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 : 2002-09-04DOI: 10.1007/978-3-540-24616-9_2
Xuefeng Chen, Dingkang Wang
{"title":"The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction","authors":"Xuefeng Chen, Dingkang Wang","doi":"10.1007/978-3-540-24616-9_2","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_2","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115675648","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 : 2002-09-04DOI: 10.1007/978-3-540-24616-9_6
C. Jermann, B. Neveu, Gilles Trombettoni
{"title":"A New Structural Rigidity for Geometric Constraint Systems","authors":"C. Jermann, B. Neveu, Gilles Trombettoni","doi":"10.1007/978-3-540-24616-9_6","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_6","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123654936","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 : 2002-09-04DOI: 10.1007/978-3-540-24616-9_8
J. Owen, S. Power
{"title":"The Nonsolvability by Radicals of Generic 3-connected Planar Graphs","authors":"J. Owen, S. Power","doi":"10.1007/978-3-540-24616-9_8","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_8","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130378459","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 : 2002-09-04DOI: 10.1007/978-3-540-24616-9_5
Hans-Gert Gräbe
{"title":"The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes","authors":"Hans-Gert Gräbe","doi":"10.1007/978-3-540-24616-9_5","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_5","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-09-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122323398","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 : 2000-09-25DOI: 10.1007/3-540-45410-1_14
Timothy F. Havel
{"title":"Qubit Logic, Algebra and Geometry","authors":"Timothy F. Havel","doi":"10.1007/3-540-45410-1_14","DOIUrl":"https://doi.org/10.1007/3-540-45410-1_14","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"166 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2000-09-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124636655","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
扫码关注我们
求助内容：
应助结果提醒方式：