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

International Conference on Intelligent Computer Mathematics最新文献

筛选
英文 中文
Metamath Zero: Designing a Theorem Prover Prover 元数学零:设计定理证明器证明器
International Conference on Intelligent Computer Mathematics Pub Date : 2020-07-26 DOI: 10.1007/978-3-030-53518-6_5
Mario M. Carneiro
{"title":"Metamath Zero: Designing a Theorem Prover Prover","authors":"Mario M. Carneiro","doi":"10.1007/978-3-030-53518-6_5","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_5","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133459306","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}
引用次数: 7
Interpreting Mathematical Texts in Naproche-SAD Naproche-SAD数学文本的解读
International Conference on Intelligent Computer Mathematics Pub Date : 2020-07-26 DOI: 10.1007/978-3-030-53518-6_19
Adrian De Lon, P. Koepke, Anton Lorenzen
{"title":"Interpreting Mathematical Texts in Naproche-SAD","authors":"Adrian De Lon, P. Koepke, Anton Lorenzen","doi":"10.1007/978-3-030-53518-6_19","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_19","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125226001","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}
引用次数: 4
Dataset Description: Formalization of Elementary Number Theory in Mizar 数据集描述:Mizar初等数论的形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2020-07-26 DOI: 10.1007/978-3-030-53518-6_22
Adam Naumowicz
{"title":"Dataset Description: Formalization of Elementary Number Theory in Mizar","authors":"Adam Naumowicz","doi":"10.1007/978-3-030-53518-6_22","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_22","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123007936","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
A Contextual and Labeled Math-Dataset Derived from NIST's DLMF 来自NIST DLMF的上下文和标记数学数据集
International Conference on Intelligent Computer Mathematics Pub Date : 2020-07-26 DOI: 10.1007/978-3-030-53518-6_25
Abdou Youssef, B. Miller
{"title":"A Contextual and Labeled Math-Dataset Derived from NIST's DLMF","authors":"Abdou Youssef, B. Miller","doi":"10.1007/978-3-030-53518-6_25","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_25","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"378 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115303035","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}
引用次数: 4
Formally Verifying Proofs for Algebraic Identities of Matrices 矩阵代数恒等式的形式化验证
International Conference on Intelligent Computer Mathematics Pub Date : 2020-07-26 DOI: 10.1007/978-3-030-53518-6_14
Leonard Schmitz, V. Levandovskyy
{"title":"Formally Verifying Proofs for Algebraic Identities of Matrices","authors":"Leonard Schmitz, V. Levandovskyy","doi":"10.1007/978-3-030-53518-6_14","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_14","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122819388","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}
引用次数: 11
First Neural Conjecturing Datasets and Experiments 第一神经猜想数据集和实验
International Conference on Intelligent Computer Mathematics Pub Date : 2020-05-29 DOI: 10.1007/978-3-030-53518-6_24
J. Urban, Jan Jakubuv
{"title":"First Neural Conjecturing Datasets and Experiments","authors":"J. Urban, Jan Jakubuv","doi":"10.1007/978-3-030-53518-6_24","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_24","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"72 3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123116763","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
AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels 自动分配数学学科分类标签
International Conference on Intelligent Computer Mathematics Pub Date : 2020-05-25 DOI: 10.1007/978-3-030-53518-6_15
M. Schubotz, Philipp Scharpf, O. Teschke, Andreas Kuhnemund, Corinna Breitinger, Bela Gipp
{"title":"AutoMSC: Automatic Assignment of Mathematics Subject Classification Labels","authors":"M. Schubotz, Philipp Scharpf, O. Teschke, Andreas Kuhnemund, Corinna Breitinger, Bela Gipp","doi":"10.1007/978-3-030-53518-6_15","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_15","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128465707","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}
引用次数: 12
Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL Isabelle/HOL中Gröbner基地的dub<s:1>学位界限的形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_11
Alexander Maletzky
{"title":"Formalization of Dubé's Degree Bounds for Gröbner Bases in Isabelle/HOL","authors":"Alexander Maletzky","doi":"10.1007/978-3-030-23250-4_11","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_11","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"87 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115696104","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}
引用次数: 3
The Coq Library as a Theory Graph Coq库作为理论图
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_12
Dennis Müller, Florian Rabe, C. Coen
{"title":"The Coq Library as a Theory Graph","authors":"Dennis Müller, Florian Rabe, C. Coen","doi":"10.1007/978-3-030-23250-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_12","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126841614","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}
引用次数: 10
Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations 轨迹方程计算中若干非退化条件自动包含在假设中的实验
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_10
Z. Kovács, P. Pech
{"title":"Experiments on Automatic Inclusion of Some Non-degeneracy Conditions Among the Hypotheses in Locus Equation Computations","authors":"Z. Kovács, P. Pech","doi":"10.1007/978-3-030-23250-4_10","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_10","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127788773","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}
引用次数: 2
首页 上一页 下一页 尾页
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学术官方微信