On One Method of Proving Inequalities in Automated Way (Q3102741): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W92926489 / rank | |||
Normal rank | |||
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