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.