Generalizing Morley's and other theorems with automated realization (Q1655490): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
| (8 intermediate revisions by 5 users not shown) | |||
| Property / author | |||
| Property / author: Eric J. Braude / rank | |||
| Property / author | |||
| Property / author: Eric J. Braude / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: GEOPAR / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: Python / rank | |||
Normal rank | |||
| Property / describes a project that uses | |||
| Property / describes a project that uses: GitHub / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2760518069 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Machine Proofs in Geometry / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4546302 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3962450 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Morley Trisector Theorem / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The area method. A recapitulation / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4484914 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Basic principles of mechanical theorem proving in elementary geometries / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q2716051 / rank | |||
Normal rank | |||
| links / mardi / name | links / mardi / name | ||
Latest revision as of 06:47, 16 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalizing Morley's and other theorems with automated realization |
scientific article |
Statements
Generalizing Morley's and other theorems with automated realization (English)
0 references
9 August 2018
0 references
automated geometry proofs
0 references
Morley's theorem
0 references
realization
0 references
angle constraints
0 references
automated geometry reasoning
0 references
theorem verification
0 references
theorem generation
0 references
0 references
