×

Found 171 Software Packages (Results 1–100)

BLAST

Software Authors:   Henzinger, Thomas A.; Jhala, Ranjit; Majumdar, Rupak; Sutre, Gregoire
Cited in: 105 Publications (2003–2021)
Related Software: SLAM; CPAchecker; SPIN; CBMC; SatAbs; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)

wbs

Software Authors:   Fryzlewicz, Piotr
Cited in: 97 Publications (2013–2022)
Related Software: R; FDRSeg; changepoint; CRAN; basta; ecp; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

DPpackage

Software Authors:   Jara, A., Hanson, T. E., Quintana, F. A., Müller, P., Rosner, G. L.
Cited in: 65 Publications (2008–2022)
Related Software: R; BayesDA; CODA; R2WinBUGS; boa; BNPdensity; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

SimpleMKL

Software Authors:   Rakotomamonjy, Alain; Bach, Francis R.; Canu, Stéphane; Grandvalet, Yves
Cited in: 64 Publications (2008–2021)
Related Software: SHOGUN; LIBSVM; UCI-ml; SpicyMKL; SIFT; Mosek; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX)

TRANSPORT

Software Authors:   Kee, R., Warnatz, J., Miller, J
Cited in: 64 Publications (1986–2021)
Related Software: CHEMKIN; PREMIX; GRI-Mech 3.0; VODE; SENKIN; OpenFOAM; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Classical thermodynamics, heat transfer (80-XX)

CirCut

Software Authors:   Burer, Samuel; Monteiro, Renato D. C.; Zhang, Yin
Cited in: 42 Publications (1990–2022)
Related Software: Outward rotations; SDPLR; Tabu search; COL; SeDuMi; SDPpack; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX); Computer science (68-XX)

OpenModelica

Software Authors:   Fritzson, Peter
Cited in: 24 Publications (2008–2022)
Related Software: Modelica; Dymola; JModelica; Matlab; GitHub; HSL; …
Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)

BiqMac

Software Authors:   Angelika Wiegele
Cited in: 26 Publications (2010–2022)
Related Software: Biq Mac; Rudy; SDPNAL+; DIMACS; SDPT3; SeDuMi; …
Main Fields: Combinatorics (05-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

LUDWIG

Software Authors:   Desplat, Jean-Christophe; Pagonabarraga, Ignacio; Bladon, Peter
Cited in: 22 Publications (2001–2018)
Related Software: Palabos; LB3D; Hemelb; MPI; Sailfish; ForestClaw; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

maptools

Software Authors:   Roger Bivand
Cited in: 8 Publications (2007–2020)
Related Software: R; rgdal; RColorBrewer; ggplot2; raster; Surveillance; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

BinaryNet

Software Authors:   Matthieu Courbariaux, Itay Hubara, Daniel Soudry, Ran El-Yaniv, Yoshua Bengio
Cited in: 21 Publications (2017–2022)
Related Software: ImageNet; AlexNet; BinaryConnect; Adam; XNOR-Net; CIFAR; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Computer science (68-XX)

Supremica

Software Authors:   Knut Akesson; Martin Fabian; Hugo Flordal; Robi Malik
Cited in: 21 Publications (2009–2022)
Related Software: UMDES; libFAUDES; TCT; QuickCheck; MersenneTwister; AutoProof; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX)

ALPS

Software Authors:   B. Bauer et al
Cited in: 14 Publications (2009–2019)
Related Software: ITensor; VirtualBox; LOBPCG; GitHub; Boost; TensorCalculus; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX)

ICOS

Software Authors:   Lebbah, Y.
Cited in: 16 Publications (2005–2021)
Related Software: BARON; Numerica; COCONUT; RealPaver; ANTIGONE; LINDO; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)

FXT

Software Authors:   Jörg Arndt
Cited in: 14 Publications (2011–2022)
Related Software: hfloat; OEIS; GitHub; SageMath; infCS; MRI Simulation and Reconstruction; …
Main Fields: Combinatorics (05-XX); Special functions (33-XX); Numerical analysis (65-XX)

