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

International Conference on Intelligent Computer Mathematics最新文献

筛选
英文 中文
Part-of-Math Tagging and Applications 部分数学标记和应用
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_25
Abdou Youssef
{"title":"Part-of-Math Tagging and Applications","authors":"Abdou Youssef","doi":"10.1007/978-3-319-62075-6_25","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_25","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116434391","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}
引用次数: 25
Mathematical Models as Research Data via Flexiformal Theory Graphs 通过柔性理论图作为研究数据的数学模型
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_16
M. Kohlhase, T. Koprucki, Dennis Müller, K. Tabelow
{"title":"Mathematical Models as Research Data via Flexiformal Theory Graphs","authors":"M. Kohlhase, T. Koprucki, Dennis Müller, K. Tabelow","doi":"10.1007/978-3-319-62075-6_16","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_16","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126645848","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
Visual Structure in Mathematical Expressions 数学表达式中的视觉结构
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_15
A. Kohlhase, M. Kohlhase, Michael Fürsich
{"title":"Visual Structure in Mathematical Expressions","authors":"A. Kohlhase, M. Kohlhase, Michael Fürsich","doi":"10.1007/978-3-319-62075-6_15","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_15","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131667614","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
The Global Digital Mathematics Library and the International Mathematical Knowledge Trust 全球数字数学图书馆和国际数学知识信托基金
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_5
P. Ion, S. Watt
{"title":"The Global Digital Mathematics Library and the International Mathematical Knowledge Trust","authors":"P. Ion, S. Watt","doi":"10.1007/978-3-319-62075-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_5","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128298133","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}
引用次数: 19
The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema 维克里拍卖的形式化:《伊莎贝尔》和《定理》中两种方法的比较
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_3
Alexander Maletzky, W. Windsteiger
{"title":"The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema","authors":"Alexander Maletzky, W. Windsteiger","doi":"10.1007/978-3-319-62075-6_3","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_3","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115382503","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
The New Numdam Platform 新Numdam平台
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_6
Thierry Bouche, Olivier Labbe
{"title":"The New Numdam Platform","authors":"Thierry Bouche, Olivier Labbe","doi":"10.1007/978-3-319-62075-6_6","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_6","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"114 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128174060","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
Semantic Representation of General Topology in the Wolfram Language Wolfram语言中一般拓扑的语义表示
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-17 DOI: 10.1007/978-3-319-62075-6_12
Ian Ford
{"title":"Semantic Representation of General Topology in the Wolfram Language","authors":"Ian Ford","doi":"10.1007/978-3-319-62075-6_12","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_12","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121832237","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
VMEXT: A Visualization Tool for Mathematical Expression Trees 数学表达式树的可视化工具
International Conference on Intelligent Computer Mathematics Pub Date : 2017-07-12 DOI: 10.1007/978-3-319-62075-6_24
M. Schubotz, Norman Meuschke, Thomas Hepp, H. Cohl, Bela Gipp
{"title":"VMEXT: A Visualization Tool for Mathematical Expression Trees","authors":"M. Schubotz, Norman Meuschke, Thomas Hepp, H. Cohl, Bela Gipp","doi":"10.1007/978-3-319-62075-6_24","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_24","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-07-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129539237","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}
引用次数: 15
Formalization of Transform Methods Using HOL Light 使用HOL光的变换方法的形式化
International Conference on Intelligent Computer Mathematics Pub Date : 2017-05-29 DOI: 10.1007/978-3-319-62075-6_22
Adnan Rashid, O. Hasan
{"title":"Formalization of Transform Methods Using HOL Light","authors":"Adnan Rashid, O. Hasan","doi":"10.1007/978-3-319-62075-6_22","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_22","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124254141","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}
引用次数: 15
A Verified Algorithm Enumerating Event Structures 一个经过验证的事件结构枚举算法
International Conference on Intelligent Computer Mathematics Pub Date : 2017-05-20 DOI: 10.1007/978-3-319-62075-6_17
J. Bowles, M. Caminati
{"title":"A Verified Algorithm Enumerating Event Structures","authors":"J. Bowles, M. Caminati","doi":"10.1007/978-3-319-62075-6_17","DOIUrl":"https://doi.org/10.1007/978-3-319-62075-6_17","url":null,"abstract":"","PeriodicalId":236059,"journal":{"name":"International Conference on Intelligent Computer Mathematics","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130977410","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}
引用次数: 8
首页 上一页 下一页 尾页
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学术文献互助群
群 号：604180095
Book学术官方微信