×

Found 9 Software Packages (Results 1–9)

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)