Partial arithmetical data types of rational numbers and their equational specification (Q2168794)
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 7576527
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Partial arithmetical data types of rational numbers and their equational specification |
scientific article; zbMATH DE number 7576527 |
Statements
Partial arithmetical data types of rational numbers and their equational specification (English)
0 references
26 August 2022
0 references
partial data types
0 references
rational numbers with division
0 references
common meadows
0 references
involutive meadows
0 references
fracterm calculus
0 references
0 references
0 references
0 references
0.8431479334831238
0 references
0.8063682317733765
0 references
0.7920762300491333
0 references
0.7593079805374146
0 references
0.7429634928703308
0 references
