×

Found 6 Software Packages (Results 1–6)

navierstokes

Software Authors:   van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert
Cited in: 9 Publications (2019–2022)
Related Software: INTLAB; RODES; Ada95; Matlab; Bilbao Crystallography Server; FEniCS; …
Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)

CleGo

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

CDCLSym

Software Authors:   Metin, Hakan; Baarir, Souheib; Colange, Maximilien; Kordon, Fabrice
Cited in: 2 Publications (2018–2022)
Related Software: SymChaff; MiniSat; MiniSym; Saucy; bliss
Main Fields: Computer science (68-XX)

GuillotineModels.jl

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

MCMIN

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

MiniSym

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