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

International Conference on Intelligent Computer Mathematics最新文献

筛选
英文 中文
DeepAlgebra - An Outline of a Program DeepAlgebra -一个程序大纲
International Conference on Intelligent Computer Mathematics Pub Date : 2016-10-04 DOI: 10.1007/978-3-319-62075-6_1
Przemyslaw Chojecki
{"title":"DeepAlgebra - An Outline of a Program","authors":"Przemyslaw Chojecki","doi":"10.1007/978-3-319-62075-6_1","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_1","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134436106","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
Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics 基于社区动态的DML语料库自归档研究进展
International Conference on Intelligent Computer Mathematics Pub Date : 2016-07-25 DOI: 10.1007/978-3-319-42547-4_5
Fabian Müller, O. Teschke
{"title":"Progress of Self-Archiving Within the DML Corpus, with a View Toward Community Dynamics","authors":"Fabian Müller, O. Teschke","doi":"10.1007/978-3-319-42547-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_5","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114780321","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
Formalization of Bing's Shrinking Method in Geometric Topology 几何拓扑学中Bing收缩方法的形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2016-07-25 DOI: 10.1007/978-3-319-42547-4_2
Ken'ichi Kuga, M. Hagiwara, M. Yamamoto
{"title":"Formalization of Bing's Shrinking Method in Geometric Topology","authors":"Ken'ichi Kuga, M. Hagiwara, M. Yamamoto","doi":"10.1007/978-3-319-42547-4_2","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_2","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"2010 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116946424","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
Accessing the Mizar Library with a Weakly Strict Mizar Parser 使用弱严格Mizar解析器访问Mizar库
International Conference on Intelligent Computer Mathematics Pub Date : 2016-07-25 DOI: 10.1007/978-3-319-42547-4_6
Adam Naumowicz, Radosław Piliszek
{"title":"Accessing the Mizar Library with a Weakly Strict Mizar Parser","authors":"Adam Naumowicz, Radosław Piliszek","doi":"10.1007/978-3-319-42547-4_6","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_6","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"84 9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134315370","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
Formalization of Normal Random Variables in HOL HOL中正态随机变量的形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2016-07-25 DOI: 10.1007/978-3-319-42547-4_4
Muhammad Qasim, O. Hasan, M. Elleuch, S. Tahar
{"title":"Formalization of Normal Random Variables in HOL","authors":"Muhammad Qasim, O. Hasan, M. Elleuch, S. Tahar","doi":"10.1007/978-3-319-42547-4_4","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_4","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133427244","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
Enhancement of Mizar Texts with Transitivity Property of Predicates 具有谓词及物性的Mizar文本的增强
International Conference on Intelligent Computer Mathematics Pub Date : 2016-07-25 DOI: 10.1007/978-3-319-42547-4_12
Artur Korniłowicz
{"title":"Enhancement of Mizar Texts with Transitivity Property of Predicates","authors":"Artur Korniłowicz","doi":"10.1007/978-3-319-42547-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_12","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131774058","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
Formal Dependability Modeling and Analysis: A Survey 形式可靠性建模与分析:综述
International Conference on Intelligent Computer Mathematics Pub Date : 2016-06-22 DOI: 10.1007/978-3-319-42547-4_10
Waqar Ahmad, O. Hasan, S. Tahar
{"title":"Formal Dependability Modeling and Analysis: A Survey","authors":"Waqar Ahmad, O. Hasan, S. Tahar","doi":"10.1007/978-3-319-42547-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_10","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120809571","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}
引用次数: 13
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach OpenDreamKit项目中的互操作性:中间数学方法
International Conference on Intelligent Computer Mathematics Pub Date : 2016-03-21 DOI: 10.1007/978-3-319-42547-4_9
Paul-Olivier Dehaye, M. Kohlhase, A. Konovalov, Samuel Lelièvre, M. Pfeiffer, Nicolas M. Thi'ery
{"title":"Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach","authors":"Paul-Olivier Dehaye, M. Kohlhase, A. Konovalov, Samuel Lelièvre, M. Pfeiffer, Nicolas M. Thi'ery","doi":"10.1007/978-3-319-42547-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-42547-4_9","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"233 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-03-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131999163","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}
引用次数: 23
Mizar: State-of-the-art and Beyond 米萨尔:最先进的和超越的
International Conference on Intelligent Computer Mathematics Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-20615-8_17
G. Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Korniłowicz, R. Matuszewski, Adam Naumowicz, Karol Pąk, J. Urban
{"title":"Mizar: State-of-the-art and Beyond","authors":"G. Bancerek, Czeslaw Bylinski, Adam Grabowski, Artur Korniłowicz, R. Matuszewski, Adam Naumowicz, Karol Pąk, J. Urban","doi":"10.1007/978-3-319-20615-8_17","DOIUrl":"https://doi.org/10.1007/978-3-319-20615-8_17","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127372364","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}
引用次数: 181
Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices 压缩de Bruijn索引的Lambda项排序/取消排序
International Conference on Intelligent Computer Mathematics Pub Date : 2015-07-13 DOI: 10.1007/978-3-319-20615-8_8
Paul Tarau
{"title":"Ranking/Unranking of Lambda Terms with Compressed de Bruijn Indices","authors":"Paul Tarau","doi":"10.1007/978-3-319-20615-8_8","DOIUrl":"https://doi.org/10.1007/978-3-319-20615-8_8","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-07-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132605143","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
首页 上一页 下一页 尾页
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学术官方微信