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

European Conference on Computer Algebra最新文献

筛选
英文 中文
REDUCE 3.2 on iAPX 86/286-based personal computers 基于iAPX 86/286的个人计算机上的REDUCE 3.2
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_101
Tsuyoshi Yamamoto, Y. Aoki
{"title":"REDUCE 3.2 on iAPX 86/286-based personal computers","authors":"Tsuyoshi Yamamoto, Y. Aoki","doi":"10.1007/3-540-51517-8_101","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_101","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"18 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":"133042503","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
Hermite normal forms for integer matrices 整数矩阵的埃尔米特范式
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_133
R. Bradford
{"title":"Hermite normal forms for integer matrices","authors":"R. Bradford","doi":"10.1007/3-540-51517-8_133","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_133","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"3 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":"114363292","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
Implementation of a geometry theorem proving package in SCRATCHPAD II 一个几何定理证明包在SCRATCHPAD II中的实现
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_123
K. Kusche, B. Kutzler, H. Mayr
{"title":"Implementation of a geometry theorem proving package in SCRATCHPAD II","authors":"K. Kusche, B. Kutzler, H. Mayr","doi":"10.1007/3-540-51517-8_123","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_123","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"217 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":"125745934","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}
引用次数: 11
Application of Lie group and computer algebra to nonlinear mechanics 李群与计算机代数在非线性力学中的应用
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_95
D. Klimov, V. Rudenko, V. Zhuravlev
{"title":"Application of Lie group and computer algebra to nonlinear mechanics","authors":"D. Klimov, V. Rudenko, V. Zhuravlev","doi":"10.1007/3-540-51517-8_95","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_95","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"56 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":"122238711","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
Expression optimization using high-level knowledge 使用高级知识的表达式优化
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_90
Mark P. W. Mutrie, B. Char, R. Bartels
{"title":"Expression optimization using high-level knowledge","authors":"Mark P. W. Mutrie, B. Char, R. Bartels","doi":"10.1007/3-540-51517-8_90","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_90","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":"125982058","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}
引用次数: 3
Gröbner bases for polynomial ideals over commutative regular rings Gröbner可交换正则环上多项式理想的基
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_137
V. Weispfenning
{"title":"Gröbner bases for polynomial ideals over commutative regular rings","authors":"V. Weispfenning","doi":"10.1007/3-540-51517-8_137","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_137","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"121 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":"132284107","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}
引用次数: 48
CATFACT: Computer algebraic tools for applications of catastrophe theory CATFACT:灾变理论应用的计算机代数工具
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_91
R. Cowell, F. Wright
{"title":"CATFACT: Computer algebraic tools for applications of catastrophe theory","authors":"R. Cowell, F. Wright","doi":"10.1007/3-540-51517-8_91","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_91","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"59 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":"132186890","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}
引用次数: 11
Groups and polynomials 群与多项式
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_82
Geoff C. Smith
{"title":"Groups and polynomials","authors":"Geoff C. Smith","doi":"10.1007/3-540-51517-8_82","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_82","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"373 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":"114877026","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
Shortest paths of a disc inside a polygonal region 多边形区域内圆盘的最短路径
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_152
G. Werner
{"title":"Shortest paths of a disc inside a polygonal region","authors":"G. Werner","doi":"10.1007/3-540-51517-8_152","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_152","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"93 13 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":"126038550","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
Infinite structures in SCRATCHPAD II 无限结构在SCRATCHPAD II
European Conference on Computer Algebra Pub Date : 1987-06-02 DOI: 10.1007/3-540-51517-8_103
W. Burge, S. Watt
{"title":"Infinite structures in SCRATCHPAD II","authors":"W. Burge, S. Watt","doi":"10.1007/3-540-51517-8_103","DOIUrl":"https://doi.org/10.1007/3-540-51517-8_103","url":null,"abstract":"","PeriodicalId":412002,"journal":{"name":"European Conference on Computer Algebra","volume":"5 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":"116823761","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}
引用次数: 19
首页 上一页 下一页 尾页
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学术官方微信