Pub Date : 2020-06-25DOI: 10.1007/s11786-020-00493-x
P. Todd
{"title":"A System for Automated Deduction in Engineering Mechanics","authors":"P. Todd","doi":"10.1007/s11786-020-00493-x","DOIUrl":"https://doi.org/10.1007/s11786-020-00493-x","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"93 1","pages":"775 - 790"},"PeriodicalIF":0.8,"publicationDate":"2020-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83808724","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 : 2020-06-25DOI: 10.1007/s11786-020-00490-0
P. Todd
{"title":"A Symbolic Dynamic Geometry System Using the Analytical Geometry Method","authors":"P. Todd","doi":"10.1007/s11786-020-00490-0","DOIUrl":"https://doi.org/10.1007/s11786-020-00490-0","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"18 1","pages":"693 - 726"},"PeriodicalIF":0.8,"publicationDate":"2020-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82916649","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 : 2020-06-17DOI: 10.1007/s11786-020-00485-x
W. Seiler, Matthias Seiß, T. Sturm
{"title":"A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations","authors":"W. Seiler, Matthias Seiß, T. Sturm","doi":"10.1007/s11786-020-00485-x","DOIUrl":"https://doi.org/10.1007/s11786-020-00485-x","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"112 1","pages":"333 - 352"},"PeriodicalIF":0.8,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79633418","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 : 2020-06-17DOI: 10.1007/s11786-020-00482-0
Rémi Imbach, M. Pouget, Chee Yap
{"title":"Clustering Complex Zeros of Triangular Systems of Polynomials","authors":"Rémi Imbach, M. Pouget, Chee Yap","doi":"10.1007/s11786-020-00482-0","DOIUrl":"https://doi.org/10.1007/s11786-020-00482-0","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"160 1","pages":"271 - 292"},"PeriodicalIF":0.8,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80090557","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 : 2020-06-17DOI: 10.1007/s11786-020-00477-x
François Boulier, F. Lemaire, Marc Moreno Maza, A. Poteaux
{"title":"A Short Contribution to the Theory of Regular Chains","authors":"François Boulier, F. Lemaire, Marc Moreno Maza, A. Poteaux","doi":"10.1007/s11786-020-00477-x","DOIUrl":"https://doi.org/10.1007/s11786-020-00477-x","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"141 12","pages":"177 - 188"},"PeriodicalIF":0.8,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72597938","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 : 2020-06-17DOI: 10.1007/s11786-020-00483-z
Zahra Mohammadi, G. Reid, S.-L. Tracy Huang
{"title":"Symmetry-Based Algorithms for Invertible Mappings of Polynomially Nonlinear PDE to Linear PDE","authors":"Zahra Mohammadi, G. Reid, S.-L. Tracy Huang","doi":"10.1007/s11786-020-00483-z","DOIUrl":"https://doi.org/10.1007/s11786-020-00483-z","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"24 1","pages":"293 - 316"},"PeriodicalIF":0.8,"publicationDate":"2020-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73026804","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 : 2020-06-13DOI: 10.1007/s11786-020-00487-9
Amélia Loja, P. Vasconcelos, J. I. Barbosa, J. A. Rodrigues
{"title":"Foreword to the Special Focus on Advances in Symbolic and Numeric Computation III","authors":"Amélia Loja, P. Vasconcelos, J. I. Barbosa, J. A. Rodrigues","doi":"10.1007/s11786-020-00487-9","DOIUrl":"https://doi.org/10.1007/s11786-020-00487-9","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":"221 1","pages":"1 - 4"},"PeriodicalIF":0.8,"publicationDate":"2020-06-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76778952","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
扫码关注我们
求助内容：
应助结果提醒方式：