Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
Pub Date : 1987-06-02DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：