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

Mathematics in Computer Science最新文献

筛选
英文 中文
A Symbolic Dynamic Geometry System Using the Analytical Geometry Method 基于解析几何方法的符号动态几何系统
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-25 DOI: 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}
引用次数: 3
Automated Deduction and Knowledge Management in Geometry 几何中的自动演绎与知识管理
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-25 DOI: 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}
引用次数: 3
A Logic Based Approach to Finding Real Singularities of Implicit Ordinary Differential Equations 求隐式常微分方程实奇点的一种逻辑方法
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-17 DOI: 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}
引用次数: 4
Clustering Complex Zeros of Triangular Systems of Polynomials 三角多项式系统的复零聚类
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-17 DOI: 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}
引用次数: 1
A Short Contribution to the Theory of Regular Chains 对规则链理论的简短贡献
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-17 DOI: 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}
引用次数: 1
Symmetry-Based Algorithms for Invertible Mappings of Polynomially Nonlinear PDE to Linear PDE 多项式非线性偏微分方程到线性偏微分方程可逆映射的对称算法
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-17 DOI: 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}
引用次数: 4
Foreword to the Special Focus on Advances in Symbolic and Numeric Computation III 特别关注符号和数值计算的进展前言3
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-13 DOI: 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}
引用次数: 0
Degree Upper Bounds for Involutive Bases 对合基的度上界
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-06 DOI: 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}
引用次数: 2
Tropical Differential Gröbner Bases 热带差值Gröbner碱基
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-06 DOI: 10.1007/s11786-020-00481-1
Youren Hu, Xiao-Shan Gao
{"title":"Tropical Differential Gröbner Bases","authors":"Youren Hu, Xiao-Shan Gao","doi":"10.1007/s11786-020-00481-1","DOIUrl":"https://doi.org/10.1007/s11786-020-00481-1","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":"72691529","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
Testing Zero-Dimensionality of Varieties at a Point 在一点上检验品种的零维性
IF 0.8
Mathematics in Computer Science Pub Date : 2020-06-05 DOI: 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}
引用次数: 6
首页 上一页
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学术文献互助群
群 号：481959085
Book学术官方微信