Please use this identifier to cite or link to this item:
|Title:||Corner edge cutting and Dixon A-resultant quotients||Authors:||Foo, M.-C.
Corner edge cutting
Mechanical theorem proving
|Issue Date:||2004||Citation:||Foo, M.-C., Chionh, E.-W. (2004). Corner edge cutting and Dixon A-resultant quotients. Journal of Symbolic Computation 37 (1) : 101-119. ScholarBank@NUS Repository. https://doi.org/10.1016/j.jsc.2003.06.001||Abstract:||The classical Dixon resultant formulation gives the exact A-resultant for the bi-degree rectangular monomial support. But the formulation gives a multiple of the A-resultant when the monomial support is a bi-degree rectangular support with some corner edges removed. Fortunately, here the extraneous factors can be easily identified a priori and the A-resultant can be expressed explicitly as a quotient: the determinant of a Dixon matrix divided by a product of brackets. All proofs in the paper are constructive. One of the proofs is mechanically done by a Maple program. © 2003 Elsevier Ltd. All rights reserved.||Source Title:||Journal of Symbolic Computation||URI:||http://scholarbank.nus.edu.sg/handle/10635/39198||ISSN:||07477171||DOI:||10.1016/j.jsc.2003.06.001|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Dec 3, 2019
WEB OF SCIENCETM
checked on Nov 26, 2019
checked on Dec 2, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.