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)