Describir: Applied mathematics in integrated navigation systems