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 :
بازگشت