BCEL

Software Authors:   The Apache Software Foundation
Cited in: 5 Publications (2007–2011)
Related Software: TaintDroid; AspectJ; LoPSiL; ASM; TALx86; LMS; …
Main Fields: Computer science (68-XX)

BiqCrunch

Software Authors:   Krislock, Nathan; Malick, Jérôme; Roupin, Frédéric
Cited in: 13 Publications (2017–2022)
Related Software: CPLEX; Gurobi; SCIP; Biq Mac; CSDP; Knapsack; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)

Z4 database

Software Authors:   Aydin, Nuh; Asamov, Tsvetan
Cited in: 13 Publications (2009–2022)
Related Software: Magma; Code Tables
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Field theory and polynomials (12-XX)

MC++

Software Authors:   Chachuat, B.
Cited in: 12 Publications (2012–2022)
Related Software: libMC; ANTIGONE; BARON; GAMS; Ipopt; CONOPT; …
Main Fields: Real functions (26-XX); Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX)

BitBlaze

Software Authors:   D.X. Song, D. Brumley, H. Yin, J. Caballero, I. Jager, M.G. Kang, Z. Liang, J. Newsome, P. Poosankam, P. Saxena
Cited in: 6 Publications (2012–2019)
Related Software: BAP; Dytan; DART; Java PathFinder; VMHunt; NISLVMP; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

quadprogIP

Software Authors:   Xia, Wei; Vera, Juan C.; Zuluaga, Luis F.
Cited in: 11 Publications (2020–2022)
Related Software: QuadProgBB; CPLEX; GitHub; Gurobi; BARON; Eigen; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SpEC

Software Authors:   Hemberger, Daniel A.; Scheel, Mark A.; Kidder, Lawrence E.; Szilágyi, Béla; Lovelace, Geoffrey; Taylor, Nicholas W.; Teukolsky, Saul A.
Cited in: 11 Publications (2011–2021)
Related Software: SpECTRE; Einstein Toolkit; yt; ASCL; Python; LORENE; …
Main Fields: Partial differential equations (35-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

categorical

Software Authors:   Bilder, Christopher R.; Loughin, Thomas M.
Cited in: 10 Publications (2015–2020)
Related Software: R; COUNT; ISLR; ElemStatLearn; NUTS; aplore3; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Computer science (68-XX)

GRChombo

Software Authors:   Clough, Katy; Figueras, Pau; Finkel, Hal; Kunesch, Markus; Lim, Eugene A.; Tunyasuvunakool, Saran
Cited in: 9 Publications (2015–2021)
Related Software: Chombo; Einstein Toolkit; AHFinderDirect; Carpet; Cactus; GASpAR; …
Main Fields: Global analysis, analysis on manifolds (58-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

BAP

Software Authors:   Brumley, D., Jager, I., Avgerinos, T., Schwartz, E.J.
Cited in: 4 Publications (2012–2018)
Related Software: BitBlaze; z3; Sat4j; XSugar; Rocksalt; BakerSFIeld; …
Main Fields: Computer science (68-XX)

OpenGM

Software Authors:   Andres, B.; Beier T.; Kappes, J.H.
Cited in: 6 Publications (2015–2018)
Related Software: LibDAI; SCIP-SDP; PLASMA; SDPLR; CPLEX; SDPT3; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

SpECTRE

Software Authors:   Kidder, Lawrence E.; Field, Scott E.; Foucart, Francois; Schnetter, Erik; Teukolsky, Saul A.; Bohn, Andy; Deppe, Nils; Diener, Peter; H'ebert, Franc{c}ois; Lippuner, Jonas; Miller, Jonah; Ott, Christian D.; Scheel, Mark A.; Vincent, Trevor
Cited in: 7 Publications (2017–2022)
Related Software: HLLE; Carpet; Cactus; Kranc; Einstein Toolkit; SpEC; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX)

CRYPTALL

Software Authors:   Ustimenko, V.O.; Touzene, A.
Cited in: 6 Publications (2004–2011)
Related Software: CRYPTIM; Galois Field Arithmetic Library
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Dynamical systems and ergodic theory (37-XX)

GENSPECT

Software Authors:   Quine, B. M.; Drummond, J. R.
Cited in: 6 Publications (2006–2018)
Related Software: Algorithm 680; Matlab; Faddeeva; Algorithm 916; HITRAN; FASCODE; …
Main Fields: Special functions (33-XX); Approximations and expansions (41-XX); Numerical analysis (65-XX)

gitfan.lib

Software Authors:   Böhm, J., Keicher, S., Ren, Y.
Cited in: 5 Publications (2016–2020)
Related Software: SINGULAR; Macaulay2; resolve.lib; homalg; parallel.lib; polymake.so; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX)

