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