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

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
Rabin's width of a complete proof and the width of a semialgebraic set Rabin的宽度的完全证明和半代数集的宽度
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_153
T. Recio, L. M. Pardo
{"title":"Rabin's width of a complete proof and the width of a semialgebraic set","authors":"T. Recio, L. M. Pardo","doi":"10.1007/3-540-51517-8_153","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_153","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"14 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":"128389798","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
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
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
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
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
Creation of efficient symbolic-numeric interface 创建高效的符号-数字界面
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_98
N. N. Vasiliev
{"title":"Creation of efficient symbolic-numeric interface","authors":"N. N. Vasiliev","doi":"10.1007/3-540-51517-8_98","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_98","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"98 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":"121614271","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
CTS - Algebraic debugging system for REDUCE programs 用于REDUCE程序的代数调试系统
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_121
A. Kryukov, A. Rodionov
{"title":"CTS - Algebraic debugging system for REDUCE programs","authors":"A. Kryukov, A. Rodionov","doi":"10.1007/3-540-51517-8_121","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_121","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"27 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":"122195223","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
Computation of generalized Padé approximants 广义pad<s:1>近似量的计算
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_150
G. Németh, M. Zimányi
{"title":"Computation of generalized Padé approximants","authors":"G. Németh, M. Zimányi","doi":"10.1007/3-540-51517-8_150","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_150","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"34 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":"122197956","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
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
首页 上一页 下一页 尾页
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学术官方微信