首页 > 最新文献

Symposium on Symbolic and Algebraic Manipulation最新文献

英文 中文
A numerical code generation facility for REDUCE 一个用于REDUCE的数字代码生成工具
Pub Date : 1986-10-01 DOI: 10.1145/32439.32459
Barbara L. Gates
Many scientific problems require mathematical modeling and symbolic derivation to produce formulas which are evaluated numerically. Computer algebra systems can be used effectively in the symbolic derivation phase and subsequently to generate numerical code. This paper describes the design of the GENTRAN code generation facility for REDUCE.
许多科学问题需要数学建模和符号推导来产生可以数值计算的公式。计算机代数系统可以有效地用于符号推导阶段,随后生成数值代码。本文介绍了用于REDUCE的GENTRAN代码生成工具的设计。
{"title":"A numerical code generation facility for REDUCE","authors":"Barbara L. Gates","doi":"10.1145/32439.32459","DOIUrl":"https://doi.org/10.1145/32439.32459","url":null,"abstract":"Many scientific problems require mathematical modeling and symbolic derivation to produce formulas which are evaluated numerically. Computer algebra systems can be used effectively in the symbolic derivation phase and subsequently to generate numerical code. This paper describes the design of the GENTRAN code generation facility for REDUCE.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123771914","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}
引用次数: 30
Algorithm for computing formal invariants of linear differential systems 线性微分系统形式不变量的计算算法
Pub Date : 1986-10-01 DOI: 10.1145/32439.32478
A. Hilali, A. Wazner
This paper deals with the system of n linear differential equations (*) y'(x) = A(x)y where A(x) is a matrix with formal series coefficients. A sequence of formal invariants related to (*) is defined. An algorithm which reduces (*) by means of meromorphic transformations to a “super-irreducible” form is given. The computation of these invariants follows directly from this form. This algorithm is implemented in Reduce.
本文研究了n个线性微分方程组(*)y'(x) = A(x)y,其中A(x)是具有形式级数系数的矩阵。定义了一个与(*)相关的形式不变量序列。给出了一种利用亚纯变换将(*)约化为“超不可约”形式的算法。这些不变量的计算直接从这个形式推导出来。该算法在Reduce中实现。
{"title":"Algorithm for computing formal invariants of linear differential systems","authors":"A. Hilali, A. Wazner","doi":"10.1145/32439.32478","DOIUrl":"https://doi.org/10.1145/32439.32478","url":null,"abstract":"This paper deals with the system of n linear differential equations (*) y'(x) = A(x)y where A(x) is a matrix with formal series coefficients. A sequence of formal invariants related to (*) is defined. An algorithm which reduces (*) by means of meromorphic transformations to a “super-irreducible” form is given. The computation of these invariants follows directly from this form. This algorithm is implemented in Reduce.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131227857","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
An application of knowledge-base technology in education: a geometry theorem prover 知识库技术在教育中的应用:一个几何定理证明器
Pub Date : 1986-10-01 DOI: 10.1145/32439.32468
M. Hadzikadic, F. Lichtenberger, D. Yun
1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.
1. 学生第一次接触正式的数学证明通常是在高中几何课程中。众所周知,这个话题给老师和学生都带来了很大的困难。根据Hoffer的说法,几何通常被认为是所有学科中最不受欢迎的。尽管证明在高中数学中很受欢迎,但人们普遍认为,理解数学证明的基本原理对于发展高等数学和逻辑技能是必不可少的。
{"title":"An application of knowledge-base technology in education: a geometry theorem prover","authors":"M. Hadzikadic, F. Lichtenberger, D. Yun","doi":"10.1145/32439.32468","DOIUrl":"https://doi.org/10.1145/32439.32468","url":null,"abstract":"1. IntnniuctIon The first time that a student is exposed to formal mathematical proofs normally happens during a high school geometry course. it is well known that this topic causes significant difficulties for both teachers and students. According to [Hoffer 811, geometry is usually rated as the least liked of all subjects. Although proofs are all but welcomed in high school mathematics, it is generally recognized that an understanding of the basic principles underlying mathematical proofs is essential for the development of higher mathematical and logical skiHs.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133361570","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
An implementation of operators for symbolic algebra systems 符号代数系统的运算符实现
Pub Date : 1986-10-01 DOI: 10.1145/32439.32487
G. Gonnet
In this paper we propose a design and implementation of operators and their associated functionality for symbolic algebra systems. We believe that operators should blend harmoniously (syntactically and semantically) with the underlying language, in such a way that users will find them convenient and appealing to use. It is “vox populi” that operators are needed in a symbolic algebra system, although there is little consensus on what these should be, what the semantics should be, allowable operations, syntax, etc. All of these ideas, and examples, have been implemented and work as described in our current version of Maple Cha85.During the first Maple retreat83 we established a basic design for operators. The implementation of this design was delayed until some remaining crucial details were finally solved during the 1985 Maple retreat (Sept 1985). In this sense, this paper is the result of the collective work of all the participants of these two retreats.What is an operator? We would like to define an operator to be an abstract data type which describes (at various possible degrees: totally, partially or minimally) an operation to be performed on its arguments. This abstract data type is closely associated with the operations of application and composition, but will also allow most (or all) of the other algebraic operations.We it found useful to have some “witness” examples that we want to solve in an elegant and general form. The two main examples were:(a) How to represent the first derivative of ƒ(x) at 0, i.e. ƒ′(0) (the above really boils down to an effective representation of the differentiation operator)(b) How to represent and to operate with a non-communative multiplication operator, for example matrix multiplication.Of course many systems solve the above problems, but in some cases (in particular for the first example) as an ad-hoc solution. By an ad-hoc solution we mean that, for the differentiation example, this operator cannot be written in terms of the primitives given by the language.It is important to note that there are three issues to resolve:a purely representational/syntactic argument: how to input/output these operators.a purely functional argument: how to perform all the operations we want performed.an integrational argument: how to join operators harmoniously with a symbolic algebra system.
本文提出了符号代数系统中算子及其相关功能的设计与实现。我们认为操作符应该(在语法和语义上)与底层语言和谐地融合在一起,以使用户发现它们使用起来方便和有吸引力。符号代数系统中需要操作符,这是“流行的”,尽管对于这些操作符应该是什么、语义应该是什么、允许的操作、语法等几乎没有共识。所有这些想法,和例子,已经实现和工作描述在我们当前版本的Maple Cha85。在第一次Maple撤退期间,我们为操作员建立了一个基本设计。这个设计的实施被推迟,直到一些关键的细节在1985年枫叶静修(1985年9月)期间最终得到解决。从这个意义上说,这篇论文是这两次静修的所有参与者共同努力的结果。什么是算子?我们希望将操作符定义为一种抽象数据类型,它描述(在不同可能的程度上:全部、部分或最低限度)对其参数执行的操作。这种抽象数据类型与应用程序和组合的操作密切相关,但也允许大多数(或全部)其他代数操作。我们发现有一些“见证”示例很有用,我们希望以优雅和通用的形式解决这些示例。两个主要的例子是:(a)如何表示f (x)在0处的一阶导数,即f '(0)(以上实际上归结为微分算子的有效表示)(b)如何表示和操作非交换乘法算子,例如矩阵乘法。当然,许多系统都可以解决上述问题,但在某些情况下(特别是第一个示例)作为临时解决方案。我们所说的特别解是指,对于微分例子,这个运算符不能用语言给出的原语来表示。需要注意的是,有三个问题需要解决:纯粹的表示/语法参数:如何输入/输出这些操作符。一个纯函数参数:如何执行我们想要执行的所有操作。一个积分论证:如何与符号代数系统和谐地连接算子。
{"title":"An implementation of operators for symbolic algebra systems","authors":"G. Gonnet","doi":"10.1145/32439.32487","DOIUrl":"https://doi.org/10.1145/32439.32487","url":null,"abstract":"In this paper we propose a design and implementation of operators and their associated functionality for symbolic algebra systems. We believe that operators should blend harmoniously (syntactically and semantically) with the underlying language, in such a way that users will find them convenient and appealing to use. It is “vox populi” that operators are needed in a symbolic algebra system, although there is little consensus on what these should be, what the semantics should be, allowable operations, syntax, etc. All of these ideas, and examples, have been implemented and work as described in our current version of Maple Cha85.\u0000During the first Maple retreat83 we established a basic design for operators. The implementation of this design was delayed until some remaining crucial details were finally solved during the 1985 Maple retreat (Sept 1985). In this sense, this paper is the result of the collective work of all the participants of these two retreats.\u0000What is an operator? We would like to define an operator to be an abstract data type which describes (at various possible degrees: totally, partially or minimally) an operation to be performed on its arguments. This abstract data type is closely associated with the operations of application and composition, but will also allow most (or all) of the other algebraic operations.\u0000We it found useful to have some “witness” examples that we want to solve in an elegant and general form. The two main examples were:\u0000(a) How to represent the first derivative of ƒ(x) at 0, i.e. ƒ′(0) (the above really boils down to an effective representation of the differentiation operator)\u0000(b) How to represent and to operate with a non-communative multiplication operator, for example matrix multiplication.\u0000Of course many systems solve the above problems, but in some cases (in particular for the first example) as an ad-hoc solution. By an ad-hoc solution we mean that, for the differentiation example, this operator cannot be written in terms of the primitives given by the language.\u0000It is important to note that there are three issues to resolve:a purely representational/syntactic argument: how to input/output these operators.\u0000a purely functional argument: how to perform all the operations we want performed.\u0000an integrational argument: how to join operators harmoniously with a symbolic algebra system.\u0000","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132725709","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
A system for manipulating polynomials given by straight-line programs 一种处理由直线程序给出的多项式的系统
Pub Date : 1986-10-01 DOI: 10.1145/32439.32473
T. S. Freeman, Gregory M. Imirzian, E. Kaltofen
We discuss the design, implementation, and benchmarking of a system that can manipulate symbolic expressions represented by their straight-line computations. Our system is capable of performing rational arithmetic, evaluating, differentiating, taking greatest common divisors of, and factoring polynomials in straight-line format. The straight-line results can also be converted to standard sparse format. We show by example that our system can handle problems for which conventional methods lead to excessive intermediate expression swell.
我们讨论了一个系统的设计、实现和基准测试,该系统可以操作由直线计算表示的符号表达式。我们的系统能够在直线格式中执行有理算术,评估,微分,取多项式的最大公约数和因式分解。直线结果也可以转换为标准的稀疏格式。我们通过实例表明,我们的系统可以处理传统方法导致过度中间表达式膨胀的问题。
{"title":"A system for manipulating polynomials given by straight-line programs","authors":"T. S. Freeman, Gregory M. Imirzian, E. Kaltofen","doi":"10.1145/32439.32473","DOIUrl":"https://doi.org/10.1145/32439.32473","url":null,"abstract":"We discuss the design, implementation, and benchmarking of a system that can manipulate symbolic expressions represented by their straight-line computations. Our system is capable of performing rational arithmetic, evaluating, differentiating, taking greatest common divisors of, and factoring polynomials in straight-line format. The straight-line results can also be converted to standard sparse format. We show by example that our system can handle problems for which conventional methods lead to excessive intermediate expression swell.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120958620","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
Symbolic algorithms for Lie algebra computation 李代数计算的符号算法
Pub Date : 1986-10-01 DOI: 10.1145/32439.32456
R. Beck, B. Kolman
In [l] a systematic effort to carry out the structural analysis of a Lie algebra L on a computer was begun. The effort concentrated on the calculation of the various radicals of L , the various series of L , a Cartan subalgebra of L , and the derivation algebra of L. From these computations one can determine whether L is nilpotent, solvable, or semisimple. The computer implementations of this analysis were done using APL. This paper describes the extension of this work to the structural analysis of a Lie algebra L whose multiplication table is defined symbolically rather than numerically. The expanded context of this analysis requires a symbol manipulation language for the computer implementations; we have chosen to use MACSYMA.
[1]开始在计算机上系统地进行李代数l的结构分析。工作集中在L的各种根、L的各种级数、L的Cartan子代数和L的派生代数的计算上。从这些计算中可以确定L是幂零的、可解的还是半单质的。该分析的计算机实现是使用APL完成的。本文将这一工作推广到李代数L的结构分析,该李代数L的乘法表是用符号而不是用数值来定义的。这种分析的扩展上下文需要一种用于计算机实现的符号操作语言;我们选择使用MACSYMA。
{"title":"Symbolic algorithms for Lie algebra computation","authors":"R. Beck, B. Kolman","doi":"10.1145/32439.32456","DOIUrl":"https://doi.org/10.1145/32439.32456","url":null,"abstract":"In [l] a systematic effort to carry out the structural analysis of a Lie algebra L on a computer was begun. The effort concentrated on the calculation of the various radicals of L , the various series of L , a Cartan subalgebra of L , and the derivation algebra of L. From these computations one can determine whether L is nilpotent, solvable, or semisimple. The computer implementations of this analysis were done using APL. This paper describes the extension of this work to the structural analysis of a Lie algebra L whose multiplication table is defined symbolically rather than numerically. The expanded context of this analysis requires a symbol manipulation language for the computer implementations; we have chosen to use MACSYMA.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132370027","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
Dialogue in REDUCE: experience and development REDUCE对话:经验与发展
Pub Date : 1986-10-01 DOI: 10.1145/32439.32461
A. Kryukov
The communication between a user @nd Q computer can be realized in the dialogue or package mode. In numer ical calculations the package mode is quite acceptable, but it is not so good for analytic calcul ations because of their specific char acter. In analytic cal cul a-tions an active search for solution i s, as a r ul e, done which is based, to a large extent , on the tr ial .-and-err or method. Al 1 moder n systems of analytic calculations use the dialogue mode. When organizing a dial ague, psychological factor s must, natu-r ally, be taken into account. 'T'he neglect of these factors decreases the efficiency in the use of the system. When devel oping the dialogue mode of the REDUCE system we did our best to include the r esults of the psy-chologic exper iment /I/. Among the universal systems the REDUCE system of computer al gebra /2/ is the most popular. The system is equipped with sufficiently powerful mathematics incl uciing, along with the polynomial algebr a, the oper ations on matr ices, differ entiation, integr ation, algebra of Dir ac r matr ices,etc. The po-pul ar ity of the system is expl aineci, large1 y, by the convenient ALGOL-like language which possesses all the necessary constructions fr om the standpoint of moder n sty1 e of pr og-r amming. 2. Dialogue mode in the REDUCE system. The dialogue mode of the REDUCE system is based on a special method of processing Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specfic permission. error s. For example, if an err or is revealed in the package mode the pr ogr am execution is inter r upted for the syntactic parsing of the remaining text. In the dialogue mode, the program execution is inter r upted, if an err or occur es, but, as opposed to the package mode, the control is tr ansfer red to a user. The expression r eponsible for an er r-Or is neglected in both the cases. In the dialogue mode a user …
用户@和Q计算机之间的通信可以通过对话或包的方式实现。在数值计算中,包模式是可以接受的,但在解析计算中,由于包模式的特殊性,它就不那么好了。在解析计算中,对解的主动搜索是一种方法,在很大程度上是基于试错法。现代的分析计算系统都使用对话模式。在组织会议时,自然要考虑到心理因素。忽视这些因素会降低系统的使用效率。在开发REDUCE系统的对话模式时,我们尽量将心理学实验的结果/I/纳入其中。在通用系统中,计算机代数/2/的REDUCE系统是最常用的。该系统具有足够强大的数学功能,包括代数、多项式代数、对矩阵的运算、微分、积分、矩阵代数等。该系统的受欢迎程度在很大程度上是由方便的类似于算法的语言来解释的,从现代编程风格的角度来看,它拥有所有必要的结构。2. REDUCE系统中的对话模式。REDUCE系统的对话模式基于一种特殊的处理方法,允许免费复制本材料的全部或部分内容,前提是这些副本不是为了直接的商业利益而制作或分发的,必须出现ACM版权声明、出版物的标题和出版日期,并注明复制是由计算机械协会许可的。以其他方式复制或重新发布需要付费和/或特定许可。例如,如果在包模式中出现错误,则中断程序的执行,以便对其余文本进行语法解析。在对话模式中,如果出现错误或发生错误,程序执行将被中断,但是,与包模式相反,控制权被转移给用户。表达式r在这两种情况下都被忽略了。在对话模式下,用户…
{"title":"Dialogue in REDUCE: experience and development","authors":"A. Kryukov","doi":"10.1145/32439.32461","DOIUrl":"https://doi.org/10.1145/32439.32461","url":null,"abstract":"The communication between a user @nd Q computer can be realized in the dialogue or package mode. In numer ical calculations the package mode is quite acceptable, but it is not so good for analytic calcul ations because of their specific char acter. In analytic cal cul a-tions an active search for solution i s, as a r ul e, done which is based, to a large extent , on the tr ial .-and-err or method. Al 1 moder n systems of analytic calculations use the dialogue mode. When organizing a dial ague, psychological factor s must, natu-r ally, be taken into account. 'T'he neglect of these factors decreases the efficiency in the use of the system. When devel oping the dialogue mode of the REDUCE system we did our best to include the r esults of the psy-chologic exper iment /I/. Among the universal systems the REDUCE system of computer al gebra /2/ is the most popular. The system is equipped with sufficiently powerful mathematics incl uciing, along with the polynomial algebr a, the oper ations on matr ices, differ entiation, integr ation, algebra of Dir ac r matr ices,etc. The po-pul ar ity of the system is expl aineci, large1 y, by the convenient ALGOL-like language which possesses all the necessary constructions fr om the standpoint of moder n sty1 e of pr og-r amming. 2. Dialogue mode in the REDUCE system. The dialogue mode of the REDUCE system is based on a special method of processing Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the ACM copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Association for Computing Machinery. To copy otherwise, or to republish, requires a fee and/or specfic permission. error s. For example, if an err or is revealed in the package mode the pr ogr am execution is inter r upted for the syntactic parsing of the remaining text. In the dialogue mode, the program execution is inter r upted, if an err or occur es, but, as opposed to the package mode, the control is tr ansfer red to a user. The expression r eponsible for an er r-Or is neglected in both the cases. In the dialogue mode a user …","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128675656","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
Automated geometry theorem proving using Buchberger's algorithm 用Buchberger算法自动证明几何定理
Pub Date : 1986-10-01 DOI: 10.1145/32439.32480
B. Kutzler, S. Stifter
Recently, geometry theorem proving has become an important topic of research in symbolic computation. In this paper we present a new approach to automated geometry theorem proving that is based on Buchberger's Gröbner bases method, one of the most important general purpose methods in computer algebra. The goal is to automatically prove geometry theorems whose hypotheses and conjecture can be expressed algebraically, i.e. in form of polynomial equations. After shortly reviewing the basic notions of Gröbner bases and discussing some new aspects on confirming theorems, we describe two different methods for applying Buchberger's algorithm to geometry theorem proving, each of them being more efficient than the other on a certain class of problems. The second method requires a new notion of reduction, which we call pseudoreduction. This pseudoreduction yields results on polynomials over some rational function field by computations that are done merely over the rationals and, therefore, is of general interest. Finally, a computing time statistics on about 40 non-trivial examples is given, based on an implementation of the methods in the computer algebra system SAC-2 on an IBM 4341.
近年来,几何定理证明已成为符号计算领域的一个重要研究课题。本文提出了一种新的自动几何定理证明方法,该方法基于Buchberger的Gröbner基方法,这是计算机代数中最重要的通用方法之一。目标是自动证明几何定理,其假设和猜想可以用代数表示,即多项式方程的形式。在简要回顾Gröbner基的基本概念和讨论定理确认的一些新方面之后,我们描述了将Buchberger算法应用于几何定理证明的两种不同方法,每一种方法在某一类问题上都比另一种更有效。第二种方法需要一个新的约简概念,我们称之为伪约简。这种伪约简产生了一些有理函数域上的多项式的结果,通过计算仅仅是在有理上完成的,因此,是普遍感兴趣的。最后,基于计算机代数系统SAC-2在IBM 4341上的实现,给出了大约40个非平凡示例的计算时间统计。
{"title":"Automated geometry theorem proving using Buchberger's algorithm","authors":"B. Kutzler, S. Stifter","doi":"10.1145/32439.32480","DOIUrl":"https://doi.org/10.1145/32439.32480","url":null,"abstract":"Recently, geometry theorem proving has become an important topic of research in symbolic computation. In this paper we present a new approach to automated geometry theorem proving that is based on Buchberger's Gröbner bases method, one of the most important general purpose methods in computer algebra. The goal is to automatically prove geometry theorems whose hypotheses and conjecture can be expressed algebraically, i.e. in form of polynomial equations. After shortly reviewing the basic notions of Gröbner bases and discussing some new aspects on confirming theorems, we describe two different methods for applying Buchberger's algorithm to geometry theorem proving, each of them being more efficient than the other on a certain class of problems. The second method requires a new notion of reduction, which we call pseudoreduction. This pseudoreduction yields results on polynomials over some rational function field by computations that are done merely over the rationals and, therefore, is of general interest. Finally, a computing time statistics on about 40 non-trivial examples is given, based on an implementation of the methods in the computer algebra system SAC-2 on an IBM 4341.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"74 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120847257","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}
引用次数: 59
How to compute multivariate Pade approximants 如何计算多元Pade近似
Pub Date : 1986-10-01 DOI: 10.1145/32439.32450
C. Chaffy
We present here various ways of generalizing the Padé approximation to multivariate functions. To compute them, we use a computer algebra system: REDUCE.
我们在这里给出了将pad近似推广到多元函数的各种方法。为了计算它们,我们使用计算机代数系统:REDUCE。
{"title":"How to compute multivariate Pade approximants","authors":"C. Chaffy","doi":"10.1145/32439.32450","DOIUrl":"https://doi.org/10.1145/32439.32450","url":null,"abstract":"We present here various ways of generalizing the Padé approximation to multivariate functions. To compute them, we use a computer algebra system: REDUCE.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125796576","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
Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving 符号数学计算的计算机理解和推广:物理问题解决的一个案例研究
Pub Date : 1986-08-01 DOI: 10.1145/32439.32469
J. Shavlik, G. DeJong
An artificial intelligence system that learns by observing its users perform symbolic mathematical problem solving is presented. This fully-implemented system is being evaluated as a problem solver in the domain of classical physics. Using its mathematical and physical knowledge, the system determines why a human-provided solution to a specific problem suffices to solve the problem, and then extends the solution technique to more general situations, thereby improving its own problem-solving performance. This research illustrates a need for symbolic mathematics systems to produce explanations of their problem-solving steps, as these explanations guide learning. Although physics problem solving is currently being investigated, the results obtained are relevant to other mathematically-based domains. This work also has implications for intelligent computer-aided instruction in domains of this type.
提出了一种通过观察用户求解符号数学问题来学习的人工智能系统。这个完全实现的系统正在被评估为经典物理领域的问题解决者。利用其数学和物理知识,系统确定为什么人类提供的特定问题的解决方案足以解决问题,然后将解决技术扩展到更一般的情况,从而提高其自身解决问题的性能。这项研究表明,需要符号数学系统来解释其解决问题的步骤,因为这些解释指导学习。虽然目前正在研究物理问题的解决,但所获得的结果与其他基于数学的领域有关。这项工作对这类领域的智能计算机辅助教学也有启示。
{"title":"Computer understanding and generalization of symbolic mathematical calculations: a case study in physics problem solving","authors":"J. Shavlik, G. DeJong","doi":"10.1145/32439.32469","DOIUrl":"https://doi.org/10.1145/32439.32469","url":null,"abstract":"An artificial intelligence system that learns by observing its users perform symbolic mathematical problem solving is presented. This fully-implemented system is being evaluated as a problem solver in the domain of classical physics. Using its mathematical and physical knowledge, the system determines why a human-provided solution to a specific problem suffices to solve the problem, and then extends the solution technique to more general situations, thereby improving its own problem-solving performance. This research illustrates a need for symbolic mathematics systems to produce explanations of their problem-solving steps, as these explanations guide learning. Although physics problem solving is currently being investigated, the results obtained are relevant to other mathematically-based domains. This work also has implications for intelligent computer-aided instruction in domains of this type.","PeriodicalId":314618,"journal":{"name":"Symposium on Symbolic and Algebraic Manipulation","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1986-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128023482","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}
引用次数: 5
期刊
Symposium on Symbolic and Algebraic Manipulation
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1