Embedding of Systems of Affine Recurrence Equations in Coq (Q3559765)
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: Embedding of Systems of Affine Recurrence Equations in Coq |
scientific article; zbMATH DE number 5705576
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Embedding of Systems of Affine Recurrence Equations in Coq |
scientific article; zbMATH DE number 5705576 |
Statements
Embedding of Systems of Affine Recurrence Equations in Coq (English)
0 references
7 May 2010
0 references
0.84805083
0 references
0.84519446
0 references
0.8431554
0 references
0.84101284
0 references
0.84101284
0 references
0.8388853
0 references
0 references
0.8340118
0 references
