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

Automated Reasoning and Mathematics最新文献

筛选
英文 中文
Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction 带阿贝尔内映射群的循环:自动演绎的一个应用
Automated Reasoning and Mathematics Pub Date : 2015-09-17 DOI: 10.1007/978-3-642-36675-8_8
M. Kinyon, R. Veroff, P. Vojtěchovský
{"title":"Loops with Abelian Inner Mapping Groups: An Application of Automated Deduction","authors":"M. Kinyon, R. Veroff, P. Vojtěchovský","doi":"10.1007/978-3-642-36675-8_8","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_8","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114746109","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
Theorem Proving in Large Formal Mathematics as an Emerging AI Field 作为新兴AI领域的大形式数学定理证明
Automated Reasoning and Mathematics Pub Date : 2012-09-18 DOI: 10.1007/978-3-642-36675-8_13
J. Urban, J. Vyskočil
{"title":"Theorem Proving in Large Formal Mathematics as an Emerging AI Field","authors":"J. Urban, J. Vyskočil","doi":"10.1007/978-3-642-36675-8_13","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_13","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"44 22","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113968061","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
(Dual) Hoops Have Unique Halving (双)箍有独特的减半
Automated Reasoning and Mathematics Pub Date : 2012-03-02 DOI: 10.1007/978-3-642-36675-8_9
R. Arthan, Paulo Oliva
{"title":"(Dual) Hoops Have Unique Halving","authors":"R. Arthan, Paulo Oliva","doi":"10.1007/978-3-642-36675-8_9","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_9","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122699548","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 Strategy Challenge in SMT Solving SMT解决中的策略挑战
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_2
L. D. Moura, G. Passmore
{"title":"The Strategy Challenge in SMT Solving","authors":"L. D. Moura, G. Passmore","doi":"10.1007/978-3-642-36675-8_2","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_2","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"148 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133699235","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}
引用次数: 57
Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach 指示条件的吉巴德坍缩定理:一个公理化的方法
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_10
Branden Fitelson
{"title":"Gibbard's Collapse Theorem for the Indicative Conditional: An Axiomatic Approach","authors":"Branden Fitelson","doi":"10.1007/978-3-642-36675-8_10","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_10","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116612037","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
The Legacy of a Great Researcher 一位伟大研究者的遗产
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_1
L. Wos
{"title":"The Legacy of a Great Researcher","authors":"L. Wos","doi":"10.1007/978-3-642-36675-8_1","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_1","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121279425","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
MACE4 and SEM: A Comparison of Finite Model Generators MACE4和SEM:有限模型生成器的比较
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_5
Hantao Zhang, Jian Zhang
{"title":"MACE4 and SEM: A Comparison of Finite Model Generators","authors":"Hantao Zhang, Jian Zhang","doi":"10.1007/978-3-642-36675-8_5","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_5","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122724599","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
Toward a Procedure for Data Mining Proofs 数据挖掘证明的一个过程
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_12
Z. Ernst, Seth Kurtenbach
{"title":"Toward a Procedure for Data Mining Proofs","authors":"Z. Ernst, Seth Kurtenbach","doi":"10.1007/978-3-642-36675-8_12","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_12","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"505 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115942008","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
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants 自动生成八边形和极大+不变量的几何量词消去启发式方法
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_11
D. Kapur, Zhihai Zhang, M. Horbach, Hengjun Zhao, Qi Lu, Thanhvu Nguyen
{"title":"Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants","authors":"D. Kapur, Zhihai Zhang, M. Horbach, Hengjun Zhao, Qi Lu, Thanhvu Nguyen","doi":"10.1007/978-3-642-36675-8_11","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_11","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123724172","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
A Geometric Procedure with Prover9 基于Prover9的几何程序
Automated Reasoning and Mathematics Pub Date : 1900-01-01 DOI: 10.1007/978-3-642-36675-8_7
R. Padmanabhan, R. Veroff
{"title":"A Geometric Procedure with Prover9","authors":"R. Padmanabhan, R. Veroff","doi":"10.1007/978-3-642-36675-8_7","DOIUrl":"https://doi.org/10.1007/978-3-642-36675-8_7","url":null,"abstract":"","PeriodicalId":334866,"journal":{"name":"Automated Reasoning and Mathematics","volume":"76 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114213244","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
下一页 尾页
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学术官方微信