hiCUDA

Software Authors:   T. D. Han; T. S. Abdelrahman
Cited in: 2 Publications (2013–2015)
Related Software: CUDA; Fortran DVM; CUDA-lite; BSGP; APS; GLift; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)

LB3D

Software Authors:   D. Groen, O. Henrich, F. Janoschek, P.V. Coveney, J. Harting
Cited in: 5 Publications (2014–2021)
Related Software: Palabos; OpenLB; LUDWIG; p4est; waLBerla; Peano; …
Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX)

OEuf

Software Authors:   Mullen, E.; Pernsteiner, S.; Wilcox, J. R.; Tatlock, Z.; Grossman, D.
Cited in: 6 Publications (2018–2021)
Related Software: Coq; CertiCoq; CakeML; Isabelle/HOL; HOL; HoTTSQL; …
Main Fields: Computer science (68-XX)

TTAnalyze

Software Authors:   Bayer, U.; Kruegel, C.; Kirda, E.
Cited in: 0 Publications
Related Software: QEMU; ITIP; itsmr; SVMlight; MemParser
Main Fields: Computer science (68-XX)

EXODUS II

Software Authors:   Schoof, L A; Yarberry, V R
Cited in: 5 Publications (2007–2022)
Related Software: Trilinos; NetCDF; GitHub; SIERRA; DistDLB; CUDA; …
Main Fields: Combinatorics (05-XX); Partial differential equations (35-XX); Numerical analysis (65-XX)

ff

Software Authors:   Daniel Adler, Christian Gläser, Oleg Nenadic, Jens Oehlschlägel, Walter Zucchini
Cited in: 1 Publication (2019)
Related Software: R; snow; lattice; Rlecuyer; mvtnorm; multicore; …
Main Fields: Statistics (62-XX)

GRASS

Software Authors:   A.A. Gritsenko, J.F. Nijkamp, M.J.T. Reinders, D. de Ridder
Cited in: 5 Publications (2015–2021)
Related Software: SCARPA; SOPRA; Bambus 2; BESST; ScaffMatch; Velvet; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JudoSTM

Software Authors:   Olszewski, M., Cutler, J., Steffan, J.G.
Cited in: 3 Publications (2012–2022)
Related Software: NOrec; DiSTM; Synchrobench; TLRW; TMunit; AtomCaml; …
Main Fields: Computer science (68-XX)

SoftFloat

Software Authors:   Hauser, J.
Cited in: 4 Publications (2002–2021)
Related Software: INTLAB; MPFR; FloatX; LaTeX; Ginkgo; ESSL; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Information and communication theory, circuits (94-XX)

ARMor

Software Authors:   Zhao, L., Li, G., Sutter, B.D., Regehr, J.
Cited in: 4 Publications (2013–2020)
Related Software: seL4; HOL; TrABin; HolBA; Cloc; BoogiePL; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

ASM

Software Authors:   Eric Bruneton; Pierre Cregut; Rémi Forax; Eugene Kuleshov; Andrei Loskutov
Cited in: 2 Publications (2010–2016)
Related Software: CTrigger; PENELOPE; jPredictor; QuickLex; TALx86; LMS; …
Main Fields: Computer science (68-XX)

Binutils

