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":null,"pages":null},"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-25DOI: 10.1007/s11786-020-00489-7
P. Quaresma
{"title":"Automated Deduction and Knowledge Management in Geometry","authors":"P. Quaresma","doi":"10.1007/s11786-020-00489-7","DOIUrl":"https://doi.org/10.1007/s11786-020-00489-7","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76716252","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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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":null,"pages":null},"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}
Pub Date : 2020-06-06DOI: 10.1007/s11786-020-00480-2
A. Hashemi, Hossein Parnian, W. Seiler
{"title":"Degree Upper Bounds for Involutive Bases","authors":"A. Hashemi, Hossein Parnian, W. Seiler","doi":"10.1007/s11786-020-00480-2","DOIUrl":"https://doi.org/10.1007/s11786-020-00480-2","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77531531","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-05DOI: 10.1007/s11786-020-00484-y
Katsusuke Nabeshima, S. Tajima
{"title":"Testing Zero-Dimensionality of Varieties at a Point","authors":"Katsusuke Nabeshima, S. Tajima","doi":"10.1007/s11786-020-00484-y","DOIUrl":"https://doi.org/10.1007/s11786-020-00484-y","url":null,"abstract":"","PeriodicalId":45105,"journal":{"name":"Mathematics in Computer Science","volume":null,"pages":null},"PeriodicalIF":0.8,"publicationDate":"2020-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74156448","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
扫码关注我们
求助内容：
应助结果提醒方式：