DART Cited in 58 Documents (2005–2022) Software Authors: Patrice Godefroid; Nils Klarlund; Koushik Sen Related Software: CUTE; z3; Pex; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX); …
TRLan Cited in 75 Documents (1999–2023) Software Authors: Kesheng Wu; Horst Simon Related Software: IRAM; JDQZ; JDQR; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Statistics (62-XX); …
EOlib Cited in 13 Documents (2002–2015) Software Authors: Keijzer, M.; Merelo, J.J.; Romero, G.; Schoenauer, Marc; Johann Dréo, Caner Candan Related Software: ParaDisEO; ECJ; MAFRA; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX); …
Pynn Cited in 8 Documents (2011–2021) Software Authors: A.P. Davison, D. Brüderle, J. Eppler, J. Kremkow, E. Muller, D. Pecevski, L. Perrinet, P. Yger Related Software: NEST; NEURON; Brian; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX); …
zfp Cited in 11 Documents (2005–2022) Software Authors: Peter Lindstrom Related Software: GitHub; mctoolbox; ASCL; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX); …
SiRiUS Cited in 5 Documents (2007–2019) Software Authors: Goh, E.-J., Shacham, H., Modadugu, N., Boneh, D. Related Software: Plutus; Dynamo; Cryptfs; … Main Fields: Number theory (11-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)
Satin Cited in 5 Documents (2006–2018) Software Authors: Nieuwpoort, R.V., Maassen, J., Kielmann, T., Bal, H.E. Related Software: Cilk; Chord; Linda; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
RcppGSL Cited in 2 Documents (2013–2018) Software Authors: Romain Francois; Dirk Eddelbuettel Related Software: R; Rcpp; RcppArmadillo; … Main Fields: Statistics (62-XX); Computer science (68-XX)
HBase Cited in 6 Documents (2010–2018) Software Authors: Apache Related Software: Cassandra; Bigtable; Hadoop; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX); …
Luck Cited in 4 Documents (2017–2021) Software Authors: Lampropoulos, Leonidas; Gallois-Wong, Diane; Hriţcu, Cătălin; Hughes, John; Pierce, Benjamin C.; Xia, Li-yao Related Software: QuickCheck; PVS; Isabelle/HOL; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Apollo Cited in 2 Documents (2021) Software Authors: Stephane Hess, David Palma Related Software: logitr; mixl; fastDummies; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Algorithm 938 Cited in 1 Document (2014) Software Authors: Gunther, John C. Related Software: – Main Fields: Computer science (68-XX)
NOVA Cited in 1 Document (2019) Software Authors: Jian Xu; Steven Swanson Related Software: Proteus; ThyNVM; FPTree; … Main Fields: Computer science (68-XX)
rctrack Cited in 0 Documents Software Authors: Liu, Z.; Pounds, S. Related Software: robustbase; rrcov; RKWard; … Main Fields: –
YM11 Cited in 1 Document (2011) Software Authors: Duff, I. S. Related Software: Matlab; CHOLMOD; CONTEST; … Main Fields: Numerical analysis (65-XX)
SAMT2 Cited in 0 Documents Software Authors: Ralf Wieland, Karin Groth Related Software: – Main Fields: –