An optimization of Seidenberg's elimination algorithm in differential algebra. (Q1565826)

From MaRDI portal





scientific article; zbMATH DE number 1920705
Language Label Description Also known as
English
An optimization of Seidenberg's elimination algorithm in differential algebra.
scientific article; zbMATH DE number 1920705

    Statements

    An optimization of Seidenberg's elimination algorithm in differential algebra. (English)
    0 references
    27 May 2003
    0 references
    computer algebra
    0 references
    optimization
    0 references
    differential algebra
    0 references
    elimination theory
    0 references
    rewriting system
    0 references
    0 references

    Identifiers