On the mechanization of straightedge and compass constructions (Q1730306)

From MaRDI portal





scientific article; zbMATH DE number 7032431
Language Label Description Also known as
default for all languages
No label defined
    English
    On the mechanization of straightedge and compass constructions
    scientific article; zbMATH DE number 7032431

      Statements

      On the mechanization of straightedge and compass constructions (English)
      0 references
      0 references
      6 March 2019
      0 references
      geometric knowledge-based systems
      0 references
      regular chains
      0 references
      straightedge and compass constructibility
      0 references
      triangle problems
      0 references
      Wu's method
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers