No label defined (Q4737560)
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: scientific article; zbMATH DE number 2086952 |
scientific article; zbMATH DE number 2086952
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | No label defined |
scientific article; zbMATH DE number 2086952 |
Statements
11 August 2004
0 references
Fixed-point
0 references
Floating-point
0 references
Signal Processing
0 references
Theorem-Proving
0 references
HOL
0 references
SPW
0 references
0.944152534008026
0 references
0.7760117650032043
0 references
0.7553221583366394
0 references
0.753545880317688
0 references
