首页>外文会议>International Conference on Intelligent Computer Mathematics

International Conference on Intelligent Computer Mathematics

召开年：2019
召开地：Prague(AT)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Explorations into the Use of Word Embedding in Math Search and Math Semantics

机译：在数学搜索和数学语义学中使用词嵌入的探索
- 作者：Abdou Youssef;Bruce R. Miller
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
2.Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations

机译：在轨迹方程计算的假设中自动包含某些非退化条件的实验
- 作者：Zoltán Kovács;Pavel Pech
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Automated reasoning in geometry;
- Non-degeneracy conditions;
- Locus equation;
- GeoGebra;
3.Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL

机译：Isabelle / HOL中Gröbner基地的Dubé度界的形式化
- 作者：Alexander Maletzky
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
4.The Coq Library as a Theory Graph

机译：Coq库作为理论图
- 作者：Dennis Müller;Florian Rabe;Claudio Sacerdoti Coen
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
5.BNF-Style Notation as It Is Actually Used

机译：实际使用的BNF样式表示法
- 作者：Dee Quinlan;Joe B. Wells;Fairouz Kamareddine
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
6.MMTTeX: Connecting Content and Narration-Oriented Document Formats

机译：MMTTeX：连接内容和面向叙述的文档格式
- 作者：Florian Rabe
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
7.Diagram Combinators in MMT

机译：MMT中的图组合器
- 作者：Florian Rabe;Yasmine Sharoda
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
8.Inspection and Selection of Representations

机译：检查和选择代表
- 作者：Daniel Raggi;Aaron Stockdill;Mateja Jamnik;Grecia Garcia Garcia;Holly E. A. Sutherland;Peter C.-H. Cheng
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Representation in reasoning;
- Heterogeneous reasoning;
- Representation selection;
- Representational system;
9.A Plugin to Export Coq Libraries to XML

机译：一个将Coq库导出为XML的插件
- 作者：Claudio Sacerdoti Coen
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
10.Forms of Plagiarism in Digital Mathematical Libraries

机译：数字数学图书馆中的Pla窃形式
- 作者：Moritz Schubotz;Olaf Teschke;Vincent Stange;Norman Meuschke;Bela Gipp
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
11.Integrating Semantic Mathematical Documents and Dynamic Notebooks

机译：整合语义数学文档和动态笔记本
- 作者：Kai Amann;Michael Kohlhase;Florian Rabe;Tom Wiesing
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
12.Preface

机译：前言
- 作者：Cezary Kaliszyk;Edwin Brady;Andrea Kohlhase
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
13.Interaction with Formal Mathematical Documents in Isabelle/PIDE

机译：与Isabelle / PIDE中的正式数学文档互动
- 作者：Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
14.Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle

机译：初学者对数学形式化的追求：伊莎贝尔大学的可行性研究
- 作者：Jonas Bayer;Marco David;Abhik Pal;Benedikt Stock
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Interactive theorem proving;
- Isabelle;
- Formalized mathematics;
- Hilbert's tenth problem;
15.Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

机译：迈向统一的数学数据基础架构：数据库和接口生成
- 作者：Katja Berčič;Michael Kohihase;Florian Rabe
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
16.A Tale of Two Set Theories

机译：两种理论集的故事
- 作者：Chad E. Brown;Karol Pąk
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Formalized mathematics;
- Theorem proving;
- Set theory;
- Proof checking;
- Mizar;
17.Relational Data Across Mathematical Libraries

机译：跨数学库的关系数据
- 作者：Andrea Condoluci;Michael Kohlhase;Dennis Müller;Florian Rabe;Claudio Sacerdoti Coen;Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
18.Variadic Equational Matching

机译：可变参数方程匹配
- 作者：Besik Dundua;Temur Kutsia;Mircea Marin
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
19.Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

机译：比较机器学习模型以选择圆柱代数分解的变量有序
- 作者：Matthew England;Dorian Florescu
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Computer algebra;
- Symbolic computation;
- Non-linear real arithmetic;
- Cylindrical algebraic decomposition;
- Machine learning;
20.Towards Specifying Symbolic Computation

