在线交互式几何数据库: 包括爱因斯坦场方程的精确解

我们描述了一个新的交互式数据库 (GRDB)，其中的几何对象涵盖了微分几何的一般领域。数据库对象包括但不限于爱因斯坦场方程的精确解。GRDB 旨供从事应用数学、物理学及相关领域的研究人员（和教师）使用。灵活的搜索环境使数据库在广泛的兴趣范围内都有用，例如，从 neutron star 模型在天体物理学中的实际考虑到抽象时空分类方案。该数据库采用模块化和面向对象的设计，使用几种 Java 技术（例如 Applets、Servlets、JDBC）。这些技术是平台独立的，并且适合开发在万维网上运行的应用程序。GRDB 伴随一个虚拟计算器 (GRTensorJ)，这是一种用于在线执行坐标、基 tetrad 或 basis 计算的图形用户界面，连接了用于执行计算的计算机代数系统 GRTensorII。GRDB 高度交互式的特性允许进行系统的内部自我检查，并最小化所需的内部记录。