掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Workshop on Automated Deduction in Geometry
International Workshop on Automated Deduction in Geometry
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Decision Complexity in Dynamic Geometry
机译:
动态几何中的决策复杂性
作者:
Ulrich Kortenkamp
;
Jurgen Richter-Gebert
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
2.
Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Study
机译:
通过关键点法解决Birkhoff插值问题:实验研究
作者:
Fabrice Rouillier
;
Mohab Safey El Din
;
Eric Schost
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
3.
Emphasizing Human Techniques in Automated Geometry Theorem Proving: A Practical Realization
机译:
强调自动几何理理中的人力技术证明:实际实现
作者:
Ricardo Caferra
;
Nicolas Peltier
;
Fran?ois Puitg
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
4.
A Complex Change of Variables for Geometrical Reasoning
机译:
几何推理变量的复杂变化
作者:
Tim Stokes
;
Michael Bulmer
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
5.
Reasoning about Surfaces Using Differential Zero and Ideal Decomposition
机译:
使用差分零和理想分解的表面推理
作者:
Philippe Aubry
;
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
6.
Automated Theorem Proving in Incidence Geometry - A Bracket Algebra Based Elimination Method
机译:
入射几何的自动定理 - 基于支架代数的消除方法
作者:
Hongbo Li
;
Yihong Wu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
7.
Nonstandard Geometric Proofs
机译:
非标准几何样品
作者:
Jacques D. Fleuriot
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
8.
A Hybrid Method for Solving Geometric Constraint Problems
机译:
一种解决几何约束问题的混合方法
作者:
Xiao-Shan Gao
;
Lei-Dong Huang
;
Kun Jiang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
9.
On Spatial Constraint Solving Approaches
机译:
关于空间约束解决方法
作者:
Christoph M. Hoffmann
;
Bo Yuan
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
10.
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
机译:
希尔伯特小学几何形状的高阶直觉形式和证明
作者:
Christophe Dehlinger
;
Jean-Fran?ois Dufourd
;
Pascal Schreck
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
11.
Effective Methods in Computational Synthetic Geometry
机译:
计算合成几何中的有效方法
作者:
Jurgen Bokowski
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
12.
Qubit Logic, Algebra and Geometry
机译:
qubit逻辑,代数和几何
作者:
Timothy F. Havel
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
13.
The Kinds of Truth of Geometry Theorems
机译:
几何定理的真理
作者:
Michael Bulmer
;
Desmond Fearnley-Sander
;
Tim Stokes
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
14.
Algebraic and Semialgebraic Proofs: Methods and Paradoxes
机译:
代数和半峰武器证明:方法和悖论
作者:
Pasqualina Conti
;
Carlo Traverso
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
15.
A Practical Program of Automated Proving for a Class of Geometric Inequalities
机译:
一类几何不等式的自动化证明的实用计划
作者:
Lu Yang
;
Ju Zhang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
16.
Remarks on Geometric Theorem Proving
机译:
关于几何理理证明的备注
作者:
Laura Bazzotti
;
Giorgio Dalzotto
;
Lorenzo Robbiano
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
17.
Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving
机译:
自由基表达的随机零测试和基本几何理理证明
作者:
Daniela Tulone
;
Chee Yap
;
Chen Li
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2000年
18.
Proving Geometric Theorems by Partitioned-Parametric Grobner Bases
机译:
通过分区参数grobner基地证明几何定理
作者:
Xuefeng Chen
;
Peng Li
;
Long Lin
;
Dingkang Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
19.
Symbolic Solution of a Piano Movers’ Problem with Four Parameters
机译:
四个参数钢琴举手问题的象征性解
作者:
Lu Yang
;
Zhenbing Zeng
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
20.
Spatial Planning and Geometric Optimization: Combining Configuration Space and Energy Methods
机译:
空间规划和几何优化:组合配置空间和能量方法
作者:
Dmytro Chibisov
;
Ernst W. Mayr
;
Sergey Pankratov
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
21.
Planar Generalized Stewart Platforms and Their Direct Kinematics
机译:
平面广义斯图尔特平台及其直接运动学
作者:
Gui-Fang Zhang
;
Xiao-Shan Gao
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
关键词:
Planar generalized Stewart platform;
geometric constraint solving;
direct kinematics;
closed-form solution;
22.
On the Decidability of Tracing Problems in Dynamic Geometry
机译:
论动态几何中追踪问题的可解密性
作者:
Britta Denner-Broser
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
23.
Computations of the Area and Radius of Cyclic Polygons Given by the Lengths of Sides
机译:
由侧面长度给出的循环多边形区域和半径的计算
作者:
Pavel Pech
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
24.
Towards a Geometric-Object-Oriented Language
机译:
朝着几何对象导向的语言
作者:
Tielin Liang
;
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
25.
Mechanical Theorem Proving in Computational Geometry
机译:
计算几何中的机械定理
作者:
Laura I. Meikle
;
Jacques D. Fleuriot
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
26.
Towards Solving the Dynamic Geometry Bottleneck Via a Symbolic Approach
机译:
通过象征方法解决动态几何瓶颈
作者:
Francisco Botana
;
Tomás Recio
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
27.
Computing Curves Bounding Trigonometric Planar Maps: Symbolic and Hybrid Methods
机译:
界限三角平面图的计算曲线:符号和混合方法
作者:
Daniel Lichtblau
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
28.
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness
机译:
常规庚烷的计算折纸施工具有自动证明其正确性
作者:
Judit Robu
;
Tetsuo Ida
;
Dorin Jepeneu
;
Hidekazu Takahashi
;
Bruno Buchberger
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
29.
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation
机译:
本地传播从单个2D线绘制的ND多面体场景重建
作者:
Hongbo Li
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2006年
30.
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
机译:
使用证人方法检测几何约束系统中的所有依赖关系
作者:
Dominique Michelucci
;
Sebti Foufou
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
31.
Constructing a Tetrahedron with Prescribed Heights and Widths
机译:
构建具有规定高度和宽度的四面体
作者:
Lu Yang
;
Zhenbing Zeng
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
generalized cayley-menger algebra;
widths of a tetrahedron;
geometric constraint solving;
32.
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
机译:
动态几何系统中常规构造的自动验证
作者:
Predrag Janicic
;
Pedro Quaresma
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
33.
Mechanical Theorem Proving in Tarski's Geometry
机译:
Tarski几何中的机械定理
作者:
Julien Narboux
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
34.
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
机译:
一种用于3D-Geometry的自动定理证明和发现的枫木包
作者:
E. Roanes-Macias
;
E. Roanes-Lozano
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
35.
Equidecomposable Quadratic Regions
机译:
等异种二次地区
作者:
Thomas C. Hales
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
36.
Towards an Electronic Geometry Textbook
机译:
朝向电子几何教科书
作者:
Xiaoyu Chen
;
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
37.
Recognition of Computationally Constructed Loci
机译:
识别计算构造的基因座
作者:
Peter Lebmeir
;
Juergen Richter-Gebert
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
38.
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
机译:
使用多项式系统的结果的算法搜索灵活性
作者:
Robert H. Lewis
;
Evangelos A. Coutsias
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
39.
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
机译:
关于自由基理想的需求在自动证明中:常规多边形的定理
作者:
Pavel Pech
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
40.
Cylinders Through Five Points: Complex and Real Enumerative Geometry
机译:
汽缸通过五点:复杂和实际枚举几何
作者:
Daniel Lichtblau
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
enumerative geometry;
groebner bases;
nonlinear systems;
41.
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
机译:
几何表达式:基于约束的交互式符号几何系统
作者:
Philip Todd
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
42.
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Groebner Systems
机译:
使用最小规范全面的Groebner系统自动发现几何理性定理
作者:
Antonio Montes
;
Tomas Recio
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
automatic discovering;
comprehensive groebner system;
automatic theorem proving;
canonical groebner system;
43.
Constructing a Tetrahedron with Prescribed Heights and Widths
机译:
构建具有规定高度和宽度的四面体
作者:
Lu Yang
;
Zhenbing Zeng
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
Generalized Cayley-Menger algebra;
Widths of a tetrahedron;
Geometric constraint solving;
44.
Algorithmic Search for Flexibility Using Resultants of Polynomial Systems
机译:
使用多项式系统的结果的算法搜索灵活性
作者:
Robert H. Lewis
;
Evangelos A. Coutsias
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
45.
Automatic Verification of Regular Constructions in Dynamic Geometry Systems
机译:
动态几何系统中常规构造的自动验证
作者:
Predrag Janicic
;
Pedro Quaresma
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
46.
On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
机译:
关于自由基理想的需求在自动证明中:常规多边形的定理
作者:
Pavel Pech
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
47.
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
机译:
几何表达式:基于约束的交互式符号几何系统
作者:
Philip Todd
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
48.
Equidecomposable Quadratic Regions
机译:
等异种二次地区
作者:
Thomas C. Hales
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
49.
Detecting All Dependences in Systems of Geometric Constraints Using the Witness Method
机译:
使用证人方法检测几何约束系统中的所有依赖关系
作者:
Dominique Michelucci
;
Sebti Foufou
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
50.
Mechanical Theorem Proving in Tarski's Geometry
机译:
Tarski几何中的机械定理
作者:
Julien Narboux
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
51.
Mechanical Theorem Proving in Tarski’s Geometry
机译:
Tarski几何中的机械定理
作者:
Julien Narboux
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
52.
Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Grobner Systems
机译:
用最小规范综合GROBNER系统自动发现几何定理
作者:
Antonio Montes
;
Tomas Recio
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
Automatic discovering;
Comprehensive Grobner system;
Automatic theorem proving;
Canonical Grobner system;
53.
Towards an Electronic Geometry Textbook
机译:
朝向电子几何教科书
作者:
Xiaoyu Chen
;
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
54.
Recognition of Computationally Constructed Loci
机译:
识别计算构造的基因座
作者:
Peter Lebmeir
;
Jurgen Richter-Gebert
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
55.
Cylinders Through Five Points: Complex and Real Enumerative Geometry
机译:
汽缸通过五点:复杂和实际枚举几何
作者:
Daniel Lichtblau
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
关键词:
Enumerative geometry;
Grobner bases;
Nonlinear systems;
56.
A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
机译:
一种用于3D-Geometry的自动定理证明和发现的枫木包
作者:
E. Roanes-Macias
;
E. Roanes-Lozano
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2007年
57.
Automatic Calculation of Plane Loci Using Grobner Bases and Integration into a Dynamic Geometry System
机译:
使用Grebner基础的平面基因座的自动计算与集成到动态几何系统中
作者:
Michael Gerhauser
;
Alfred Wassermann
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
关键词:
Dynamic geometry system;
Grobner bases;
Automatic discovery of plane loci;
58.
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
机译:
几何定理普罗瓦尔(TGTP)的数千个几何问题
作者:
Pedro Quaresma
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
关键词:
Library of problems in geometry;
Geometric Automated Theorem Proving;
59.
Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
机译:
有些LEMMAS希望能够找到搜索方法来查找突出几何致理性逻辑的简短和人类可读证明
作者:
Dominique Michelucci
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
60.
What Is a Line?
机译:
什么是线?
作者:
Dominique Michelucci
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
61.
On One Method of Proving Inequalities in Automated Way
机译:
在一种自动化方式中证明不等式的一种方法
作者:
Pavel Pech
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
关键词:
Geometric inequalities;
Automated geometry theorem proving;
62.
Cancellation Patterns in Automatic Geometric Theorem Proving
机译:
自动几何理理中的取消模式证明
作者:
Susanne Apel
;
Jurgen Richter-Gebert
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
63.
An Investigation of Hilbert's Implicit Reasoning through Proof Discovery in Idle-Time
机译:
通过证明在空闲时间中的校正发现对隐含推理的调查
作者:
Phil Scott
;
Jacques Fleuriot
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
64.
A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry
机译:
COQ中Grassmann-Cayley代数的形式化及其在投影几何中证明的定理应用
作者:
Laurent Fuchs
;
Laurent Thery
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
65.
Proof Documents for Automated Origami Theorem Proving
机译:
证明自动折纸定理证明的证明文件
作者:
Fadoua Ghourabi
;
Tetsuo Ida
;
Asem Kasem
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
66.
Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL
机译:
探索Isabelle / Hol中离散分析几何形状的基础
作者:
Jacques Fleuriot
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
关键词:
Discrete geometry;
Nonstandard analysis;
Harthong-Reeb numbers;
Euler method;
Mechanical theorem proving;
Isabelle;
67.
The Midpoint Locus of a Triangle in a Corner
机译:
一个角落里的三角形的中点轨迹
作者:
Daniel Lichtblau
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
关键词:
Constraint geometry;
Implicit surfaces;
Nonlinear systems;
68.
A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs
机译:
基于连贯的基于逻辑的几何定理箴言,可以生产正式和可读证明
作者:
Sana Stojanovic
;
Vesna Pavlovic
;
Predrag Janicic
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
69.
Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method
机译:
用质量点法自动生成可读证明的建设性几何语句
作者:
Yu Zou
;
Jingzhong Zhang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2011年
70.
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
机译:
几何自动化 - 定理证明,图代生成和知识管理
作者:
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
71.
Automation of Geometry - Theorem Proving, Diagram Generation, and Knowledge Management
机译:
几何自动化 - 定理证明,图代生成和知识管理
作者:
Dongming Wang
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Automation;
Management;
Talk;
72.
Realizations of Volume Frameworks
机译:
体积框架的实现
作者:
Ciprian S. Borcea
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Volume framework;
Minimal rigidity;
Grassmann variety;
73.
Realizations of Volume Frameworks
机译:
体积框架的实现
作者:
Ciprian S. Borcea
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
volume framework;
minimal rigidity;
Grassmann variety;
74.
Extending the Descartes Circle Theorem for Steiner n-Cycles
机译:
为Steiner N周期扩展笛卡尔圈定理
作者:
Shuichi Moritsugu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Extending;
n-Cycles;
Descartes;
75.
Extending the Descartes Circle Theorem for Steiner n-Cycles
机译:
为Steiner N周期扩展笛卡尔圈定理
作者:
Shuichi Moritsugu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
76.
Equation Systems with Free-Coordinates Determinants
机译:
具有自由坐标决定因素的公式系统
作者:
Pascal Mathis
;
Pascal Schreck
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Equation;
Determinants;
system;
77.
Equation Systems with Free-Coordinates Determinants
机译:
具有自由坐标决定因素的公式系统
作者:
Pascal Mathis
;
Pascal Schreck
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
78.
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
机译:
用于更高效的自动化证明和更短的证据进行公理系统的预处理
作者:
Sana Stojanovi?
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Predicate symmetry;
Axiom reformulation;
Coherent logic;
Automated and formal theorem proving;
79.
Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs
机译:
用于更高效的自动化证明和更短的证据进行公理系统的预处理
作者:
Sana Stojanovic
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Predicate symmetry;
Axiom reformulation;
Coherent logic;
Automated and formal theorem proving;
80.
On the Formal Analysis of Geometrical Optics in HOL
机译:
关于HOL几何光学的正式分析
作者:
Umair Siddique
;
Vincent Aravantinos
;
Sofiène Tahar
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Formal Analysis;
HOL;
optical;
81.
From Tarski to Hilbert
机译:
从Tarski到希尔伯特
作者:
Gabriel Braun
;
Julien Narboux
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Hilbert;
first twelve;
82.
Improving Angular Speed Uniformity by C~1 Piecewise Reparameterization
机译:
通过C〜1分段重物化提高角速均匀性
作者:
Jing Yang
;
Dongming Wang
;
Hoon Hong
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Parametric plane curve;
Angular speed uniformity;
C~1 piece-wise Mobius transformation;
Monotonic behavior;
83.
Improving Angular Speed Uniformity by C~1 Piecewise Reparameterization
机译:
通过C〜1分段重物化提高角速均匀性
作者:
Jing Yang
;
Dongming Wang
;
Hoon Hong
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Parametric plane curve;
angular speed uniformity;
C~1 piecewise M?bius transformation;
monotonic behavior;
84.
Proof and Computation in Geometry
机译:
几何上的证明和计算
作者:
Michael Beeson
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
85.
Rigidity of Origami Universal Molecules
机译:
折纸通用分子的刚性
作者:
John C. Bowers
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
86.
From Tarski to Hilbert
机译:
从Tarski到希尔伯特
作者:
Gabriel Braun
;
Julien Narboux
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
87.
On the Formal Analysis of Geometrical Optics in HOL
机译:
关于HOL几何光学的正式分析
作者:
Umair Siddique
;
Vincent Aravantinos
;
Sofiene Tahar
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
88.
Rigidity of Origami Universal Molecules
机译:
折纸通用分子的刚性
作者:
John C. Bowers
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Rigidity;
Molecules;
computational;
89.
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls
机译:
COQ的正式证明和终止计划计算凸壳的计划
作者:
Christophe Brun
;
Jean-Fran?ois Dufourd
;
Nicolas Magaud
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Formal;
Hulls;
hypermaps;
90.
Proof and Computation in Geometry
机译:
几何上的证明和计算
作者:
Michael Beeson
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Proof;
Geometry;
"vector;
91.
Formal Proof in Coq and Derivation of an Imperative Program to Compute Convex Hulls
机译:
COQ的正式证明和终止计划计算凸壳的计划
作者:
Christophe Brun
;
Jean-Francois Dufourd
;
Nicolas Magaud
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
92.
Algebraic Analysis of Huzita's Origami Operations and Their Extensions
机译:
Huzita的折纸业务及其扩展的代数分析
作者:
Fadoua Ghourabi
;
Asem Kasem
;
Cezary Kaliszyk
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
fold operations;
computational origami;
conic section;
93.
Algebraic Analysis of Huzita's Origami Operations and Their Extensions
机译:
Huzita的折纸业务及其扩展的代数分析
作者:
Fadoua Ghourabi
;
Asem Kasem
;
Cezary Kaliszyk
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2013年
关键词:
Fold operations;
Computational origami;
Conic section;
94.
Current Status of the I2GATP Common Format
机译:
I2GATP通用格式的当前状态
作者:
Pedro Quaresma
;
Nuno Baeta
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
95.
Extension of Simson-Wallace Theorem on Skew Quadrilaterals and Further Properties
机译:
在偏斜四边形和其他性质上扩展Simson-Wallace定理
作者:
Pavel Pech
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
关键词:
Simson-Wallace locus;
Skew quadrilaterals;
Elimination;
Reducibility of a cubic surface;
96.
Integrated Circumradius and Area Formulae for Cyclic Pentagons and Hexagons
机译:
循环循环和面积配方循环五角形和六边形
作者:
Shuichi Moritsugu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
关键词:
Cyclic polygons;
Circumradius formula;
Area formula;
97.
Volume Frameworks and Deformation Varieties
机译:
体积框架和变形品种
作者:
Ciprian S. Borcea
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
关键词:
Volume framework;
Singularity;
Deformation space;
98.
Discovering Geometric Theorems from Scanned and Photographed Images of Diagrams
机译:
从扫描和拍摄的图表中发现几何定理
作者:
Dan Song
;
Dongming Wang
;
Xiaoyu Chen
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
关键词:
Shape recognition;
Pattern matching;
Theorem discovery;
Geometric knowledge management;
99.
Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
机译:
证明了解几何施工问题的可验证解决的计算机定理
作者:
Vesna Marinkovic
;
Predrag Janicic
;
Pascal Schreck
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
100.
Star-Unfolding Polygons
机译:
星形展开多边形
作者:
Ashraful Alam
;
Ileana Streinu
会议名称:
《International Workshop on Automated Deduction in Geometry》
|
2015年
意见反馈
回到顶部
回到首页