机译：走向指定符号计算
- 作者：Jacques Carette;William M. Farmer
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
21.Lemma Discovery for Induction A Survey

机译：用于引理的引理发现
- 作者：Moa Johansson
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
22.The Coq Library as a Theory Graph

机译：COQ库作为理论图
- 作者：Dennis Müller;Florian Rabe;Claudio Sacerdoti Coen
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
23.Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation

机译：朝向统一的数学数据基础架构：数据库和界面生成
- 作者：Katja Ber?i?;Michael Kohihase;Florian Rabe
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
24.MMTTeX: Connecting Content and Narration-Oriented Document Formats

机译：MMTTEX：连接内容和面向叙述的文档格式
- 作者：Florian Rabe
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
25.Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations

机译：关于轨迹方程计算假设中一些非退化条件的实验
- 作者：Zoltán Kovács;Pavel Pech
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Automated reasoning in geometry;
- Non-degeneracy conditions;
- Locus equation;
- GeoGebra;
26.BNF-Style Notation as It Is Actually Used

机译：BNF样式表示法实际使用
- 作者：Dee Quinlan;Joe B. Wells;Fairouz Kamareddine
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
27.Integrating Semantic Mathematical Documents and Dynamic Notebooks

机译：集成语义数学文档和动态笔记本电脑
- 作者：Kai Amann;Michael Kohlhase;Florian Rabe;Tom Wiesing
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
28.Diagram Combinators in MMT

机译：MMT的图组合器
- 作者：Florian Rabe;Yasmine Sharoda
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
29.Relational Data Across Mathematical Libraries

机译：数学库的关系数据
- 作者：Andrea Condoluci;Michael Kohlhase;Dennis Müller;Florian Rabe;Claudio Sacerdoti Coen;Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
30.Formalization of Dubé's Degree Bounds for Gr?bner Bases in Isabelle/HOL

机译：Dubé的GR级别界的形式化？在伊莎贝尔/霍尔的BNER基地
- 作者：Alexander Maletzky
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
31.Preface

机译：前言
- 作者：Cezary Kaliszyk;Edwin Brady;Andrea Kohlhase
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
32.Forms of Plagiarism in Digital Mathematical Libraries

机译：数字数学图书馆中的抄袭形式
- 作者：Moritz Schubotz;Olaf Teschke;Vincent Stange;Norman Meuschke;Bela Gipp
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
33.A Plugin to Export Coq Libraries to XML

机译：将COQ库导出到XML的插件
- 作者：Claudio Sacerdoti Coen
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
34.Inspection and Selection of Representations

机译：检查和选择陈述
- 作者：Daniel Raggi;Aaron Stockdill;Mateja Jamnik;Grecia Garcia Garcia;Holly E. A. Sutherland;Peter C.-H. Cheng
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Representation in reasoning;
- Heterogeneous reasoning;
- Representation selection;
- Representational system;
35.A Tale of Two Set Theories

机译：两个设有理论的故事
- 作者：Chad E. Brown;Karol P?k
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Formalized mathematics;
- Theorem proving;
- Set theory;
- Proof checking;
- Mizar;
36.Comparing Machine Learning Models to Choose the Variable Ordering for Cylindrical Algebraic Decomposition

机译：比较机器学习模型选择圆柱形代数分解的变量排序
- 作者：Matthew England;Dorian Florescu
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Computer algebra;
- Symbolic computation;
- Non-linear real arithmetic;
- Cylindrical algebraic decomposition;
- Machine learning;
37.Towards Specifying Symbolic Computation

机译：朝来指定符号计算
- 作者：Jacques Carette;William M. Farmer
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
38.Explorations into the Use of Word Embedding in Math Search and Math Semantics

机译：在数学搜索和数学语义中使用单词嵌入单词的探索
- 作者：Abdou Youssef;Bruce R. Miller
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
39.Interaction with Formal Mathematical Documents in Isabelle/PIDE

