Ritt-Wu's decomposition algorithm and geometry theorem proving (Q6488532)

From MaRDI portal
scientific article; zbMATH DE number 7680808
Language Label Description Also known as
English
Ritt-Wu's decomposition algorithm and geometry theorem proving
scientific article; zbMATH DE number 7680808

    Statements

    Identifiers