• 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