ICAR Research Data Repository for Knowledge Management
Verified computations for '4-manifolds with boundary and fundamental group Z'
Harvard Dataverse (Africa Rice Center, Bioversity International, CCAFS, CIAT, IFPRI, IRRI and WorldFish)
View Archive Info| Field | Value | |
| Title |
Verified computations for '4-manifolds with boundary and fundamental group Z'
|
|
| Identifier |
https://doi.org/10.7910/DVN/IJIIVC
|
|
| Creator |
Piccirillo, Lisa
|
|
| Publisher |
Harvard Dataverse
|
|
| Description |
Data files to support the symmetry group computation in Proposition 7.6 of the paper '4-manifolds with boundary and fundamental group Z,' which is joint with Conway and Powell. The .lnk file contains the link on which we made our computations. We extracted a DT code for the link using the snappy link editor. The .py file demonstrates our inputs (in sagemath). The .pdf demonstrates our results.
|
|
| Subject |
Mathematical Sciences
|
|
| Contributor |
Piccirillo, Lisa
|
|