Java/Python的球面几何库

Java/Python有好的球形几何体库吗？我在找类似的东西。我需要能够执行距离，航向，面积计算；如果我也能做区域的相交和并集，那就太好了的东西包装少量适当的函数，也许使用支持GIS的数据库（如MySQL或PostgreSQL）会有所帮助？