Title of article
Corner edge cutting and Dixon -resultant quotients
Author/Authors
Mao-Ching Foo، نويسنده , , Eng-Wee Chionh، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2004
Pages
19
From page
101
To page
119
Abstract
The classical Dixon resultant formulation gives the exact -resultant for the bi-degree rectangular monomial support. But the formulation gives a multiple of the -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 -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.
Keywords
Dixon resultants , A-resultants , mechanical theorem proving , Corner edge cutting
Journal title
Journal of Symbolic Computation
Serial Year
2004
Journal title
Journal of Symbolic Computation
Record number
805749
Link To Document