Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with numerical-verification

A curated list of projects in awesome lists tagged with numerical-verification .

https://github.com/juliareach/setpropagation-fem-juliacon21

Computing Reachable Sets of Semi-Discrete Solid Dynamics Equations with ReachabilityAnalysis.jl

finite-element-method heat-transfer numerical-verification reachability-analysis structural-dynamics

Last synced: 06 Nov 2024