Please use this identifier to cite or link to this item:
|Title:||Corner edge cutting and Dixon A-resultant quotients|
Corner edge cutting
Mechanical theorem proving
|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|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
checked on Jul 10, 2018
WEB OF SCIENCETM
checked on May 30, 2018
checked on Jul 13, 2018
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.