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

International Conference on Intelligent Computer Mathematics最新文献

筛选
英文 中文
Inspection and Selection of Representations 代表的检查和选择
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-03 DOI: 10.1007/978-3-030-23250-4_16
D. Raggi, Aaron Stockdill, M. Jamnik, Grecia Garcia Garcia, H. E. Sutherland, P. Cheng
{"title":"Inspection and Selection of Representations","authors":"D. Raggi, Aaron Stockdill, M. Jamnik, Grecia Garcia Garcia, H. E. Sutherland, P. Cheng","doi":"10.1007/978-3-030-23250-4_16","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_16","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122326676","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
Guiding Inferences in Connection Tableau by Recurrent Neural Networks 递归神经网络在连接表中的引导推理
International Conference on Intelligent Computer Mathematics Pub Date : 2019-05-20 DOI: 10.1007/978-3-030-53518-6_23
Bartosz Piotrowski, J. Urban
{"title":"Guiding Inferences in Connection Tableau by Recurrent Neural Networks","authors":"Bartosz Piotrowski, J. Urban","doi":"10.1007/978-3-030-53518-6_23","DOIUrl":"https://doi.org/10.1007/978-3-030-53518-6_23","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127834636","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
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition 比较机器学习模型选择变量排序进行圆柱代数分解
International Conference on Intelligent Computer Mathematics Pub Date : 2019-04-24 DOI: 10.1007/978-3-030-23250-4_7
M. England, Dorian Florescu
{"title":"Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition","authors":"M. England, Dorian Florescu","doi":"10.1007/978-3-030-23250-4_7","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_7","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114605734","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}
引用次数: 20
A Coq Formalization of Digital Filters 数字滤波器的Coq形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_8
Diane Gallois-Wong, S. Boldo, Thibault Hilaire
{"title":"A Coq Formalization of Digital Filters","authors":"Diane Gallois-Wong, S. Boldo, Thibault Hilaire","doi":"10.1007/978-3-319-96812-4_8","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_8","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"466 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132815564","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}
引用次数: 5
Knowledge Amalgamation for Computational Science and Engineering 计算科学与工程的知识融合
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_20
Theresa Pollinger, M. Kohlhase, H. Köstler
{"title":"Knowledge Amalgamation for Computational Science and Engineering","authors":"Theresa Pollinger, M. Kohlhase, H. Köstler","doi":"10.1007/978-3-319-96812-4_20","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_20","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125425120","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}
引用次数: 1
System Description: XSL-Based Translator of Mizar to LaTeX 系统描述:基于xsl的Mizar到LaTeX的转换器
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_1
G. Bancerek, Adam Naumowicz, J. Urban
{"title":"System Description: XSL-Based Translator of Mizar to LaTeX","authors":"G. Bancerek, Adam Naumowicz, J. Urban","doi":"10.1007/978-3-319-96812-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_1","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116792827","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}
引用次数: 5
Deep Learning for Math Knowledge Processing 数学知识处理的深度学习
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_23
Abdou Youssef, B. Miller
{"title":"Deep Learning for Math Knowledge Processing","authors":"Abdou Youssef, B. Miller","doi":"10.1007/978-3-319-96812-4_23","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_23","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121807796","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
Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools 用动态几何和自动推理工具在正多边形中发现和证明新的几何定理
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_15
Z. Kovács
{"title":"Finding and Proving New Geometry Theorems in Regular Polygons with Dynamic Geometry and Automated Reasoning Tools","authors":"Z. Kovács","doi":"10.1007/978-3-319-96812-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_15","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129478775","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
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis 建模与分析课堂讲稿中的形式化数学内容
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_12
M. Junk, Stefan Hölle, Sebastian D. Sahli
{"title":"Formalized Mathematical Content in Lecture Notes on Modelling and Analysis","authors":"M. Junk, Stefan Hölle, Sebastian D. Sahli","doi":"10.1007/978-3-319-96812-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_12","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121846655","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
Translating the IMPS Theory Library to MMT/OMDoc IMPS理论库到MMT/OMDoc的翻译
International Conference on Intelligent Computer Mathematics Pub Date : 2018-08-13 DOI: 10.1007/978-3-319-96812-4_2
Jonas Betzendahl, M. Kohlhase
{"title":"Translating the IMPS Theory Library to MMT/OMDoc","authors":"Jonas Betzendahl, M. Kohlhase","doi":"10.1007/978-3-319-96812-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-96812-4_2","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"64 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129990937","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
首页 上一页 下一页 尾页
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学术官方微信