Ctrl K
All software
1Filter
Mentions
Keywords
10
Program languages
13
Licenses
2
12
1-2 of 2
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Mathematica
- + 7
16
379
Potsdam Open-source Radio interferometry Tool (PORT)
PORT is a software package dedicated to the analysis of modern and historical Very Long Baseline Interferometry (VLBI) observations. It is utilized to perform the GFZ VLBI Analysis Center responsibilities, as well as state-of-the-art research in space geodesy, geophysics, and astrometry.
- Astrometry
- Earth orientation parameters
- Reference frames
- + 1
- Python
- MATLAB
- Fortran
- + 2
0
0