Software Authors:   Free Software Foundation, Inc.
Cited in: 1 Publication (2009)
Related Software: GIMP; ASLA; FOSSology; Ghostscript; JBoss; gnuplot; …
Main Fields: Computer science (68-XX)

ROSE

Software Authors:   Dan Quinlan
Cited in: 4 Publications (2003–2010)
Related Software: SUIF; GAMS; AMPL; Sage++; STLlint; ParaWise; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

AddressSanitizer

Software Authors:   Serebryany, K., Bruening, D., Potapenko, A.,Vyukov, D.
Cited in: 2 Publications (2016–2019)
Related Software: R; c212; CODA; CRAN; YALES2; FloPoCo; …
Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX)

BamTools

Software Authors:   Barnett D. W., Garrison E. K., Quinlan A. R., Stromberg M. P., Marth G. T.
Cited in: 1 Publication (2019)
Related Software: BioClojure; BioRuby; LEVIATHAN; Samtools; LRez
Main Fields: Biology and other natural sciences (92-XX)

bdt

Software Authors:   A. Alexandre Trindade
Cited in: 2 Publications (2004–2005)
Related Software:
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)

cake_lpr

Software Authors:   Tan, Yong Kiam; Heule, Marijn J. H.; Myreen, Magnus O.
Cited in: 3 Publications (2021–2022)
Related Software: DRAT-trim; CakeML; versat; FRAT; GRAT; YalSAT; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

CompCertS

Software Authors:   Besson, Frédéric; Blazy, Sandrine; Wilke, Pierre
Cited in: 3 Publications (2017–2019)
Related Software: CompCertTSO; Coq; CompCert; dedukti; CakeML; PVS
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)

ecr

Software Authors:   Jakob Bossek, Dirk Surmann
Cited in: 2 Publications (2021)
Related Software: irace; R; jMetal; rminer; gramEvol; XGBoost; …
Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

JavaGenes

Software Authors:   Al Globus, Sean Atsatt, John Lawton, Todd Wipke
Cited in: 3 Publications (2002–2008)
Related Software:
Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Statistical mechanics, structure of matter (82-XX)

LIFT

Software Authors:   Feng Qin , Cheng Wang , Zhenmin Li , Ho-seop Kim , Yuanyuan Zhou , Youfeng Wu
Cited in: 1 Publication (2014)
Related Software: JFlow; M-Sim; SIFT; QEMU; Valgrind; Panorama; …
Main Fields: Computer science (68-XX)

MFclass

Software Authors:   Sahli Costabal, Francisco; Perdikaris, Paris; Kuhl, Ellen; Hurtado, Daniel E.
Cited in: 3 Publications (2019–2022)
Related Software: ABAQUS; GitHub
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Mechanics of deformable solids (74-XX)

MHTrajectoryR

Software Authors:   Marbac, Matthieu; Tubert-Bitter, Pascale; Sedki, Mohammed
Cited in: 2 Publications (2016–2017)
Related Software: R; RcppArmadillo; Rcpp; VGAM; knitr; spatialprobit; …
Main Fields: Statistics (62-XX)

Ocelot

Software Authors:   Diamos, G.F., Kerr, A.R., Yalamanchili, S., Clark, N.
Cited in: 2 Publications (2013–2015)
Related Software: CUDA; OpenCL; Chromium; gem5; Multi2sim; MCMG; …
Main Fields: Computer science (68-XX)

PILER

Software Authors:   Robert C Edgar
Cited in: 2 Publications (2016–2018)
Related Software: REPuter; BoxPercentilePlot; CloSpan; PrefixSpan; RepeatMasker
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Computer science (68-XX)

RQuantLib

Software Authors:   Dirk Eddelbuettel; Khanh Nguyen
Cited in: 1 Publication (2013)
Related Software: R; Rcpp; Rserve; inline; CXXR; RcppArmadillo; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

SDTrimSP

