Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_31
Adnan Rashid, O. Hasan
{"title":"On the Formalization of Fourier Transform in Higher-order Logic","authors":"Adnan Rashid, O. Hasan","doi":"10.1007/978-3-319-43144-4_31","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_31","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132371223","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}
Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_15
Wenda Li, Lawrence Charles Paulson
{"title":"A Formal Proof of Cauchy's Residue Theorem","authors":"Wenda Li, Lawrence Charles Paulson","doi":"10.1007/978-3-319-43144-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_15","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134421354","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}
Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_32
Kenneth Roe, Scott F. Smith
{"title":"CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond)","authors":"Kenneth Roe, Scott F. Smith","doi":"10.1007/978-3-319-43144-4_32","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_32","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123942428","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}
Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_21
Anders Schlichtkrull
{"title":"Formalization of the Resolution Calculus for First-Order Logic","authors":"Anders Schlichtkrull","doi":"10.1007/978-3-319-43144-4_21","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_21","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127567615","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}
Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_10
C. Doczkal, G. Smolka
{"title":"Two-Way Automata in Coq","authors":"C. Doczkal, G. Smolka","doi":"10.1007/978-3-319-43144-4_10","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_10","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124078538","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}
Pub Date : 2016-08-22DOI: 10.1007/978-3-319-43144-4_12
Fabian Immler, Christoph Traut
{"title":"The Flow of ODEs","authors":"Fabian Immler, Christoph Traut","doi":"10.1007/978-3-319-43144-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-43144-4_12","url":null,"abstract":"","PeriodicalId":296683,"journal":{"name":"International Conference on Interactive Theorem Proving","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2016-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130185102","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：