Found 9 Software Packages (Results 1–9)


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


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)


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


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


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)


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)


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)


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:


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)

Filter Results by …

all top 5

Related Software

all top 3

Main Field