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

International Conference on Intelligent Computer Mathematics最新文献

筛选
英文 中文
Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation 迈向统一的数学数据基础设施:数据库和接口生成
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_3
Katja Berčič, M. Kohlhase, Florian Rabe
{"title":"Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation","authors":"Katja Berčič, M. Kohlhase, Florian Rabe","doi":"10.1007/978-3-030-23250-4_3","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_3","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":"123422953","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}
引用次数: 6
Variadic Equational Matching 可变方程匹配
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_6
B. Dundua, Temur Kutsia, M. Marin
{"title":"Variadic Equational Matching","authors":"B. Dundua, Temur Kutsia, M. Marin","doi":"10.1007/978-3-030-23250-4_6","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_6","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"7 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":"130535924","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
Diagram Combinators in MMT MMT中的组合子图
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_15
Florian Rabe, Yasmine Sharoda
{"title":"Diagram Combinators in MMT","authors":"Florian Rabe, Yasmine Sharoda","doi":"10.1007/978-3-030-23250-4_15","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_15","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"4 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":"131580015","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
Relational Data Across Mathematical Libraries 跨数学库的关系数据
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_5
Andrea Condoluci, M. Kohlhase, Dennis Müller, Florian Rabe, C. Coen, M. Wenzel
{"title":"Relational Data Across Mathematical Libraries","authors":"Andrea Condoluci, M. Kohlhase, Dennis Müller, Florian Rabe, C. Coen, M. Wenzel","doi":"10.1007/978-3-030-23250-4_5","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_5","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"126 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":"123184815","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
Lemma Discovery for Induction - A Survey 归纳引理的发现——综述
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_9
Moa Johansson
{"title":"Lemma Discovery for Induction - A Survey","authors":"Moa Johansson","doi":"10.1007/978-3-030-23250-4_9","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_9","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 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":"116547873","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
A Tale of Two Set Theories 两集理论的故事
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_4
C. Brown, Karol Pąk
{"title":"A Tale of Two Set Theories","authors":"C. Brown, Karol Pąk","doi":"10.1007/978-3-030-23250-4_4","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_4","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"38 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120843073","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
Explorations into the Use of Word Embedding in Math Search and Math Semantics 词嵌入在数学搜索和数学语义中的应用探讨
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_20
Abdou Youssef, B. Miller
{"title":"Explorations into the Use of Word Embedding in Math Search and Math Semantics","authors":"Abdou Youssef, B. Miller","doi":"10.1007/978-3-030-23250-4_20","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_20","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"150 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":"131473316","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
MMTTeX: Connecting Content and Narration-Oriented Document Formats MMTTeX:连接面向内容和叙述的文档格式
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_14
Florian Rabe
{"title":"MMTTeX: Connecting Content and Narration-Oriented Document Formats","authors":"Florian Rabe","doi":"10.1007/978-3-030-23250-4_14","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_14","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"12 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":"122930840","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
Integrating Semantic Mathematical Documents and Dynamic Notebooks 集成语义数学文档和动态笔记本
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_19
Kai Amann, M. Kohlhase, Florian Rabe, Tom Wiesing
{"title":"Integrating Semantic Mathematical Documents and Dynamic Notebooks","authors":"Kai Amann, M. Kohlhase, Florian Rabe, Tom Wiesing","doi":"10.1007/978-3-030-23250-4_19","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_19","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 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":"129790900","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
BNF-Style Notation as It Is Actually Used 实际使用的bnf风格表示法
International Conference on Intelligent Computer Mathematics Pub Date : 2019-07-08 DOI: 10.1007/978-3-030-23250-4_13
Dee Quinlan, J. Wells, Fairouz Kamareddine
{"title":"BNF-Style Notation as It Is Actually Used","authors":"Dee Quinlan, J. Wells, Fairouz Kamareddine","doi":"10.1007/978-3-030-23250-4_13","DOIUrl":"https://doi.org/10.1007/978-3-030-23250-4_13","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"48 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":"122084049","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
首页 上一页 下一页 尾页
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学术官方微信