Fourier series formalization in ACL2(r) (Q6591104)
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 7900030
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Fourier series formalization in ACL2(r) |
scientific article; zbMATH DE number 7900030 |
Statements
Fourier series formalization in ACL2(r) (English)
0 references
21 August 2024
0 references
0.7129517197608948
0 references
0.6908679008483887
0 references
0.6904880404472351
0 references
0.6881940364837646
0 references
