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

European Conference on Computer Algebra最新文献

筛选
英文 中文
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system 行列式的符号求值方法及其在规划-解析系统中的实现
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_118
V. A. Eltekov, V. B. Shikalov
{"title":"The methods for symbolic evaluation of determinants and their realization in the planner-analytic system","authors":"V. A. Eltekov, V. B. Shikalov","doi":"10.1007/3-540-51517-8_118","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_118","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"29 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":"125233427","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
Computer classification of integrable seventh order MKdV-like equations 可积七阶类mkdv方程的计算机分类
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_93
V. Gerdt, A. Zharkov
{"title":"Computer classification of integrable seventh order MKdV-like equations","authors":"V. Gerdt, A. Zharkov","doi":"10.1007/3-540-51517-8_93","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_93","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"29 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":"134410820","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
Application of a structured LISP system to computer algebra 结构化LISP系统在计算机代数中的应用
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_104
J. Smit, S. H. Gerez, R. Mulder
{"title":"Application of a structured LISP system to computer algebra","authors":"J. Smit, S. H. Gerez, R. Mulder","doi":"10.1007/3-540-51517-8_104","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_104","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"12 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":"132152266","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
Practical aspects of symbolic integration over Q(x) Q(x)上符号积分的实用问题
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_154
David M. Gillies, B. Char
{"title":"Practical aspects of symbolic integration over Q(x)","authors":"David M. Gillies, B. Char","doi":"10.1007/3-540-51517-8_154","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_154","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"30 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":"114803435","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 critical pair criterion for completion modulo a congruence 完备模同余的一个关键对准则
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_151
L. Bachmair, N. Dershowitz
{"title":"A critical pair criterion for completion modulo a congruence","authors":"L. Bachmair, N. Dershowitz","doi":"10.1007/3-540-51517-8_151","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_151","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":"114300094","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
Trace calculations for gauge theories on a personal computer 在个人计算机上对规范理论进行跟踪计算
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_109
J. Ranft, H. Perlt
{"title":"Trace calculations for gauge theories on a personal computer","authors":"J. Ranft, H. Perlt","doi":"10.1007/3-540-51517-8_109","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_109","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"21 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":"131741853","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 computation of embedded resolution of algebraic curves 代数曲线嵌入分辨率计算的复杂性
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_143
J. Henry, M. Merle
{"title":"Complexity of computation of embedded resolution of algebraic curves","authors":"J. Henry, M. Merle","doi":"10.1007/3-540-51517-8_143","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_143","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"42 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":"129853134","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
A matrix-approach for proving inequalities 证明不等式的矩阵方法
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_145
A. Ferscha
{"title":"A matrix-approach for proving inequalities","authors":"A. Ferscha","doi":"10.1007/3-540-51517-8_145","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_145","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"44 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":"132116785","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
Towards a refined classification of geometric search and computation problems 面向精细分类的几何搜索与计算问题
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_148
Thomas M. Fischer
{"title":"Towards a refined classification of geometric search and computation problems","authors":"Thomas M. Fischer","doi":"10.1007/3-540-51517-8_148","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_148","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":"132521101","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
首页 上一页 下一页 尾页
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学术官方微信