停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

2000年第3届ADG：瑞士苏黎世

>主页 >会议和研讨会 >ADG公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/2000
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/2000
尤尔根·里希特·盖伯特,王东明:
《几何中的自动演绎》，第三届国际研讨会，ADG 2000，瑞士苏黎世，2000年9月25日至27日，修订论文。计算机科学课堂讲稿2061,施普林格 2001，国际标准图书编号3-540-42598-5
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/HoffmannY00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/HoffmannY00网址
克里斯托夫·霍夫曼,博远:
关于空间约束求解方法。 1-15
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/高HJ00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/GaoHJ00
小山高,黄磊东（Lei Dong Huang）,Kun Jiang（昆江）:
求解几何约束问题的混合方法。 16-25
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/RouillerDS00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/RouillerDS00网址
法布里斯·鲁利耶,Mohab Safey El Din公司,埃里克·肖斯特:
用临界点法求解Birkhoff插值问题：一项实验研究。 26-40
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/YangZ00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/YangZ00网址
陆洋,Ju Zhang先生:
一类几何不等式的自动证明实用程序。 41-57
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/TuloneYL00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/TuloneYL00网站
丹妮拉·图龙,志径有,陈丽:
自由基表达式的随机零检验与初等几何定理的证明。 58-82
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/ContiT00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/ContiT00网址
Pasqualina Conti公司,卡洛·特拉弗索:
代数和半代数证明：方法和悖论。 83-103
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/BazzottiDR00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/BazzottiDR00
劳拉·巴佐蒂,乔治·达尔佐托,洛伦佐·罗比亚诺:
关于几何定理证明的注记。 104-128
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/BulmerFS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/BulmerFS00网站
迈克尔·巴尔默,德斯蒙德·费恩利-桑德,蒂莫西·斯托克斯:
几何定理的真理种类。 129-142年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/StokesB00型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/StokesB00
蒂莫西·斯托克斯,迈克尔·巴尔默:
几何推理变量的复杂变化。 143-153
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/辅助W00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/AubryW00
菲利普·奥布里,王东明:
关于曲面的微分零和理想分解推理。 154-174
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/Bokowski00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/Bokowski00网址
尤尔根·博科夫斯基:
计算合成几何中的有效方法。 175-192
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/KortenkampR00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/KortenkampR00网址
乌尔里希·科尔滕坎普,尤尔根·里希特·盖伯特:
动态几何中的决策复杂性。 193-198年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/LiW00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/LiW00
李洪波,吴一红:
关联几何中定理的自动证明——一种基于括号代数的消元方法。 199-227
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/Havel00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/Havel00
蒂莫西·哈维尔:
量子比特逻辑、代数和几何。 228至245
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/Fleuriot00公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/Fleuriot00网址
雅克·弗莱里奥特:
非标准几何证明。 246-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/CaferraPP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/CaferraPP00网址
里卡多·卡费拉,尼古拉斯·佩尔蒂埃,弗朗索瓦·普伊特:
在自动几何定理证明中强调人的技术：一种实际实现。 268-305
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/adg/DehlingrDS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adg/DehlingDS00
克里斯托夫·德林格,Jean-François Dufourd女士,帕斯卡·施莱克:
希尔伯特《初等几何》中的高阶直觉形式化和证明。 306-324

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。