Corner edge cutting and Dixon A-resultant quotients
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. (C) 2003 Elsevier Ltd. All rights reserved.
corner edge cutting a-resultants dixon resultants mechanical theorem proving