Challenging theorem provers with Mathematical Olympiad problems in solid geometry (Q294381): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 68T15 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 51-04 / rank | |||
Normal rank | |||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 97G40 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6593825 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
automated geometric theorem proving | |||
| Property / zbMATH Keywords: automated geometric theorem proving / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
characteristic set | |||
| Property / zbMATH Keywords: characteristic set / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
Gröbner basis | |||
| Property / zbMATH Keywords: Gröbner basis / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
vector algebra | |||
| Property / zbMATH Keywords: vector algebra / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
non-degeneracy condition (NDG) | |||
| Property / zbMATH Keywords: non-degeneracy condition (NDG) / rank | |||
Normal rank | |||
Revision as of 20:30, 27 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Challenging theorem provers with Mathematical Olympiad problems in solid geometry |
scientific article |
Statements
Challenging theorem provers with Mathematical Olympiad problems in solid geometry (English)
0 references
16 June 2016
0 references
automated geometric theorem proving
0 references
characteristic set
0 references
Gröbner basis
0 references
vector algebra
0 references
non-degeneracy condition (NDG)
0 references
