首页>外文会议>其他>Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

Symposium on the Integration of Symbolic Computation and Mechanized Reasoning

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Structural Similarity Search for Mathematics Retrieval

机译：结构相似性搜索数学检索
- 作者：Shahab Kamali;Frank Wm. Tompa
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
2.A Dynamic Symbolic Geometry Environment Based on the GrobnerCover Algorithm for the Computation of Geometric Loci and Envelopes

机译：基于GROBNERCOVER算法计算几何基因座和信封的动态符号几何环境
- 作者：Miguel A. Abanades;Francisco Botana
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Dynamic Geometry;
- Locus;
- Envelope;
- GrobnerCover Algorithm;
- GeoGebra;
- Sage;
3.Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems

机译：高度可信的互动定理证明系统中的普遍存行性
- 作者：Bruno Barras;Lourdes del Carmen Gonzalez Huesca;Hugo Herbelin;Yann Regis-Gianas;Enrico Tassi;Makarius Wenzel;Burkhart Wolff
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
4.Using MathML to Represent Units of Measurement for Improved Ontology Alignment

机译：使用MATHML表示测量单位，以改进本体对齐
- 作者：Chau Do;Eric J. Pauwels
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- MathML;
- Ontology matching;
- Ontology alignment;
- Units of measurement;
5.The MMT API: A Generic MKM System

机译：MMT API：通用MKM系统
- 作者：Florian Rabe
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
6.A Universal Machine for Biform Theory Graphs

机译：一种用于跨性理论图的通用机器
- 作者：Michael Kohlhase;Felix Mance;Florian Rabe
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
7.ML4PG in Computer Algebra Verification

机译：ML4PG在计算机代数验证中
- 作者：Jonathan Heras;Ekaterina Komendantskaya
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- ML4PG;
- Interactive Theorem Proving;
- Coq;
- SSReflect;
- Machine Learning;
- Clustering;
- CoqEAL;
8.swMATH - A New Information Service for Mathematical Software

机译：SWMATH - 数学软件的新信息服务
- 作者：Sebastian Bonisch;Michael Brickenstein;Hagen Chrapary;Gert-Martin Greuel;Wolfram Sperber
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
9.The ForMaRE Project - Formal Mathematical Reasoning in Economics

机译：Formare项目 - 经济学的正式数学推理
- 作者：Christoph Lange;Colin Rowat;Manfred Kerber
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
10.Escaping the Trap of Too Precise Topic Queries

机译：逃避了太精确的主题查询的陷阱
- 作者：Paul Libbrecht
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
11.Optimising Problem Formulation for Cylindrical Algebraic Decomposition

机译：优化圆柱代数分解的问题配方
- 作者：Russell Bradford;James H. Davenport;Matthew England;David Wilson
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Cylindrical algebraic decomposition;
- Problem formulation;
- Grobner bases;
- Symbolic computation;
12.Capturing Hiproofs in HOL Light

机译：在Hol光线中捕获髋臼
- 作者：Steven Obua;Mark Adams;David Aspinall
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
13.Three Years of DLMF: Web, Math and Search

机译：三年的DLMF：网页，数学和搜索
- 作者：Bruce R. Miller
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
14.Certification of Bounds of Non-linear Functions: The Templates Method

机译：非线性功能界定的认证：模板方法
- 作者：Xavier Allamigeon;Stephane Gaubert;Victor Magron;Benjamin Werner
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
15.Understanding Branch Cuts of Expressions

机译：了解表达的分支削减
- 作者：Matthew England;Russell Bradford;James H. Davenport;David Wilson
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Branch cuts;
- Simplification;
- Symbolic computation;
16.A Web Interface for Isabelle: The Next Generation

机译：isabelle的Web界面：下一代
- 作者：Christoph Luth;Martin Ring
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
17.The DeLiVerMATH Project Text Analysis in Mathematics

机译：数学中的Delivermath项目文本分析
- 作者：Ulf Schoneberg;Wolfram Sperber
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
18.LATExml 2012 - A Year of LATExml

机译：乳胶2012年 - 一年的乳胶
- 作者：Deyan Ginev;Bruce R. Miller
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
19.The Rooster and the Butterflies

机译：雄鸡和蝴蝶
- 作者：Assia Mahboubi
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
20.Mathematical Practice, Crowdsourcing, and Social Machines

机译：数学实践，众包和社会机器
- 作者：Ursula Martin;Alison Pease
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
21.Automated Reasoning Service for HOL Light

机译：HOL LIGHT的自动推理服务
- 作者：Cezary Kaliszyk;Josef Urban
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
22.The Web Geometry Laboratory Project

机译：网几何实验室项目
- 作者：Pedro Quaresma;Vanda Santos;Seifeddine Bouallegue
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Adaptive;
- Collaborative;
- Blended-learning;
- Geometry;
23.A Hybrid Approach for Semantic Enrichment of MathML Mathematical Expressions

