On One Method of Proving Inequalities in Automated Way (Q3102741): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Q5563234 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994509 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On protocols for the automated discovery of theorems in elementary geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The orthocentric simplex as an extreme simplex / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some geometric properties of successive difference substitutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A refutational approach to geometry theorem proving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4523518 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5433133 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4238968 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4496287 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4394960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elimination methods / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4823164 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4531854 / rank | |||
Normal rank |
Latest revision as of 17:03, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On One Method of Proving Inequalities in Automated Way |
scientific article |
Statements
On One Method of Proving Inequalities in Automated Way (English)
0 references
25 November 2011
0 references
geometric inequalities
0 references
automated geometry theorem proving
0 references