Thanks a lot! I’ll try to figure it out myself first, and might get back to you if the need arises!

To be very honest, I’m also a tad embarrassed to share my code. I guess I’ll ask my professor about this.

I’m sorry to tell you this but people do not, in fact, publish mathematical proofs on GitHub routinely. You publish them on arxive once the paper is done. And then in a journal. The solvers themselves aren’t even what it’s about at all, they’re just to do numerical experiments with to have some examples. They aren’t immediately useful for any applications outside niche research.

Because I’m in academia and it’s a slow process to get things published in a way that ‘counts’ to the university and scientific community. I often need to implement stuff first to check a few things, whether it’s viable etc.

Nobody has built a tool that executes a mathematical method that I have developed or at least adapted, at least not before I publish the method.

It’s so old that it was for purposes of saving memory.

I’m not a coder, but my job requires a bunch of menial, boring coding. I do numerical simulations. After mathematically understanding the numerical method, it’s basically half a step above data entry. There’s also a bunch of legacy fortran code I have to build on that has zero documentation and three letter variables. This would be one of the few actually good applications of text generating machine learning imo.

Tangential, but I’m working with some code that started out in the punch card era (I’m doing particle physics, it’s in fortran)