Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| Riemann curvature in UD and compiler proof of concept | 1 | 1522 | January 27, 2026 | |
| Schwarzschild metric from scratch via UD compilation | 1 | 2078 | February 18, 2026 | |
| SpTm: package for Differential Geometry and General Relativity calculations | 5 | 12308 | February 23, 2024 | |
| Formal differential geometry in the UD calculus: part 1 | 1 | 1778 | January 13, 2026 | |
| OGRe: an object-oriented general relativity package | 1 | 10050 | September 27, 2021 |