Corner edge cutting and Dixon -resultant quotients
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.
corner edge cutting -resultants dixon resultants mechanical theorem proving