返回Google圖書搜尋

Solving Systems of Algebraic Equations, Or the Interface Between Software and Mathematics

University of Waterloo. Department of Computer ScienceGaston H. GonnetMichael B. Monagan

出版	University of Waterloo. Department of Computer Science, 1989
URL	http://books.google.com.hk/books?id=1RNzGwAACAAJ&hl=&source=gbs_api

註釋Abstract: "This paper describes two fundamental aspects of the solution of systems of algebraic equations: the use of substitution and the use of a complexity function to determine, at each step, which of several methods / equations / unknowns to use. These techniques, which have received little attention in the past, can be viewed as in the interface between mathematics and software. An implementation of these techniques in Maple [superscript Cha83] is described. Timing results comparing the Maple, Macsyma [superscript Mos74] and Reduce [superscript Hea71] symbolic algebra systems on a range of sample problems are presented. The proposed method proves to be superior to other techniques."