Software Authors:   A.Mutzke, R.Schneider, W.Eckstein, R.Dohmen
Cited in: 2 Publications (2020–2021)
Related Software: Tridyn; LAMMPS; Python; PyCraters; PRMLT; F-TRIDYN; …
Main Fields: Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX)

SENR/NRPy+

Software Authors:   Ian Ruchlin, Zachariah B. Etienne, Thomas W. Baumgarte
Cited in: 3 Publications (2019–2020)
Related Software: GitHub; AHFinderDirect; bimEX; Einstein Toolkit; Dendro; SpECTRE; …
Main Fields: Calculus of variations and optimal control; optimization (49-XX); Global analysis, analysis on manifolds (58-XX); Mechanics of particles and systems (70-XX)

SEREN

Software Authors:   D. A. Hubber, C. P. Batty, A. McLeod, A. P. Whitworth
Cited in: 1 Publication (2020)
Related Software: PHANTOM; GADGET; Arepo; GIZMO; Python; Splash; …
Main Fields: Fluid mechanics (76-XX)

SNPStats

Software Authors:   Solé, X., E. Guino, J. Valls, R. Iniesta, V. Moreno
Cited in: 1 Publication (2016)
Related Software: SNPassoc; PLINK; R; haplo.stats; MDR; logicFS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Arepo

Software Authors:   Rainer Weinberger, Volker Springel, Rüdiger Pakmor
Cited in: 0 Publications
Related Software: GIZMO; RAJA; CHARM++; Kokkos; FLASH; AMReX; …
Main Fields:

AsirPad

Software Authors:   Fujimoto, M., Suzuki, M.
Cited in: 0 Publications
Related Software: Maxima on Android; Risa/Asir
Main Fields: Computer science (68-XX)

AUTO-IK

Software Authors:   Goovaerts P
Cited in: 2 Publications (2011–2016)
Related Software: GSLIB
Main Fields: Geophysics (86-XX)

BARRACUDA

Software Authors:   Ariel Eizenberg, Yuanfeng Peng, Toma Pigli, William Mansky, Joseph Devietti
Cited in: 1 Publication (2021)
Related Software: GRace; GMRace; CURD; GKLEE; GPUVerify; CUDA; …
Main Fields: Computer science (68-XX)

BeamECOC

Software Authors:   Cemre Zor; Berrin Yanikoglu; Erinc Merdivan; Terry Windeatt; Josef Kittler; Ethem Alpaydin
Cited in: 2 Publications (2020)
Related Software: Scikit; GEMS; UCI-ml
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

BILBY

Software Authors:   Ashton, G., Hübner, M., Lasky, P. D., Talbot, C., Ackley, K., Biscoveanu, S., Chu, Q., et al.
Cited in: 0 Publications
Related Software: Python; PyFstat; FINDCHIRP; GstLAL; CWInPy; OctApps; …
Main Fields:

BYTESURGEON

Software Authors:   Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
Cited in: 2 Publications (2006–2008)
Related Software: SmallJS; JavaScript; WhyLine; Jython; Squeak; AspectS; …
Main Fields: Computer science (68-XX)

countAntom

Software Authors:   Jan Burchard, Tobias Schubert, Bernd Becker, Philipp Scholl, Sven Reimer, Tobias Faller, Tobias Paxian
Cited in: 2 Publications (2015–2018)
Related Software: sharpSAT; CUD@SAT; Dsharp; htd; gmp; Lingeling; …
Main Fields: Computer science (68-XX)

CrocoPat

Software Authors:   Dirk Beyer, Andreas Noack, Claus Lewerentz
Cited in: 1 Publication (2009)
Related Software: Qscope; PQL; CodeQuest; Eiffel
Main Fields: Computer science (68-XX)

CrossBit

Software Authors:   Guan, H., Liu, B., Li, T., Liang, A
Cited in: 0 Publications
Related Software: QEMU; ADAPT
Main Fields:

daBNN

Software Authors:   Jianhao Zhang, Yingwei Pan, Ting Yao, He Zhao, Tao Mei
Cited in: 1 Publication (2021)
Related Software: PyTorch; TensorFlow; Keras; Python; Larq; Wasserstein GAN; …
Main Fields: Computer science (68-XX)

