Recently I started to get interested in the a certain kind of geometry, where a body is described based on a set of functions, which are based on irrational numbers.
For example consider this cuboid:
Is there a software, where you can define such a body in a way that lets you algebraically compute its volume (e.g. ) or any other property?
Numerically (e.g 4.54176...) you could do it with CAD software like OnShape, but that's not what I'm looking for.
Mostly I use (Fedora) Linux, so an open-source solution would be the nicest, but I can work with windows 10 and paid software too, as long as it is for personal use and not a company license with the price of a small car.
Since I have a bit of programming experience (Python, R, Java) even a library would work for me.