机译：与Isabelle / Pide中正式数学文件的互动
- 作者：Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
40.Lemma Discovery for Induction A Survey

机译：诱导调查的引理发现
- 作者：Moa Johansson
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
41.Beginners' Quest to Formalize Mathematics: A Feasibility Study in Isabelle

机译：初学者的任务正式化数学：Isabelle的可行性研究
- 作者：Jonas Bayer;Marco David;Abhik Pal;Benedikt Stock
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
- Interactive theorem proving;
- Isabelle;
- Formalized mathematics;
- Hilbert's tenth problem;
42.Variadic Equational Matching

机译：变形式公平匹配
- 作者：Besik Dundua;Temur Kutsia;Mircea Marin
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2019年
43.Digital Mathematics Libraries: The Good, the Bad, the Ugly

机译：数字数学图书馆：好，坏，丑
- 作者：Thierry Bouche
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
44.Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server

机译：使用COQ证明功能型视频按需服务器的缓存级别的属性
- 作者：J. Santiago Jorge;Victor M. Gulias;Laura M. Castro
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Formal methods;
- Software verification;
- Theorem provers;
- Functional programming;
- Real-world applications;
45.Effective Set Membership in Computer Algebra and Beyond

机译：计算机代数和超越的有效设置成员资格
- 作者：James H. Davenport
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
46.A Global Workspace Framework for Combining Reasoning Systems

机译：合并推理系统的全球工作区框架
- 作者：John Charnley;Simon Colton
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
47.Automating Signature Evolution in Logical Theories

机译：在逻辑理论中自动化签名演变
- 作者：Alan Bundy
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
48.Automating Signature Evolution in LogicalTheories

机译：在逻辑理论中自动化签名演变
- 作者：Alan Bundy
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
49.On the Construction of Transformation Steps in the Category of Multiagent Systems

机译：关于多读系统类别的转型步骤的构建
- 作者：Thomas Soboll
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
50.Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System

机译：应用链接语法形式主义在英语印度尼西亚机器翻译系统的发展中
- 作者：Teguh Bharata Adji;Baharum Baharudin;Norshuhani Zamin
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Annotated Disjunct;
- Link Grammar;
- Parsing Algorithm;
- Natural Language Processing;
51.Augmenting Presentation MathML for Search

机译：增强演示文稿Mathml搜索
- 作者：Bruce R. Miller;Abdou Youssef
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
52.Applying Link Grammar Formalismin the Development of English-Indonesian Machine Translation System

机译：应用链接语法塑造英语印度尼西亚机器翻译系统的发展
- 作者：Teguh Bharata Adji;Baharum Baharudin;Norshuhani Zamin
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- annotated disjunct;
- link grammar;
- parsing algorithm;
- natural language processing;
53.AISC Meets Natural Typography

机译：AISC符合自然印刷术
- 作者：James H. Davenport
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
54.Transforming the arxiv to XML

机译：将arxiv转换为XML
- 作者：Heinrich Stamerjohanns;Michael Kohlhase
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
55.Transforming the arχiv to XML

机译：将Arχiv转化为XML
- 作者：Heinrich Stamerjohanns;Michael Kohlhase
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
56.Normalization Issues in Mathematical Representations

机译：数学陈述中的正常化问题
- 作者：Manfred Kerber
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
57.Validated Evaluation of Special MathematicalFunctions

机译：验证了特殊数学功能的评估
- 作者：Franky Backeljauw;Stefan Becuwe;Annie Cuyt
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
58.Symbolic Computation Software Composability

机译：符号计算软件可组合性
- 作者：Sebastian Freundt;Peter Horn;Alexander Konovalov;Steve Linton;Dan Roozemond
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
59.Validated Evaluation of Special Mathematical Functions

机译：验证了对特殊数学函数的评估
- 作者：Franky Backeljauw;Stefan Becuwe;Annie Cuyt
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
60.A Mathematical Type for Physical Variables

机译：物理变量的数学类型
- 作者：Joseph B. Collins
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
61.Towards an Implementation of a Computer Algebra System in a Functional Language

