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)
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)
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)
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)