On proving inequalities by cylindrical algebraic decomposition (Q5149828)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7307814
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On proving inequalities by cylindrical algebraic decomposition |
scientific article; zbMATH DE number 7307814 |
Statements
8 February 2021
0 references
cylindrical algebraic decomposition
0 references
inequalities
0 references
Sage package
0 references
0.8373761773109436
0 references
0.8027107119560242
0 references
0.7867251038551331
0 references
0.7840895056724548
0 references
0.7742289900779724
0 references
