All software
1Filter
Mentions
Keywords
17
Program languages
19
Licenses
5
12
1-3 of 3
KeYmaera X
An aXiomatic Tactical Theorem Prover for Hybrid Systems
- Axiom
- Differential Dynamic Logic
- Hybrid Systems
- + 3
- Scala
- JavaScript
- Wolfram Language
- + 7
16
421
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
- Python
- Wolfram Language
- + 5
4
0