https://pages.uoregon.edu/lipshitz/projects/index.html Documentation site for bfh_python Bordered Heegaard Floer homology is an extension of Ozsváth-Szabó’s Heegaard Floer homology to 3-manifolds with boundary. It gives an algorithm for computing Heegaard Floer homology, by cutting a manifold into pieces. In this thesis, Bohua Zhan gave a significant refinement of that algorithm. He implemented both in a Python package, bfh_python (available as a PIP package here). His implementation is fast enough to often be useful in practice. Hugo en-us https://pages.uoregon.edu/lipshitz/projects/claude/index.html Mon, 01 Jan 0001 00:00:00 +0000 https://pages.uoregon.edu/lipshitz/projects/claude/index.html Overview and getting started Overview This is a guide, based on my experiences, for using Anthropic’s Claude chatbots to help with the kinds of work research mathematicians do. To keep this focused, I will only discuss non-teaching work, mainly working on research papers and a little about bureaucratic work. This is not about using it to prove theorems or discover new mathematics: I have not found them useful for that, and their ability to mislead in those contexts is potentially harmful. Rather, I’m focusing on tasks for which I think almost all working mathematicians will find the tool useful—now, not in some uncertain future.