All software
1Filter
Mentions
Keywords
21
Program languages
20
Licenses
6
12
1-4 of 4
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
16
431
4C Multiphysics
4C is a parallel multiphysics research code for simulating solid/fluid mechanics, scalar transport, and chemical reactions. It supports both single-field and coupled systems, offering ready-to-use solutions for a wide range of physical problems.
- Computational Fluid Dynamics
- High performance computing
- Information
- + 3
- C++
- CMake
- Python
- + 6
0
284
EpsteinLib
High-performance computation of the Epstein zeta function, including a Python, Julia and Mathematica wrapper.
- Condensed Matter Physics
- Epstein zeta function
- Lattice Sums
- + 2
- C
- Wolfram Language
- Python
- + 5
4
0
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