机译：以功能语言实现计算机代数系统
- 作者：Oleg Lobachev;Rita Loogen
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Computer algebra;
- Software technology;
- Language and system design;
62.A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple

机译：Groebner基于枫树的多价典型逻辑实现
- 作者：Eugenio Roanes-Lozano;Luis M. Laita;Eugenio Roanes-Macias
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Logic and Symbolic Computing;
- Groebner Bases;
- Rule Based Expert Systems;
63.High-Level Theories

机译：高级理论
- 作者：Jacques Carette;William M. Farmer
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
64.Case Studies in Model Manipulation for Scientific Computing

机译：科学计算模型操纵案例研究
- 作者：J. Carette;S. Smith;J. McCutchan;C. Anand;A. Korobkine
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
65.Cross-Curriculum Search for Intergeo

机译：交叉课程搜索Intereoo
- 作者：Paul Libbrecht;Cyrille Desmoulins;Christian Mercat;Colette Laborde;Michael Dietrich;Maxim Hendriks
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
66.Increasing Interpretations

机译：增加解释
- 作者：Harald Zankl;Aart Middeldorp
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Term rewriting;
- Termination;
- Polynomial interpretations;
67.Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar

机译：基于无背景语法和树语法的组合验证数学公式
- 作者：Akio Fujiyoshi;Masakazu Suzuki;Seiichi Uchida
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
68.The Monoids of Order Eight and Nine

机译：八个八分之一和九个
- 作者：Andreas Distler;Tom Kelsey
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
69.Specifying Strategies for Exercises

机译：指定练习策略
- 作者：Bastiaan Heeren;Johan Jeuring;Arthur van Leeuwen;Alex Gerdes
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
70.A Tactic Language for Hiproofs

机译：髋浦的策略语言
- 作者：David Aspinall;Ewen Denney;Christoph Luth
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
71.On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra

机译：关于模拟运动机器人地图的混合符号 - 连接方法 - 计算机代数和基准
- 作者：Jochen Pfalzgraf
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Robotic Kinematics;
- Computer Algebra (CA);
- Connectionism;
- Inverse Kinematics Problem;
- Artificial Neural Networks;
- Simulation;
- Benchmarks for CA;
72.On Correctness of Mathematical Texts from a Logical and Practical Point of View

机译：从逻辑实际观点的数学文本的正确性
- 作者：Konstantin Verchinine;Alexander Lyaletski;Andrei Paskevich;Anatoly Anisimov
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
73.A Full First-Order Constraint Solver for Decomposable Theories

机译：一种用于可分解理论的全额一阶约束求解器
- 作者：Khalil Djelloul
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
74.Logic-Free Reasoning in Isabelle/Isar

机译：Isabelle / Isar的无逻辑推理
- 作者：Stefan Berghofer;Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
75.MetiTarski: An Automatic Prover for the Elementary Functions

机译：Metitarski：基本功能的自动证明
- 作者：Behzad Akbarpour;Lawrence C. Paulson
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
76.Herbrand Sequent Extraction

机译：Herbrand Sequent提取
- 作者：Stefan Hetzl;Alexander Leitsch;Daniel Weller;Bruno Woltzenlogel Paleo
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
77.Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle

机译：在名义上伊莎贝尔中直觉逻辑的机械化机械化克雷格的插值定理
- 作者：Peter Chapman;James McKinna;Christian Urban
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Formal mathematics;
- Nominal Isabelle;
- Automated reasoning;
- Logic;
78.Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL

机译：Isabelle / HOL中有序字段的参数线性算术
- 作者：Amine Chaieb
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
79.Search Techniques for Rational Polynomial Orders

机译：搜索合理多项式订单的技术
- 作者：Carsten Fuhs;Rafael Navarro-Marset;Carsten Otto;Jurgen Giesl;Salvador Lucas;Peter Schneider-Kamp
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Termination;
- Term rewriting;
- SAT solving;
- Dependency pairs;
80.Visual Mathematics: Diagrammatic Formalization and Proof

