MARS Software Authors: Zhang, Qinghai; Fogelson, Aaron Cited in: 12 Publications (2014–2022) Related Software: GePUP; Gerris; PROST; Matlab; SADoRe; AlexNet; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Numerical analysis (65-XX)
ore_algebra Software Authors: Kauers, Manuel; Jaroschek, Maximilian; Johansson, Fredrik Cited in: 13 Publications (2015–2021) Related Software: SageMath; DLMF; gfun; GeneratingFunctions; HolonomicFunctions; NumGfun; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Special functions (33-XX)
TVT Software Authors: Virtanen, Heikki; Hansen, Henri; Valmari, Antti; Nieminen, Juha; Erkkilä, Timo Cited in: 2 Publications (2004–2017) Related Software: CADP; mCRL2 Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Vessiot Software Authors: Anderson, I.M. Cited in: 6 Publications (2001–2011) Related Software: DifferentialGeometry; Mathematica; Maple; GeM; Rif; InvariantsSymmetries; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)