×

Found 6 Software Packages (Results 1–6)

navierstokes

Cited in 11 Documents (2019–2023)
Software Authors: van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert
Related Software: INTLAB; RODES; galepu; …
Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); …

CDCLSym

Cited in 4 Documents (2018–2023)
Software Authors: Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice
Related Software: MiniSat; SymChaff; PSATO; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CleGo

Cited in 3 Documents (2011–2017)
Software Authors: Horst, Christoph; Reuter, Jürgen
Related Software: E6Tensors; Mathematica; SOSpin; …
Main Fields: Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX); Numerical analysis (65-XX); …

GuillotineModels.jl

Cited in 1 Document (2022)
Software Authors: Becker, Henrique; Araújo, Olinto; Buriol, Luciana S.
Related Software: GitHub; JuMP; Julia; …
Main Fields: Operations research, mathematical programming (90-XX)

MCMIN

Cited in 1 Document (1998)
Software Authors: Kim, Jai Sam; Tolédano, J.C.; Tolédano, P.
Related Software: ISOTROPY
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

MiniSym

Cited in 1 Document (2018)
Software Authors: Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice
Related Software: MiniSat; CDCLSym; Saucy; …
Main Fields: Computer science (68-XX)

Filter Results by …

all top 5

Related Software

all top 3

Main Field