机译：一种混合方法，用于数学数学表达式的语义富集
- 作者：Minh-Quoc Nghiem;Giovanni Yoko Kristianto;Goran Topic;Akiko Aizawa
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- MathML;
- Semantic Enrichment;
- Disambiguation;
- Statistical Machine Translation;
24.Software for Evaluating Relevance of Steps in Algebraic Transformations

机译：用于评估代数变换中步骤相关性的软件
- 作者：Rein Prank
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
25.A Qualitative Comparison of the Suitability of Four Theorem Provers for Basic Auction Theory

机译：基本拍卖理论的四个定理铅适用性的定性比较
- 作者：Christoph Lange;Marco B. Caminati;Manfred Kerber;Till Mossakowski;Colin Rowat;Makarius Wenzel;Wolfgang Windsteiger
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
26.Math-Net.Ru as a Digital Archive of the Russian Mathematical Knowledge from the XIX Century to Today

机译：math-net.ru作为俄罗斯数学知识的数字档案来自西西纳世纪到今天
- 作者：Dmitry E. Chebukov;Alexander D. Izaak;Olga G. Misyurina;Yuri A. Pupyrev;Alexey B. Zhizhchenko
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
27.Towards Machine-Actionable Modules of a Digital Mathematics Library The Example of DML-CZ

机译：迈向数字数学库的机器可操作模块，DML-CZ的示例
- 作者：Michal Ruzicka;Petr Sojka;Vlastimil Krejcir
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- DML-CZ;
- EuDML;
- DOI;
- ParsCit;
- References;
- Validation;
- DSpace;
- OAI-PMH;
- TeX;
- LaTeX;
- Tralics;
- Infty;
- Machine-actionable digital library;
- Library automation;
- Google Scholar;
- Webometrics;
28.Students' Comparison of Their Trigonometric Answers with the Answers of a Computer Algebra System

机译：学生将他们的三角答案与计算机代数系统的答案进行比较
- 作者：Eno Tonisson
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Computer Algebra Systems;
- Teaching and Learning Mathematics;
- Equivalence;
- Trigonometric Equations;
29.Verifying a Plaftorm for Digital Imaging: A Multi-tool Strategy

机译：验证数字成像平台：多工具策略
- 作者：Jonathan Heras;Gadea Mata;Ana Romero;Julio Rubio;Ruben Saenz
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
30.Formal Mathematics on Display: A Wiki for Flyspeck

机译：显示正式数学：Flyspeck的Wiki
- 作者：Carst Tankink;Cezary Kaliszyk;Josef Urban;Herman Geuvers
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
31.Mathematics and the World Wide Web

机译：数学和万维网
- 作者：Patrick D. F. Ion
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
32.The Formalization of Syntax-Based Mathematical Algorithms Using Quotation and Evaluation

机译：基于语法的数学算法的形式化使用引号和评估
- 作者：William M. Farmer
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
33.Determining Points on Handwritten Mathematical Symbols

机译：确定手写数学符号的点
- 作者：Rui Hu;Stephen M. Watt
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2013年
- Handwriting analysis;
- Handwriting neatening;
- Mathematical handwriting recognition;
- Pen computing;
34.A Symbolic Companion for Interactive Geometric Systems

机译：交互式几何系统的象征伴侣
- 作者：Francisco Botana
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
35.mizar-items: Exploring Fine-Grained Dependencies in the Mizar Mathematical Library

机译：mizar-intern：在Mizar数学库中探索细粒度依赖性
- 作者：Jesse Alama
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
36.MathScheme: Project Description

机译：Mathscheme：项目描述
- 作者：Jacques Carette;William M. Farmer;Russell OConnor
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
37.Krextor - An Extensible Framework for Contributing Content Math to the Web of Data

机译：Krextor - 一个可扩展框架，用于将内容数学贡献到数据Web
- 作者：Christoph Lange
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
38.Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita

机译：通过互动定理箴言Matita的形式拓扑形式化
- 作者：Andrea Asperti;Maria Emilia Maietti;Claudio Sacerdoti Coen;Giovanni Sambin;Silvio Valentini
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
39.System Description: EgoMath2 As a Tool for Mathematical Searching on Wikipedia.org

机译：系统描述：Egomath2作为Wikipedia.org上的数学搜索的工具
- 作者：Jozef Misutka;Leo Galambos
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
40.A Formalization of the C99 Standard in HOL, Isabelle and Coq

机译：HOL，Isabelle和COQ中C99标准的正式化
- 作者：Robbert Krebbers;Freek Wiedijk
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
41.Learning2Reason

机译：学习2REAN.
- 作者：Daniel Kuhlwein;Josef Urban;Evgeni Tsivtsivadze;Herman Geuvers;Tom Heskes
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
42.A System for Computing and Reasoning in Algebraic Topology

