MathLie Software Authors: Baumann, Gerd Cited in: 10 Publications (1997–2004) Related Software: Mathematica; SYMMGRP; LIE; BIGLIE; CRACK; DIMSYM; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Global analysis, analysis on manifolds (58-XX)
CONSLAW Software Authors: Yao, Ruo-Xia; Li, Zhi-Bin Cited in: 7 Publications (2004–2016) Related Software: Maple; CONDENS; GeM; WKPtest; PSEUDO; CLawDDEs; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
LIE Software Authors: Eliseev, V.P.; Fedorova, R.N.; Kornyak, V.V. Cited in: 7 Publications (1985–2000) Related Software: SPDE; LIE0; REDUCE; MACSYMA; SYMMGRP.MAX; CRACKSTAR; … Main Fields: Topological groups, Lie groups (22-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
PANDA Software Authors: Stefan Lörwald, Gerhard Reinelt Cited in: 7 Publications (2015–2022) Related Software: PORTA; MOCHA; JBool; Gurobi; Mjollnir; cfme; … Main Fields: Real functions (26-XX); Convex and discrete geometry (52-XX); Quantum theory (81-XX)
DScribe Software Authors: Lauri Himanen, Marc O. J. Jäger, Eiaki V. Morooka, Filippo Federici Canova, Yashasvi S. Ranawat, David Z. Gao, Patrick Rinke, Adam S. Foster Cited in: 1 Publication (2022) Related Software: Python; Scikit; SciPy; ESPResSo++; LAMMPS; OVITO; … Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)
LFTB Software Authors: D'Amato, Fernando; Rotea, Mario Cited in: 3 Publications (2003–2005) Related Software: LMI toolbox; SDPT3; Benchmarks for Optimization Software; SeDuMi Interface; Sp; SBmethod; … Main Fields: Operations research, mathematical programming (90-XX); Systems theory; control (93-XX); Information and communication theory, circuits (94-XX)
JET Software Authors: Meshkov, A. G. Cited in: 2 Publications (2002–2008) Related Software: Maple Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)