Constructive ordered algebraic structures (Q5089601)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Constructive ordered algebraic structures |
scientific article; zbMATH DE number 7560027
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Constructive ordered algebraic structures |
scientific article; zbMATH DE number 7560027 |
Statements
19 July 2022
0 references
constructive mathematics
0 references
strongly monotone function
0 references
co-ordered semigroup
0 references
co-ordered ring
0 references
0.790339469909668
0 references
0.7481971383094788
0 references
0.723190426826477
0 references
0.7179839611053467
0 references
0.7162953615188599
0 references
