ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
The Seifert-van Kampen Theorem via Computational Paths: A... | ResearchHub
ResearchHub Endowment
Earn daily Funding Credits to fund science
Paper
Paper
Search
Log in
Sign up
Sign up
Publish
Home
My Funding
Peer Review
Journal
Endowment
Help & resources
The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
By
Tiago Veras
1 more
Tiago Veras
·
de B.
December 23, 2025
22
Paper
Reviews
0
Conversation
0
Bounties
0
Loading PDF viewer…
Preprint Server
Topics
#computer-science
#logic
DOI
10.48550/arXiv.2512.03175
License
CC-BY
Other Formats
PDF
