Self-evident automated geometric theorem proving based on complex number identity (Q6149590)

From MaRDI portal
scientific article; zbMATH DE number 7800191
Language Label Description Also known as
English
Self-evident automated geometric theorem proving based on complex number identity
scientific article; zbMATH DE number 7800191

    Statements

    Self-evident automated geometric theorem proving based on complex number identity (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    6 February 2024
    0 references
    complex number identity
    0 references
    self-evident automated proving
    0 references
    complex number geometry
    0 references
    geometric theorems
    0 references
    elimination method
    0 references

    Identifiers