机译：代数拓扑中计算和推理的系统
- 作者：Jonathan Heras;Vico Pascual;Julio Rubio
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
43.Project Abstract: Logic Atlas and Integrator (LATIN)

机译：项目摘要：逻辑Atlas和Integrator（拉丁文）
- 作者：Mihai Codescu;Fulya Horozal;Michael Kohlhase;Till Mossakowski;Florian Rabe
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
44.The LaTeXML Daemon: Editable Math on the Collaborative Web

机译：LateXML守护程序：协作Web上的可编辑数学
- 作者：Deyan Ginev;Heinrich Stamerjohanns;Bruce R. Miller;Michael Kohlhase
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
45.Project EuDML - A First Year Demonstration

机译：项目EUDML - 第一年的示范
- 作者：Jose Borbinha;Thierry Bouche;Aleksander Nowinski;Petr Sojka
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
46.Efficient Formal Verification of Bounds of Linear Programs

机译：高效正式验证线性计划的界限
- 作者：Alexey Solovyev;Thomas C. Hales
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
47.Proof Assistant Decision Procedures for Formalizing Origami

机译：证明助理决策程序进行正式化折纸
- 作者：Cezary Kaliszyk;Tetsuo Ida
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
48.Enumeration of AG-Groupoids

机译：Ag-Glainoides的枚举
- 作者：Andreas Distler;Muhammad Shah;Volker Sorge
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
49.Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework

机译：重新靶向oponaxiom到poly / ml：朝向综合验证助理和计算机代数系统框架
- 作者：Gabriel Dos Reis;David Matthews;Yue Li
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
- OpenAxiom;
- Poly/ML-based proof assistants;
- Runtime systems;
50.Combining Source, Content, Presentation, Narration, and Relational Representation

机译：组合源，内容，演示文稿，叙述和关系表示
- 作者：Fulya Horozal;Alin Iacob;Constantin Jucovschi;Michael Kohlhase;Florian Rabe
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
51.Large Formal Wikis: Issues and Solutions

机译：大型正式维基：问题和解决方案
- 作者：Jesse Alama;Kasper Brink;Lionel Mamane;Josef Urban
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
52.Indexing and Searching Mathematics in Digital Libraries Architecture, Design and Scalability Issues

机译：在数字图书馆架构，设计和可扩展性问题中索引和搜索数学
- 作者：Petr Sojka;Martin Liska
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
53.View of Computer Algebra Data from Coq

机译：计算机代数数据来自COQ
- 作者：Vladimir Komendantsky;Alexander Konovalov;Steve Linton
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
54.Licensing the Mizar Mathematical Library

机译：许可MIZAR数学库
- 作者：Jesse Alama;Michael Kohlhase;Lionel Mamane;Adam Naumowicz;Piotr Rudnicki;Josef Urban
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
- Free culture;
- Open data;
- Free licensing;
- Formal mathematics;
- Mizar;
55.Interleaving Strategies

机译：交织策略
- 作者：Bastiaan Heeren;Johan Jeuring
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
- Strategy language;
- Interleaving;
- Feedback;
56.Using Theorema in the Formalization of Theoretical Economics

机译：在理论经济形式化中使用定位器
- 作者：Manfred Kerber;Colin Rowat;Wolfgang Windsteiger
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
57.Computer Certified Efficient Exact Reals in COQ

机译：计算机认证有效的高效确切真实实际
- 作者：Robbert Krebbers;Bas Spitters
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
58.Isabelle as Document-Oriented Proof Assistant

机译：Isabelle作为文档为导向的证明助手
- 作者：Makarius Wenzel
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
59.Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics

机译：用于管理科学，技术，工程和数学变化的工作流程
- 作者：Serge Autexier;Catalin David;Dominik Dietrich;Michael Kohlhase;Vyacheslav Zholudev
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
60.Towards Formal Proof Script Refactoring

机译：走向正式证明脚本重构
- 作者：Iain Whiteside;David Aspinall;Lucas Dixon;Gudmund Grov
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
61.A Foundational View on Integration Problems

机译：集成问题的基础知识
- 作者：Florian Rabe;Michael Kohlhase;Claudio Sacerdoti Coen
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
62.Incidence Simplicial Matrices Formalized in Coq/SSReflect

机译：在COQ / SSREFLECT中正式化的发生率
- 作者：Jonathan Heras;Maria Poza;Maxime Denes;Laurence Rideau
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
63.Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

机译：萘普希系统象征数学的解析与歧义
- 作者：Marcos Cramer;Peter Koepke;Bernhard Schroder
- 会议名称：《Symposium on the Integration of Symbolic Computation and Mechanized Reasoning》 | 2011年
- Symbolic mathematics;
- Mathematical formulae;
- Naproche;
- Formula parsing;