DeepBugs

Software Authors:   Michael Pradel, Koushik Sen
Cited in: 1 Publication (2021)
Related Software: ImageNet; GraphCodeBERT; Devign; MISIM; StaQC; CoCoSUM; …
Main Fields: Computer science (68-XX)

GCNv2

Software Authors:   Tang J., Ericson L., Folkesson J., Jensfelt P.
Cited in: 2 Publications (2020)
Related Software: NearestNeighbors.jl; PRMLT; AlexNet; Fizzy; Lingvo; Kpax3; …
Main Fields: Computer science (68-XX)

HasCacBDD

Software Authors:   Gattinger, M.
Cited in: 2 Publications (2015–2018)
Related Software: SMCDEL; CacBDD; CUDD; DEMO; criterion; GitHub; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Hoki

Software Authors:   Heloise F. Stevance
Cited in: 0 Publications
Related Software: BPASS; Python; LALSuite; FINDCHIRP; Riroriro
Main Fields:

HolBA

Software Authors:   Lundberg, Didrik; Guanciale, Roberto; Lindner, Andreas; Dam, Mads
Cited in: 2 Publications (2020–2022)
Related Software: CPAchecker; SeaHorn; GNATprove; RGITL; Leon; CIRC; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

Hypothesis-checker

Software Authors:   Gregor, Petr; Novotný, Tomáš; Škrekovski, Riste
Cited in: 2 Publications (2017–2018)
Related Software: GitHub
Main Fields: Combinatorics (05-XX); Information and communication theory, circuits (94-XX)

ImbTreeAUC

Software Authors:   Krzysztof Gajowniczek; Tomasz Ząbkowski
Cited in: 0 Publications
Related Software: C4.5; data.tree; ImbTreeEntropy; UCI-ml; rpart; snow; …
Main Fields:

ImbTreeEntropy

Software Authors:   Krzysztof Gajowniczek, Tomasz Ząbkowski
Cited in: 0 Publications
Related Software: C4.5; data.tree; UCI-ml; rpart; snow; GenSA; …
Main Fields:

infCS

Software Authors:   Thesing, L.; Hansen, A. C.
Cited in: 2 Publications (2021–2022)
Related Software: SPGL1; MRI Simulation and Reconstruction; WaveLab; hfloat; FXT; CWW; …
Main Fields: Harmonic analysis on Euclidean spaces (42-XX); Functional analysis (46-XX); Numerical analysis (65-XX)

IRIC

Software Authors:   Bing Zhu; Zihan Gao; Junkai Zhao; Seppe K.L.M. vanden Broucke
Cited in: 1 Publication (2021)
Related Software: MWMOTE; RUSBoost; SMOTEBoost; Imbalanced-learn; WEKA; KEEL; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

JKTEBOP

Software Authors:   John Southworth
Cited in: 0 Publications
Related Software: EXOFAST; PyTransit; Python; batman; TAP; PyLightcurve; …
Main Fields:

LIBMF

Software Authors:   Chin, Wei-Sheng; Yuan, Bo-Wen; Yang, Meng-Yuan; Zhuang, Yong; Juan, Yu-Chin; Lin, Chih-Jen
Cited in: 2 Publications (2016–2020)
Related Software: node2vec; LowRankModels; GloVe; Adam; AdaGrad; fastFM; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

LOGIT

Software Authors:   Joseph M Hilbe, Rafael S. de Souza
Cited in: 2 Publications (2016–2019)
Related Software: JAGS; SAS; Stata; R
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Information and communication theory, circuits (94-XX)

LORAIN

Software Authors:   LaPre, J.M., Gonsiorowski, E.J., Carothers, C.D.
Cited in: 1 Publication (2015)
Related Software: TLRW; Hijacker
Main Fields: Computer science (68-XX); Quantum theory (81-XX); Systems theory; control (93-XX)

MethylCoder

