Have you considered talking/working with Sage on this? It sounds like something that would fit well with the other tools on https://www.quantifiedintuitions.org/
Thanks for the link! I’m sure there’s a tonne of existing work in this area, and haven’t really evaluated to what extent this is already covered by it.
Have you considered talking/working with Sage on this? It sounds like something that would fit well with the other tools on https://www.quantifiedintuitions.org/
Thanks for the link! I’m sure there’s a tonne of existing work in this area, and haven’t really evaluated to what extent this is already covered by it.