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

European Conference on Computer Algebra最新文献

筛选
英文 中文
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation 用符号计算方法求解欧几里得空间中拉普拉斯算子的边值问题
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_117
F. Brackx, H. Serras
{"title":"Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation","authors":"F. Brackx, H. Serras","doi":"10.1007/3-540-51517-8_117","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_117","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128303201","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
An algorithm for the integration of elementary functions 初等函数积分的一种算法
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_158
M. Bronstein
{"title":"An algorithm for the integration of elementary functions","authors":"M. Bronstein","doi":"10.1007/3-540-51517-8_158","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_158","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123718581","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
A combinatorial and logical approach to linear-time computability 线性时间可计算性的组合和逻辑方法
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_142
Petra Scheffler, D. Seese
{"title":"A combinatorial and logical approach to linear-time computability","authors":"Petra Scheffler, D. Seese","doi":"10.1007/3-540-51517-8_142","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_142","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"2012 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121550470","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}
引用次数: 15
Complexity of quantifier elimination in the theory of ordinary differential equations 常微分方程理论中量词消去的复杂性
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_81
D. Grigoryev
{"title":"Complexity of quantifier elimination in the theory of ordinary differential equations","authors":"D. Grigoryev","doi":"10.1007/3-540-51517-8_81","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_81","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133245239","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}
引用次数: 42
Computerised system of analytic transformations for analysing of differential equations 用于分析微分方程的计算机化解析变换系统
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_111
V. L. Katkov, M. Popov
{"title":"Computerised system of analytic transformations for analysing of differential equations","authors":"V. L. Katkov, M. Popov","doi":"10.1007/3-540-51517-8_111","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_111","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132924566","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
An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal 一个扩展的Buchberger的算法，以计算所有的简化Gröbner基的多项式理想
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_130
Klaus-Peter Schemmel
{"title":"An extension of Buchberger's algorithm to compute all reduced Gröbner bases of a polynomial ideal","authors":"Klaus-Peter Schemmel","doi":"10.1007/3-540-51517-8_130","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_130","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133658338","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
Solving algebraic equations via Buchberger's algorithm 通过Buchberger算法求解代数方程
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_125
S. R. Czapor
{"title":"Solving algebraic equations via Buchberger's algorithm","authors":"S. R. Czapor","doi":"10.1007/3-540-51517-8_125","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_125","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"372 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115905425","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
Collision of convex objects 凸物体的碰撞
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_124
Bernhard Roider, S. Stifter
{"title":"Collision of convex objects","authors":"Bernhard Roider, S. Stifter","doi":"10.1007/3-540-51517-8_124","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_124","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"284 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116100063","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
Symbolic computation and the finite element method 符号计算与有限元法
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_94
J. ffitch, R. G. Hall
{"title":"Symbolic computation and the finite element method","authors":"J. ffitch, R. G. Hall","doi":"10.1007/3-540-51517-8_94","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_94","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127948085","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
Fonctions symétriques et changements de bases 对称函数和基的变化
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_135
Annick Valibouze
{"title":"Fonctions symétriques et changements de bases","authors":"Annick Valibouze","doi":"10.1007/3-540-51517-8_135","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_135","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"254 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1987-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129717462","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}
引用次数: 16
首页 上一页 下一页 尾页
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学术官方微信
小红书