Software Authors:   Brent Pedersen, Tzung-Fu Hsieh, Christian Ibarra, Robert L. Fischer
Cited in: 2 Publications (2016–2017)
Related Software: BSmooth; BS Seeker; mrsFAST; Bowtie 2; VarScan; BSMAP; …
Main Fields: Probability theory and stochastic processes (60-XX); Biology and other natural sciences (92-XX)

MinDouble

Software Authors:   Omer, Jérémy; Gonçalves, Douglas S.
Cited in: 2 Publications (2020–2022)
Related Software: MIN REVORDER; MD-jeep
Main Fields: Operations research, mathematical programming (90-XX)

mobtools

Software Authors:   Roger Bivand
Cited in: 2 Publications (2013)
Related Software: R; VCD; AER; Beanplot; topicmodels; MASS (R); …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Morpheus

Software Authors:   Starruß, J., De~Back, W., Brusch, L., Deutsch, A.
Cited in: 1 Publication (2021)
Related Software: CellSys; Biocellion; PhysiCell; Chaste; Microvessel Chaste; EmbryoMaker; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Biology and other natural sciences (92-XX)

MultilayerExtraction

Software Authors:   Wilson, James D.; Palowitch, John; Bhamidi, Shankar; Nobel, Andrew B.
Cited in: 2 Publications (2017–2020)
Related Software: GenLouvain; MCODE; GitHub; ESSC
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Operations research, mathematical programming (90-XX)

PurBayes

Software Authors:   Larson, N. B.; Fridley, B. L.
Cited in: 2 Publications (2015–2021)
Related Software: BWA; PyClone; PurityEst; TreeClone; SciClone; PhyloWGS; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

PyCBC Inference

Software Authors:   C. M. Biwer; Collin D. Capano; Soumi De; Miriam Cabero; Duncan A. Brown; Alexander H. Nitz; V. Raymond
Cited in: 0 Publications
Related Software: PyCBC; Python; PyEMD; Deeptime; darts; cesium; …
Main Fields:

SMILES

Software Authors:   Rico, J. F.; Ema, I.; López, R.; Ramírez, G.; Ishida, K.
Cited in: 2 Publications (2017–2021)
Related Software: MOLPRO; XD2015; AIMAll; DAMQT; ADF; TURBOMOLE
Main Fields: Quantum theory (81-XX); Biology and other natural sciences (92-XX)

Upen2DTool

Software Authors:   V. Bortolotti, L. Brizi, P. Fantazzini, G. Landi, F. Zama
Cited in: 1 Publication (2021)
Related Software: Matlab; I2DUPEN
Main Fields: Geophysics (86-XX)

Alpaqa

Software Authors:   Pieter Pas, Mathijs Schuurmans, Panagiotis Patrinos
Cited in: 1 Publication (2022)
Related Software: PANOC; UNLocBoX; ProximalAlgorithms.jl; OpEn; GitHub; ALGENCAN
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

ANaConDA

Software Authors:   Fiedor J.
Cited in: 1 Publication (2013)
Related Software: VS3; Wolverine; PRISM; ABC; Goldilocks; SatAbs; …
Main Fields: Computer science (68-XX)

Arbor3D

Software Authors:   Derek A. Ruths, Edward S. Chen, Leland Ellis
Cited in: 1 Publication (2005)
Related Software: MrBayes; CloSpan; CloseGraph; RadCon; TreeDT; Warmr; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

B++ Library

Software Authors:   B. Bachelet
Cited in: 1 Publication (2003)
Related Software:
Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

bcf

Software Authors:   P. Richard Hahn, Jared S. Murray, Carlos Carvalho
Cited in: 1 Publication (2021)
Related Software: bartCause; DOS2; bootstrap; cobalt; Matching; caret; …
Main Fields: Statistics (62-XX)

BinSim

Software Authors:   Ming, J., Xu, D., Jiang, Y., Wu, D.
Cited in: 1 Publication (2019)
Related Software: VMHunt; NISLVMP; SEEAD; Capstone; VMAttack; VMGuard; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)