Math Specifications

This section records the mathematical contracts used by LuPNT models. The goal is to make each model’s state conventions, units, time scales, optional corrections, and observable equations explicit enough that implementations can be tested against the same specification.

• Dynamics Models
• Frame Conversions
• GNSS Measurement Model