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

Symbolic and Algebraic Computation最新文献

筛选
英文 中文
MODLISP -- an introduction (invited) MODLISP—介绍(特邀)
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_96
R. Jenks
{"title":"MODLISP -- an introduction (invited)","authors":"R. Jenks","doi":"10.1007/3-540-09519-5_96","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_96","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124095993","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}
引用次数: 10
Canonicity in rule systems 规则系统中的规范性
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_54
M. Genesereth
{"title":"Canonicity in rule systems","authors":"M. Genesereth","doi":"10.1007/3-540-09519-5_54","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_54","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"2 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115718027","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
Camac 1979
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_77
J. S. Leon, Vera Pless
{"title":"Camac 1979","authors":"J. S. Leon, Vera Pless","doi":"10.1007/3-540-09519-5_77","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_77","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116086037","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
An arbitrary precision real arithmetic package in REDUCE REDUCE中的任意精度实算术包
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_87
Tateaki Sasaki
{"title":"An arbitrary precision real arithmetic package in REDUCE","authors":"Tateaki Sasaki","doi":"10.1007/3-540-09519-5_87","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_87","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131399279","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}
引用次数: 15
A criterion for detecting unnecessary reductions in the construction of Groebner bases 检测格罗布纳基地建设不必要减少的标准
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_52
B. Buchberger
{"title":"A criterion for detecting unnecessary reductions in the construction of Groebner bases","authors":"B. Buchberger","doi":"10.1007/3-540-09519-5_52","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_52","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"23 1-2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120892423","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}
引用次数: 388
New recursive minor expansion algorithms 新的递归小扩展算法
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_61
J. Smit
{"title":"New recursive minor expansion algorithms","authors":"J. Smit","doi":"10.1007/3-540-09519-5_61","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_61","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132640059","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}
引用次数: 12
The computerization of algebraic geometry 代数几何的计算机化
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_65
J. Davenport
{"title":"The computerization of algebraic geometry","authors":"J. Davenport","doi":"10.1007/3-540-09519-5_65","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_65","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133375759","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}
引用次数: 8
Design of algebraic data structures with the approach of abstract data types 用抽象数据类型的方法设计代数数据结构
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_100
G. Ausiello, G. Mascari
{"title":"Design of algebraic data structures with the approach of abstract data types","authors":"G. Ausiello, G. Mascari","doi":"10.1007/3-540-09519-5_100","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_100","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"155 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125454414","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}
引用次数: 6
Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited) 基于INTEL-8080微处理器的MUMATH-78计算机代数系统的性能(特邀)
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_76
A. D. Rich, D. R. Stoutemyer
{"title":"Capabilities of the MUMATH-78 computer algebra system for the INTEL-8080 microprocessor (invited)","authors":"A. D. Rich, D. R. Stoutemyer","doi":"10.1007/3-540-09519-5_76","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_76","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129250786","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}
引用次数: 18
An algorithm for the analytic evaluation of a class of integrals 一类积分的解析求值算法
Symbolic and Algebraic Computation Pub Date : 1979-06-01 DOI: 10.1007/3-540-09519-5_58
M. Caffo, E. Remiddi, S. Turrini
{"title":"An algorithm for the analytic evaluation of a class of integrals","authors":"M. Caffo, E. Remiddi, S. Turrini","doi":"10.1007/3-540-09519-5_58","DOIUrl":"https://doi.org/10.1007/3-540-09519-5_58","url":null,"abstract":"","PeriodicalId":229522,"journal":{"name":"Symbolic and Algebraic Computation","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1979-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125276765","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
首页 上一页 下一页 尾页
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学术官方微信