1. Computer realization of Cartan's exterior calculus;Arais;Soviet Math. Dokl.,1974
2. Exterior Differential Systems;Bryant,1991
3. EXCALC, a system for doing calculations in the calculus of modern differential geometry;Schrüfer,1986
4. Immersion ideals and the causal structure of Ricci-flat geometries;Estabrook;Class. Quantum Grav.,1993
5. Equations for twisting, type-N, vacuum Einstein spaces without a need for Killing vectors;Finley;J. Geom. Phys.,1992