scientific article; zbMATH DE number 4104382

MaRDI QIDQ3829067zbMATH OpenFDO

Authors Dongming Wang

Publication date 1988

zbMATH Keywords

algebraic varietycharacteristic setgeometry theorems of equation typeinclusion of varieties

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 4079376
• scientific article; zbMATH DE number 1824153
• scientific article; zbMATH DE number 1795752
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• scientific article; zbMATH DE number 1421059

Cited in

(5)

• Multi-criteria decision-making method based on a cross-entropy with interval neutrosophic sets
• A multi-valued neutrosophic qualitative flexible approach based on likelihood for multi-criteria decision-making problems
• scientific article; zbMATH DE number 1824153 (Why is no real title available?)
• scientific article; zbMATH DE number 4079376 (Why is no real title available?)
• scientific article; zbMATH DE number 1795752 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3829067)