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