Pages that link to "Item:Q2024357"
From MaRDI portal
The following pages link to A formally verified floating-point implementation of the compact position reporting algorithm (Q2024357):
Displaying 4 items.
- A formal analysis of the compact position reporting algorithm (Q1630022) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- Formal Verification of an Optimal Air Traffic Conflict Resolution and Recovery Algorithm (Q3612661) (← links)
- Provably correct floating-point implementation of a point-in-polygon algorithm (Q6535939) (← links)