PRISM Software Authors: Kwiatkowska, Marta; Norman, Gethin; Parker, David Cited in: 438 Publications (2001–2022) Related Software: MRMC; Uppaal; SPIN; Storm; Bio-PEPA; PEPA; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)
Miniball Software Authors: Fischer, Kaspar; Gärtner, Bernd; Aditya Gupta; Alexandros Konstantinakis-Karmis Cited in: 46 Publications (2001–2023) Related Software: SDPT3; SeDuMi; CGAL; gmp; Matlab; AS 307; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Statistics (62-XX); Numerical analysis (65-XX)
APMC Software Authors: Hérault, Thomas; Lassaigne, Richard; Magniette, Frédéric; Peyronnet, Sylvain Cited in: 28 Publications (2004–2021) Related Software: PRISM; Uppaal; INFAMY; PLASMA-lab; PLASMA; Ymer; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
PatchMatch Software Authors: Barnes, C., Shechtman, E., Finkelstein, A., Goldman, D. Cited in: 23 Publications (2011–2022) Related Software: SIFT; DVDnet; FastDVDnet; ImageNet; ViDeNN; KITTI; … Main Fields: Partial differential equations (35-XX); Statistics (62-XX); Numerical analysis (65-XX)
S-TaLiRo Software Authors: Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram Cited in: 24 Publications (2011–2022) Related Software: Breach; SpaceEx; Flow*; Matlab; dReach; StateFlow; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
ASKIT Software Authors: March, William B.; Xiao, Bo; Yu, Chenhan D.; Biros, George Cited in: 14 Publications (2015–2022) Related Software: UCI-ml; GitHub; STRUMPACK; ScalFMM; H2Lib; Thrust; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
Algorithm 971 Software Authors: H. Li, G. C. Linderman, A. Szlam, K. P. Stanton, Y. Kluger, M. Tygert Cited in: 10 Publications (2017–2021) Related Software: ARPACK; LSRN; Blendenpik; LAPACK; SparseMatrix; rsvd; … Main Fields: Combinatorics (05-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)
MonodromySolver Software Authors: Timothy Duff, Cvetelina Hill, Anders Jensen, Kisun Lee, Anton Leykin, Jeff Sommars Cited in: 10 Publications (2018–2022) Related Software: PHCpack; alphaCertified; HOM4PS; Macaulay2; libtropicana; Bertini; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
TensorToolbox.jl Software Authors: Kressner, Daniel; Periša, Lana Cited in: 11 Publications (2017–2022) Related Software: TensorToolbox; GitHub; Matlab; RandNLA; Tensorlab; TT Toolbox; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Approximations and expansions (41-XX); Probability theory and stochastic processes (60-XX)
GOP Software Authors: Ivorra, Benjamin; Mohammadi, Bijan; Manuel Ramos, Angel Cited in: 8 Publications (2006–2020) Related Software: FEMOEA; Matlab; Scatter Search; L-BFGS Main Fields: Partial differential equations (35-XX); Calculus of variations and optimal control; optimization (49-XX); Fluid mechanics (76-XX)
rr Software Authors: Graeme Blair, Yang-Yang Zhou, Kosuke Imai Cited in: 7 Publications (2015–2023) Related Software: RRreg; R; simex; RRLOGIT; list; GLMMRR; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)
randUTV Software Authors: Martinsson, P. G.; Quintana-Ortí, G.; Heavner, N. Cited in: 6 Publications (2019–2022) Related Software: rsvd; libflame; LAPACK; FLAME; RandNLA; UTV; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
JCI Software Authors: Mooij, Joris M.; Magliacane, Sara; Claassen, Tom Cited in: 5 Publications (2020–2022) Related Software: pcalg; TETRAD; CausalKinetiX; bnlearn Main Fields: Category theory; homological algebra (18-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
Noisy Software Authors: Dress AW, Flamm C, Fritzsch G, Grüunewald S, Kruspe M, Prohaska SJ, Stadler PF Cited in: 2 Publications (2017–2018) Related Software: T-coffee; DIALIGN; DIALIGN-TX; ProbCons; SABmark; Clustal X; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)
RandQMC Software Authors: Lemieux, C., Cieslak, M., Luttmer, K Cited in: 5 Publications (2008–2021) Related Software: sobol.cc; TOMS659; MRG32k3a; SSJ; Algorithm 823; MinT; … Main Fields: Number theory (11-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
RRreg Software Authors: Daniel W. Heck, Morten Moshagen Cited in: 3 Publications (2015–2023) Related Software: rr; R; simex; RRLOGIT; list; GLMMRR; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
experiment Software Authors: Kosuke Imai Cited in: 1 Publication (2021) Related Software: ggplot2; R; pwr; foreach; doParallel; rjags; … Main Fields: Statistics (62-XX)
GLUE-IT Software Authors: Andrew E. Firth; Wayne M. Patrick Cited in: 2 Publications (2009–2013) Related Software: PEDEL-AA; PARI/GP; AMPL Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
MSNLP Software Authors: Ugray, Zsolt; Lasdon, Leon; Plummer, John C.; Bussieck, Michael Cited in: 3 Publications (2009–2017) Related Software: ProPlan; ProSched; Aspen Refinery Multi-Blend Optimizer; Aspen Custom Modeler; Aspen Fleet Optimizer; Aspen Petroleum Scheduler; … Main Fields: Operations research, mathematical programming (90-XX)
PEDEL-AA Software Authors: Andrew E. Firth; Wayne M. Patrick Cited in: 2 Publications (2009–2013) Related Software: GLUE-IT; PARI/GP; AMPL Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
personalized Software Authors: Jared Huling, Aaron Potvien, Alexandros Karatzoglou, Alex Smola Cited in: 1 Publication (2021) Related Software: R; ggplot2; SIDES; SubgrpID; FindIt; quint; … Main Fields: Statistics (62-XX); Computer science (68-XX)
ASPIRE Software Authors: princeton Cited in: 2 Publications (2019–2020) Related Software: EMPIAR; Chimera Main Fields: Abstract harmonic analysis (43-XX); Integral transforms, operational calculus (44-XX); Operations research, mathematical programming (90-XX)
BayesCTDesign Software Authors: Barry Eggleston, Doug Wilson, Becky McNeil, Joseph Ibrahim, Diane Catellier Cited in: 0 Publications Related Software: bayesDP; ph2bayes; BAEssd; R; pwr; ggplot2; … Main Fields: –
List Software Authors: Blair, G., Imai, K. Cited in: 2 Publications (2013–2018) Related Software: spsurvey; SDaA; odprism; TeachingSampling; lavaan.survey; RDS; … Main Fields: Statistics (62-XX)
plmed Software Authors: Hines, Oliver; Vansteelandt, Stijn; Diaz-Ordaz, Karla Cited in: 2 Publications (2021) Related Software: GitHub; R Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)
rocTree Software Authors: Yifei Sun, Mei-Cheng Wang, Sy Han Chiou Cited in: 1 Publication (2011) Related Software: C4.5; data.tree; AUC4.5; WeightedROC; ImbTreeEntropy; UCI-ml; … Main Fields: Computer science (68-XX)
sparsepca Software Authors: N. Benjamin Erichson, Peng Zheng, Sasha Aravkin Cited in: 2 Publications (2020–2021) Related Software: NbClust; R; biplotbootGUI; spls; plsgenomics; fpc; … Main Fields: Statistics (62-XX); Computer science (68-XX)
stcomply Software Authors: Lois G. Kim; R. White Cited in: 2 Publications (2005) Related Software: Stata Main Fields: Statistics (62-XX)
swdpwr Software Authors: Jiachen Chen; Xin Zhou; Fan Li; Donna Spiegelman Cited in: 0 Publications Related Software: swCRTdesign; SWSamp; R; crctStepdown; rminqa; SteppedPower; … Main Fields: –
abodOutlier Software Authors: Jose Jimenez Cited in: 1 Publication (2018) Related Software: ICSOutlier; rrcovHD; alphaOutlier; kmodR; HighDimOut; faoutlier; … Main Fields: Statistics (62-XX)
Algorithm 1022 Software Authors: Heavner, N.; Igual, F. D.; Quintana-Ortí, G.; Martinsson, P. G. Cited in: 1 Publication (2022) Related Software: randUTV; Algorithm 656; SuperMatrix; Algorithm 679; libflame; ScaLAPACK; … Main Fields: Numerical analysis (65-XX)
BuyseTest Software Authors: Brice Ozenne, Julien Peron Cited in: 1 Publication (2023) Related Software: surrosurv Main Fields: Statistics (62-XX)
CANTINA+ Software Authors: Guang Xiang, J. Hong, C. Rosé, L. Cranor Cited in: 0 Publications Related Software: EMD; C4.5 Main Fields: –
CluStrat Software Authors: Bose, A., Burch, M.C., Chowdhury, A., Paschou, P., Drineas, P. Cited in: 1 Publication (2022) Related Software: Eigenstrat; GWAS Catalog; STRUCTURE; ThreSPCA; TeraPCA; clusterProfiler Main Fields: Statistics (62-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
CompAREdesign Software Authors: Marta Bofill Roig, Jordi Cortes Martinez, Guadalupe Gomez Melis Cited in: 0 Publications Related Software: Wcompo; CompARE; cats; WR; WWR; wcep; … Main Fields: –
CRTsampleSearch Software Authors: Zhai, Ruoshui; Gutman, Roee Cited in: 1 Publication (2021) Related Software: CRTSize; Stata; R Main Fields: Statistics (62-XX)
CRTSize Software Authors: Rotondi, Michael; Donner, Allan Cited in: 1 Publication (2021) Related Software: CRTsampleSearch; Stata; R Main Fields: Statistics (62-XX)
D-Tucker Software Authors: Jun-Gi Jang; U Kang Cited in: 1 Publication (2022) Related Software: GitHub; WSINDy Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX); Systems theory; control (93-XX)
EthVer Software Authors: Mazurek, Łukasz Cited in: 1 Publication (2021) Related Software: Why3; solgraph; Manticore; Mythril; GitHub; WhyML; … Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
jarbes Software Authors: Pablo Emilio Verde Cited in: 1 Publication (2019) Related Software: bamdit; meta; JAGS; R Main Fields: Statistics (62-XX)
JaTeCS Software Authors: Andrea Esuli, Tiziano Fagni, Alejandro Moreo Fernandez Cited in: 0 Publications Related Software: Mahout; MLlib; SHOGUN; spaCy; OpenNLP; TreeBoost.MH; … Main Fields: –
LatNet Builder Software Authors: L’Ecuyer, P.; Godin, M.; Jemel, A.; Marion, P.; Munger, D. Cited in: 1 Publication (2020) Related Software: sobol.cc; Lattice Builder Main Fields: Number theory (11-XX); Numerical analysis (65-XX)
list Software Authors: Graeme Blair, Kosuke Imai, Bethany Park, Alexander Coppock Cited in: 1 Publication (2023) Related Software: RRreg; GLMMRR; RRTCS; rr; SamplingVarEst; R Main Fields: Statistics (62-XX)
mAHTPred Software Authors: Manavalan, B.; Basith, S.; Shin, TH; Wei, L.; Lee, G. Cited in: 1 Publication (2021) Related Software: Bastion3; hCKSAAP_UbSite; iBitter-SCM; WEKA; UCI-ml Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
mmcm Software Authors: Kengo NAGASHIMA; Yasunori SATO Cited in: 1 Publication (2011) Related Software: – Main Fields: Biology and other natural sciences (92-XX)
Nighthawk Software Authors: Andrews, J., Li, F., Menzies, T Cited in: 1 Publication (2014) Related Software: MiniSat; SPARK Pro; STP; CIL; EXPLODE; Klockwork; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX)
PAMTRI Software Authors: Zheng Tang, Milind Naphade, Stan Birchfield, Jonathan Tremblay, William Hodge, Ratnesh Kumar, Shuo Wang, Xiaodong Yang Cited in: 0 Publications Related Software: SCPNet; VERI-Wild; PROVID; ArcFace; PyTorch; FastReID Main Fields: –
Rclust Software Authors: Zhang, Hai; Guo, Xiao; Chang, Xiangyu Cited in: 1 Publication (2022) Related Software: rsvd; R Main Fields: Statistics (62-XX)
rdlocrand Software Authors: Matias D. Cattaneo, Rocio Titiunik, Gonzalo Vazquez-Bare Cited in: 1 Publication (2021) Related Software: – Main Fields: Statistics (62-XX)
Ridgesketch Software Authors: Gazagnadou, Nidham; Ibrahim, Mark; Gower, Robert M. Cited in: 1 Publication (2022) Related Software: Blendenpik; Python; Scikit; NumPy; SciPy; LAPACK Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
Ristretto Software Authors: M. Velegar, N. B. Erichson, C. A. Keller, J. N. Kutz Cited in: 1 Publication (2020) Related Software: RandNLA; SINDy; PMA; rsvd; UNLocBoX; R Main Fields: Statistics (62-XX); Computer science (68-XX)
RRTCS Software Authors: Beatriz Cobo Rodríguez, María del Mar Rueda García, Antonio Arcos Cebrián Cited in: 1 Publication (2023) Related Software: RRreg; list; GLMMRR; rr; SamplingVarEst; R Main Fields: Statistics (62-XX)
shar Software Authors: Maximillian H.K. Hesselbarth, Marco Sciaini Cited in: 0 Publications Related Software: future; spatstat; fgeo; raster; inlabru; R Main Fields: –
SpatialEffect Software Authors: Samii, Cyrus; Wang, Ye; Sullivan, Jonathan; Aronow, P. M. Cited in: 1 Publication (2023) Related Software: – Main Fields: Statistics (62-XX)
wfe Software Authors: In Song Kim, Kosuke Imai, Erik Wang Cited in: 0 Publications Related Software: causalsens; D2C; causaleffect; R; iWeigReg; mediation; … Main Fields: –
Meta-i6mA Software Authors: Hasan, M. M.; Basith, S.; Khatun, M. S.; Lee, G.; Manavalan, B.; Kurata, H. Cited in: 0 Publications Related Software: – Main Fields: –
SDM6A Software Authors: Basith, S.; Manavalan, B.; Shin, T. H.; Lee, G. Cited in: 0 Publications Related Software: – Main Fields: –
xtgeebcv Software Authors: John A. Gallis, Fan Li, Elizabeth L. Turner Cited in: 0 Publications Related Software: – Main Fields: –