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

European Conference on Computer Algebra最新文献

筛选
英文 中文
An Overview of Completion Algorithms 补全算法概述
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_303
R. Trias, U. S. Bolivar
{"title":"An Overview of Completion Algorithms","authors":"R. Trias, U. S. Bolivar","doi":"10.1007/3-540-15984-3_303","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_303","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"137 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131235771","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
P-Adic Algorithms and the Computation of Zeros of P-Adic L-Functions p进算法与p进l函数的零点计算
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_319
Karin Lamprecht, H. Zimmer
{"title":"P-Adic Algorithms and the Computation of Zeros of P-Adic L-Functions","authors":"Karin Lamprecht, H. Zimmer","doi":"10.1007/3-540-15984-3_319","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_319","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132290202","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 Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields 实数二次域上完美多面体锥的一种计算算法
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_317
H. Ong, D. Golke
{"title":"An Algorithm for the Computation of Perfect Polyhedral Cones over Real Quadratic Number Fields","authors":"H. Ong, D. Golke","doi":"10.1007/3-540-15984-3_317","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_317","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128890119","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 Program System for Factorization of Polynominals with Rational Coefficients 有理系数多项式分解的程序系统
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_251
M. Kreißig
{"title":"A Program System for Factorization of Polynominals with Rational Coefficients","authors":"M. Kreißig","doi":"10.1007/3-540-15984-3_251","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_251","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131848093","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
PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results PASCAL-SC演示:验证结果的精确算法
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_287
J. W. V. Gudenberg
{"title":"PASCAL-SC Demonstration: Accurate Arithmetic for Verified Results","authors":"J. W. V. Gudenberg","doi":"10.1007/3-540-15984-3_287","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_287","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"2008 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127311591","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
On Some Laws in PSL(2, q) 关于PSL(2, q)中的一些规律
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_271
D. Nikolova
{"title":"On Some Laws in PSL(2, q)","authors":"D. Nikolova","doi":"10.1007/3-540-15984-3_271","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_271","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"109 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114902254","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
Progress on the Equivalence Problem 等价问题的研究进展
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_242
J. E. Åman, R. d'Inverno, G. Joly, M. MacCallum
{"title":"Progress on the Equivalence Problem","authors":"J. E. Åman, R. d'Inverno, G. Joly, M. MacCallum","doi":"10.1007/3-540-15984-3_242","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_242","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"91 6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123493246","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
Algorithmic Methods in Automatic Programming 自动编程中的算法方法
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15983-5_11
A. Biermann
{"title":"Algorithmic Methods in Automatic Programming","authors":"A. Biermann","doi":"10.1007/3-540-15983-5_11","DOIUrl":"https://doi.org/10.1007/3-540-15983-5_11","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"98 47","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120823271","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
Symbol Manipulation and Symmetry Breaking 符号操作和对称破坏
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_341
H. Zassenhaus
{"title":"Symbol Manipulation and Symmetry Breaking","authors":"H. Zassenhaus","doi":"10.1007/3-540-15984-3_341","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_341","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129730121","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
SHEEP and Classification in General Relativity 广义相对论中的绵羊与分类
European Conference on Computer Algebra Pub Date : 1985-04-01 DOI: 10.1007/3-540-15984-3_255
I. Frick, J. E. Åman
{"title":"SHEEP and Classification in General Relativity","authors":"I. Frick, J. E. Åman","doi":"10.1007/3-540-15984-3_255","DOIUrl":"https://doi.org/10.1007/3-540-15984-3_255","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1985-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128556760","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
首页 上一页
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学术官方微信