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

Symposium on Symbolic and Algebraic Manipulation最新文献

筛选
英文 中文
Double cosets and searching small groups 双辅助集和搜索小团体
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806393
G. Butler
{"title":"Double cosets and searching small groups","authors":"G. Butler","doi":"10.1145/800206.806393","DOIUrl":"https://doi.org/10.1145/800206.806393","url":null,"abstract":"Double cosets are an important concept of group theory. Although the desirability of algorithms to compute double cosets has been recognized, there has not appeared any algorithm in the literature. The algorithm which we present is a variant of Dimino's algorithm for computing a list of elements of a small group. (By “small” we mean groups of order less than 104, whose list of elements we can explicitly store.)\u0000 The paper focusses on the problem of searching a small group for elements with a given property. For the record we present Dimino's algorithm and a general algorithm for searching a small group. These two algorithms are not original. We analyse the search algorithm and discuss the role of double cosets in searching. The use of double cosets in the search algorithm does not appear to lead to an improvement over the use of right cosets.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130353413","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
Note on probabilistic algorithms in integer and polynomial arithmetic 整数和多项式算法中的概率算法
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806380
M. Kaminski
{"title":"Note on probabilistic algorithms in integer and polynomial arithmetic","authors":"M. Kaminski","doi":"10.1145/800206.806380","DOIUrl":"https://doi.org/10.1145/800206.806380","url":null,"abstract":"For many computational problems it is not known whether verification of a result can be done faster than its computation. For instance, it is unknown whether the verification of the validity of the integer equality x*y&equil;z needs fewer bit operations than a computation of the product x*y. It is sometimes much easier, however, to speed up the computation probabilistically if just the verification of the result is involved.\u0000 In this paper we present linear probabilistic algorithms for verification of the validity of the integer equality f<subscrpt>1</subscrpt>(x<subscrpt>1</subscrpt>,...,x<subscrpt>N</subscrpt>)&equil;f<subscrpt>2</subscrpt>(x<subscrpt>1</subscrpt>,...,x<subscrpt>N</subscrpt>) for rational functions f<subscrpt>1</subscrpt> and f<subscrpt>2</subscrpt>, which can be of the form of a rational combination of rational functions.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"4 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113932524","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
Newton's iteration and the sparse Hensel algorithm (Extended Abstract) 牛顿迭代与稀疏Hensel算法(扩展摘要)
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806372
R. Zippel
{"title":"Newton's iteration and the sparse Hensel algorithm (Extended Abstract)","authors":"R. Zippel","doi":"10.1145/800206.806372","DOIUrl":"https://doi.org/10.1145/800206.806372","url":null,"abstract":"This paper presents an organization of the p-adic lifting (or Hensel) algorithm that differs from the organization previously presented by Zassenhaus [Zas69] and currently used in algebraic manipulation circles [Mos73, Yun74, Wan75, Mus75]. Our organization is somewhat more general than the earlier one and admits the improvements that yielded the “sparse modular” algorithm [Zip79] more easily than the Zassenhaus algorithm. From a pedagogical point of view, the relationship between Newton's iteration and the p-adic algorithms is clearer in our formulation than with the Zassenhaus algorithm.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121143197","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}
引用次数: 54
Parallelism in algebraic computation and parallel algorithms for symbolic linear systems 符号线性系统代数计算中的并行性和并行算法
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806388
Tateaki Sasaki, Y. Kanada
{"title":"Parallelism in algebraic computation and parallel algorithms for symbolic linear systems","authors":"Tateaki Sasaki, Y. Kanada","doi":"10.1145/800206.806388","DOIUrl":"https://doi.org/10.1145/800206.806388","url":null,"abstract":"Parallel execution of algebraic computation is discussed in the first half of this paper. It is argued that, although a high efficiency is obtained by parallel execution of divide-and-conquer algorithms, the ratio of the throughput to the number of processors is still small. Parallel processing will be most successful for the modular algorithms and many algorithms in linear algebra. In the second half of this paper, parallel algorithms for symbolic determinants and linear equations are proposed. The algorithms manifest a very high efficiency in a simple parallel processing scheme. These algorithms are well usable in also the serial processing scheme.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127506556","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
Algorithms for central extensions of Lie algebras 李代数的中心扩展算法
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806391
R. Beck, B. Kolman
{"title":"Algorithms for central extensions of Lie algebras","authors":"R. Beck, B. Kolman","doi":"10.1145/800206.806391","DOIUrl":"https://doi.org/10.1145/800206.806391","url":null,"abstract":"It follows from [1] that every n-dimensional nilpotent Lie algebra is a central extension of a lower dimensional nilpotent Lie algebra. This paper develops algorithms to handle two problems: (1) the decomposition of a given nilpotent Lie algebra @@@@ as a finite sequence of central extensions of lower dimensional nilpotent Lie algebras and (2) the construction of all n-dimensional nilpotent Lie algebras as central extensions of lower dimensional nilpotent Lie algebras.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121012975","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
Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract) 符号行列式和线性系统的有效高斯消去方法(扩展摘要)
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806387
Tateaki Sasaki, H. Murao
{"title":"Efficient Gaussian elimination method for symbolic determinants and linear systems (Extended Abstract)","authors":"Tateaki Sasaki, H. Murao","doi":"10.1145/800206.806387","DOIUrl":"https://doi.org/10.1145/800206.806387","url":null,"abstract":"Efficient Gaussian elimination method for symbolic determinants and linear systems","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126002054","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
Tracing occurrences of patterns in symbolic computations 在符号计算中跟踪模式的出现
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806402
F. Gardin, J. Campbell
{"title":"Tracing occurrences of patterns in symbolic computations","authors":"F. Gardin, J. Campbell","doi":"10.1145/800206.806402","DOIUrl":"https://doi.org/10.1145/800206.806402","url":null,"abstract":"A report is made on the present state of development of a project to construct a tracing aid for users of symbolic computing systems that are written in LISP (or, in principle, any similar high-level language). The traces in question are intended to provide information which is primarily in terms that are natural for a user, e.g. on patterns of actions performed on his data, or patterns occurring in the data themselves during the operation of his program. Patterns are described in a syntax which is inspired by SNOBOL.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"191 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124922387","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
Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular) 奇异点邻域微分方程的形式解(正则与不规则)
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806367
J. Dora, E. Tournier
{"title":"Formal solutions of differential equations in the neighborhood of singular points (Regular and Irregular)","authors":"J. Dora, E. Tournier","doi":"10.1145/800206.806367","DOIUrl":"https://doi.org/10.1145/800206.806367","url":null,"abstract":"This paper presents an algorithm for building a fundamental system of formal solutions in the neighbourhood of every singularity of a linear homogenous differential operator.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131334021","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
Formulation of design rules for NMR imaging coil by using symbolic manipulation 核磁共振成像线圈设计规则的符号处理
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806375
J. Schenck, M. Hussain
{"title":"Formulation of design rules for NMR imaging coil by using symbolic manipulation","authors":"J. Schenck, M. Hussain","doi":"10.1145/800206.806375","DOIUrl":"https://doi.org/10.1145/800206.806375","url":null,"abstract":"A common problem in electrical technology is to design a current carrying coil that will produce a given magnetic field. For over a hundred years an equation, the Biot-Savart law, has been available that defines precisely the magnetic field at any point as a line integral along the path of the electric currents that are the sources of the field. In principle then, the design problem is straightforward - it is merely necessary to invert the Biot-Savart law and find a path whose line integral has the given values at the specified field points. However, the actual solution is not trivial and there is a continuing need for improved computational methods for relating magnetic fields to their sources.\u0000 Two forms of series expansion will be considered here - the ordinary Taylor series and the expansion in spherical harmonics. Other possible expansions - such as Bessel function methods for cylindrical coordinate problems - usually involve integrals over some eigenparameter rather than discrete sums and are not directly competitive with the methods discussed here.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126045188","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
A case study in interlanguage communication: Fast LISP polynomial operations written in 'C' 语言间交流的案例研究:用“C”编写的快速LISP多项式运算
Symposium on Symbolic and Algebraic Manipulation Pub Date : 1981-08-05 DOI: 10.1145/800206.806381
R. Fateman
{"title":"A case study in interlanguage communication: Fast LISP polynomial operations written in 'C'","authors":"R. Fateman","doi":"10.1145/800206.806381","DOIUrl":"https://doi.org/10.1145/800206.806381","url":null,"abstract":"It is shown that a simple program, written in the “C” programming language, can be interfaced to a Lisp algebraic manipulation system with substantial performance improvement as a result.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1981-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129163717","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
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信