机译：视觉数学：图解形式化和证明
- 作者：John Howse;Gem Stapleton
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
81.Mediated Access to Symbolic Computation Systems

机译：介导对符号计算系统的访问
- 作者：Jonathan Heras;Vico Pascual;Julio Rubio
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
82.MetiTarski: An Automatic Prover for the Elementary Functions

机译：Metitarski：基本功能的自动证明
- 作者：Behzad Akbarpour;Lawrence C. Paulson
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
83.Combining Isabelle and QEPCAD-B in the Prover's Palette

机译：在谚语的调色板中结合了伊莎贝尔和Qepcad-B
- 作者：Laura I. Meikle;Jacques D. Fleuriot
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
84.Kantian Philosophy of Mathematics and Young Robots

机译：凯蒂安数学和年轻机器人哲学
- 作者：Aaron Sloman
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Learning mathematics;
- Philosophy of mathematics;
- Robot 3-D vision;
- Self-extending architecture;
- Epigenetic robotics;
85.A Mathematical Type for Physical Variables

机译：物理变量的数学类型
- 作者：Joseph B. Collins
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
86.Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation

机译：扩展用于紧凑封闭类别的图形表示，应用于符号量子计算
- 作者：Lucas Dixon;Ross Duncan
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Graph rewriting;
- Quantum computing;
- Categorical logic;
- Interactive theorem proving;
- Graphical calculi;
87.Strategies for Solving SAT in Grids by Randomized Search

机译：通过随机搜索解决SAT在网格中的策略
- 作者：Antti E. J. Hyvarinen;Tommi Junttila;Ilkka Niemela
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
88.Automating Side Conditions in Formalized Partial Functions

机译：在形式化的部分功能中自动化副条件
- 作者：Cezary Kaliszyk
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
89.Automated Classification and Categorization of Mathematical Knowledge

机译：自动分类和数学知识分类
- 作者：Radim Rehurek;Petr Sojka
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
90.Mediated Access to Symbolic ComputationSystems

机译：介绍对符号计算系统的访问
- 作者：Jonathan Heras;Vico Pascual;Julio Rubio
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
91.Unit Knowledge Management

机译：单位知识管理
- 作者：Jonathan Stratford;James H. Davenport
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
92.Notations for Living Mathematical Documents

机译：生活数学文件的符号
- 作者：Michael Kohlhase;Christine Muller;Florian Rabe
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
93.Automated Model Building: From Finite to Infinite Models

机译：自动模型建筑：从有限到无限型号
- 作者：Nicolas Peltier
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
94.Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems

机译：在COQ隐藏代数中正式化以指定符号计算系统
- 作者：Cesar Dominguez
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
- Coq proof assistant;
- Hidden algebras;
- Symbolic computation;
95.Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors

机译：通过互动证明建设和验证在文本编辑方面进行验证的文件
- 作者：Dominik Dietrich;Ewaryst Schulz;Marc Wagner
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2008年
96.Isabelle/jEdit - A Prover IDE within the PIDE Framework

机译：Isabelle / Jedit - Pide框架内的箴言IDE
- 作者：Makarius Wenzel
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2012年
97.The PLANETARY Project: Towards eMath3.0

机译：行星项目：走向Emath3.0
- 作者：Michael Kohlhase
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2012年
98.A Web Interface for Matita

机译：铅笔的Web界面
- 作者：Andrea Asperti;Wilmer Ricciotti
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2012年
99.Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP)

机译：项目演示文稿：算法结构和压缩证明（ASCOP）
- 作者：Stefan Hetzl
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2012年
100.The Distributed Ontology Language (DOL): Ontology Integration and Interoperability Applied to Mathematical Formalization

机译：分布式本体语言（DOL）：本体集成和应用于数学形式化的互操作性
- 作者：Christoph Lange;Oliver Kutz;Till Mossakowski;Michael Gruninger
- 会议名称：《International Conference on Intelligent Computer Mathematics》 | 2012年