CCalc Software Authors: Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson Cited in: 74 Publications (2003–2021) Related Software: Smodels; Coala; GOLOG; PDDL; Society Visualiser; NuSMV; … Main Fields: History and biography (01-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
COLIN Software Authors: Coles, A. J.; Coles, A. I.; Fox, M.; Long, D. Cited in: 5 Publications (2012–2022) Related Software: PDDL; UPMurphi; ANML; FALCON.m; Ipopt; SCIPPlan; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CAOP Software Authors: Koepf, W., Swarttouw, R. Cited in: 5 Publications (2012–2021) Related Software: retode; OPQ; DLMF; Mathematica; FPS; DEtools; … Main Fields: Special functions (33-XX); Harmonic analysis on Euclidean spaces (42-XX); Operator theory (47-XX)
MarCaSPiS Software Authors: Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink Cited in: 5 Publications (2009–2015) Related Software: COWS; MoDeST; KLAIM; GroupKit; SAS; SPSS; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX)
LabHEART Software Authors: Puglisi, J. L.; Bers, D. M. Cited in: 4 Publications (2007–2021) Related Software: MathML; MATCONT; OpenCOR; CESE; JSim; CL_MATCONT; … Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
RAMpath Software Authors: Zhiyong Zhang, Jack McArdle, Aki Hamagami, Kevin Grimm; John McArdle, Steven Boker Cited in: 2 Publications (2013–2016) Related Software: R; LISREL; sem; OpenMx; lavaan; Mplus; … Main Fields: Statistics (62-XX)
GTGolog Software Authors: Finzi, A.; Lukasiewicz, T. Cited in: 1 Publication (2020) Related Software: POGTGolog; Gambit; GOLOG Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Drive&Act Software Authors: Manuel Martin, Alina Roitberg, Monica Haurilet, Matthias Horne, Simon Reiss, Michael Voit, Rainer Stiefelhagen Cited in: 0 Publications Related Software: L5Kit; BoundingBoxes; LabelMe; H3D; Waymo; ApolloScape; … Main Fields: –
WNetKAT Software Authors: Larsen, Kim G.; Schmid, Stefan; Xue, Bingtian Cited in: 1 Publication (2017) Related Software: Nettle; Merlin; VeriFlow; Frenetic Main Fields: Computer science (68-XX)