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

Automated Deduction in Geometry最新文献

筛选
英文 中文
Analysis of Geometrical Theorems in Coordinate-Free Form by Using Anticommutative Gröbner Bases Method 用反交换Gröbner基法分析无坐标几何定理
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 1
MMP/Geometer - A Software Package for Automated Geometric Reasoning MMP/Geometer -一个自动几何推理软件包
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 10.1007/978-3-540-24616-9_4
X. Gao, Qiang Lin
{"title":"MMP/Geometer - A Software Package for Automated Geometric Reasoning","authors":"X. Gao, Qiang Lin","doi":"10.1007/978-3-540-24616-9_4","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_4","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"115 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":"123204165","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}
引用次数: 50
Using Computer Algebra Tools to Classify Serial Manipulators 利用计算机代数工具对串行机械手进行分类
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 51
The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction 拟变分的投影及其在几何定理证明和公式演绎中的应用
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 8
A New Structural Rigidity for Geometric Constraint Systems 几何约束系统的一种新的结构刚度
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 21
The Nonsolvability by Radicals of Generic 3-connected Planar Graphs 一般3连通平面图的根不可解性
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 9
The SymbolicData GEO Records - A Public Repository of Geometry Theorem Proof Schemes SymbolicData GEO记录-几何定理证明方案的公共存储库
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 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}
引用次数: 6
Function-Based Shape Modeling: Mathematical Framework and Specialized Language 基于函数的形状建模:数学框架和专用语言
Automated Deduction in Geometry Pub Date : 2002-09-04 DOI: 10.1007/978-3-540-24616-9_9
A. Pasko, V. Adzhiev
{"title":"Function-Based Shape Modeling: Mathematical Framework and Specialized Language","authors":"A. Pasko, V. Adzhiev","doi":"10.1007/978-3-540-24616-9_9","DOIUrl":"https://doi.org/10.1007/978-3-540-24616-9_9","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"38 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":"131661196","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}
引用次数: 45
On Spatial Constraint Solving Approaches 空间约束求解方法
Automated Deduction in Geometry Pub Date : 2000-09-25 DOI: 10.1007/3-540-45410-1_1
C. Hoffmann, Bo Yuan
{"title":"On Spatial Constraint Solving Approaches","authors":"C. Hoffmann, Bo Yuan","doi":"10.1007/3-540-45410-1_1","DOIUrl":"https://doi.org/10.1007/3-540-45410-1_1","url":null,"abstract":"","PeriodicalId":127390,"journal":{"name":"Automated Deduction in Geometry","volume":"34 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":"123983183","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}
引用次数: 27
Qubit Logic, Algebra and Geometry 量子比特逻辑，代数和几何
Automated Deduction in Geometry Pub Date : 2000-09-25 DOI: 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}
引用次数: 0
首页 上一页
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学术官方微信