On One Method of Proving Inequalities in Automated Way (Q3102741): Difference between revisions

@@ Property / describes a project that uses @@
+Epsilon
@@ Property / describes a project that uses: Epsilon / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-25070-5_9
+Normal rank
@@ Property / OpenAlex ID @@
+W92926489
@@ Property / OpenAlex ID: W92926489 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563234
@@ Property / cites work: Q5563234 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+On protocols for the automated discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+The orthocentric simplex as an extreme simplex
@@ Property / cites work: The orthocentric simplex as an extreme simplex / rank @@
+Normal rank
@@ Property / cites work @@
+Some geometric properties of successive difference substitutions
+Normal rank
@@ Property / cites work @@
+A refutational approach to geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q4523518
@@ Property / cites work: Q4523518 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5433133
@@ Property / cites work: Q5433133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4238968
@@ Property / cites work: Q4238968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496287
@@ Property / cites work: Q4496287 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4394960
@@ Property / cites work: Q4394960 / rank @@
+Normal rank
@@ Property / cites work @@
+Elimination methods
@@ Property / cites work: Elimination methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823164
@@ Property / cites work: Q4823164 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531854
@@ Property / cites work: Q4531854 / rank @@
+Normal rank