INTOPT_90 Software Authors: Kearfott, R.Baker Cited in: 304 Publications (1996–2021) Related Software: INTLAB; PROFIL/BIAS; C-XSC; C-XSC 2.0; BARON; Numerica; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
PROST Software Authors: Renardy, Yuriko; Renardy, Michael Cited in: 176 Publications (2002–2023) Related Software: Gerris; SLIC; KRAKEN; VOFTools; OpenFOAM; NASA-VOF2D; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
BABEL Software Authors: Mario Rodriguez-Artalejo Cited in: 69 Publications (1988–2013) Related Software: Kernel-LEAF; TOY; Curry; ECCE; PAKCS; Miranda; … Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Computer science (68-XX)
RAGlib Software Authors: Jean-Charles Faugere; Mohab Safey El Din Cited in: 66 Publications (2003–2022) Related Software: Kronecker; FGb; ISOLATE; QEPCAD; Sostools; SeDuMi; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Numerical analysis (65-XX)
RealPaver Software Authors: Laurent Granvilliers Cited in: 51 Publications (2003–2017) Related Software: Numerica; INTOPT_90; gaol; ICOS; CPLEX; dReal; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
CFL3D Software Authors: Rumsey, C.L., Biedron, R.T., Thomas, J.L.; NASA Cited in: 48 Publications (2000–2022) Related Software: Spalart-Allmaras; ADIFOR; OVERFLOW; SEPRAN; PETSc; FUN3D; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
KLEE Software Authors: Cristian Cadar, Daniel Dunbar, Dawson Engler Cited in: 37 Publications (2010–2021) Related Software: z3; DART; CUTE; CPAchecker; LLVM; STP; … Main Fields: Mathematical logic and foundations (03-XX); Numerical analysis (65-XX); Computer science (68-XX)
Daisy Software Authors: B. De Moor, P. De Gersem, B. De Schutter, W. Favoreel Cited in: 32 Publications (2001–2022) Related Software: FastICA; ICALAB; SLRA; Wiener-Hammerstein Benchmark; Matlab; System Identification Toolbox; … Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
MPTP Software Authors: Urban, Josef Cited in: 26 Publications (2003–2021) Related Software: Mizar; E Theorem Prover; MaLARea; VAMPIRE; MPTP 0.2; MML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ecp Software Authors: Nicholas A. James, Wenyu Zhang, David S. Matteson Cited in: 17 Publications (2015–2022) Related Software: changepoint; R; wbs; cpm; strucchange; bcp; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Geophysics (86-XX)
rogue-waves Software Authors: Bilman, Deniz; Ling, Liming; Miller, Peter D. Cited in: 24 Publications (2018–2022) Related Software: DLMF; RHPackage; DiffSharp; L-BFGS; ISTPackage; GitHub Main Fields: Special functions (33-XX); Ordinary differential equations (34-XX); Partial differential equations (35-XX)
latentnet Software Authors: Pavel N. Krivitsky, Mark S. Handcock Cited in: 16 Publications (2010–2022) Related Software: R; statnet; ergm; igraph; network; SAS; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)
ObservabilityTest Software Authors: Sedoglavic, Alexandre Cited in: 22 Publications (2001–2022) Related Software: DAISY; COMBOS; SIAN; Maple; GenSSI; BLAD; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
avalanche.f Software Authors: Koch, Othmar; Weinmüller, Ewa Cited in: 20 Publications (2001–2022) Related Software: bvpsuite; Sbvp; COLSYS; bvp4c; Matlab; COLNEW; … Main Fields: Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
BRAID Software Authors: Magaard, Kay; Shpectorov, Sergey; Völklein, Helmut Cited in: 19 Publications (2003–2023) Related Software: GAP; Magma; decompose-jacobians; SageMath; ComputeBelyi; MapClass; … Main Fields: Number theory (11-XX); Field theory and polynomials (12-XX); Algebraic geometry (14-XX)
CSP-prover Software Authors: Isobe, Yoshinao; Roggenbach, Markus Cited in: 17 Publications (2005–2022) Related Software: PVS; Isabelle/HOL; FDR2; Z; CASL; PAT; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
ISUD Software Authors: Zaghrouti, Abdelouahab; Soumis, François; El Hallaoui, Issmail Cited in: 15 Publications (2014–2022) Related Software: DeeperCut; GCG; SCIP; CPLEX; OR-Library Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX)
SeDiMO Software Authors: Baur, Karin; Draisma, Jan; de Graaf, Willem A. Cited in: 14 Publications (2007–2021) Related Software: Macaulay2; Bertini; GAP; SLA; PHCpack; Magma Main Fields: Algebraic geometry (14-XX); Linear and multilinear algebra; matrix theory (15-XX); Associative rings and algebras (16-XX)
ANewDsc Software Authors: Kobel, Alexander; Rouillier, Fabrice; Sagraloff, Michael Cited in: 13 Publications (2016–2022) Related Software: ISOLATE; Ccluster; Arb; SqFreeEVAL; SLV; Maple; … Main Fields: Algebraic geometry (14-XX); Functions of a complex variable (30-XX); Numerical analysis (65-XX)
Sfold Software Authors: Ding Y, Chan CY, Lawrence CE Cited in: 12 Publications (2006–2014) Related Software: Mfold; DINAMelt; Rfam; RSEARCH; RNAshapes; OligoArray; … Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Statistical mechanics, structure of matter (82-XX)
SPOOK Software Authors: A. Pfeffer, D. Koller, B. Milch, K. Takusagawa Cited in: 11 Publications (2000–2020) Related Software: BLOG; FACTORIE; IBAL; TETRAD; PRISM; MEBN; … Main Fields: Statistics (62-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
CIMGS Software Authors: X. Wang, K. A. Gallivan, R. Bramley Cited in: 12 Publications (1997–2021) Related Software: LSQR; SparseMatrix; HSL; ILUT; HSL_MI28; CUTEst; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)
CkAnalytic Software Authors: Lessard, Jean-Philippe; Mireles James, J.D. Cited in: 12 Publications (2017–2022) Related Software: INTLAB; RODES; CAPD; Matlab; Taylor; galepu; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
cutgeneratingfunctionology Software Authors: Köppe, Matthias; Zhou, Yuan Cited in: 12 Publications (2016–2022) Related Software: infinite group relaxation; GitHub; SageMath; Normaliz; SCIP; PPL; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
EstimateS Software Authors: Colwell, R.K. Cited in: 10 Publications (2002–2021) Related Software: Rcapture; iNEXT; vegan; ws2m; SPADE; asymptor; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
H-Morph Software Authors: Owen, Steven J.; Saigal, Sunil Cited in: 11 Publications (2000–2022) Related Software: Q-Morph; CubeCover; LBIE; HexGen; Hex2Spline; HexDom; … Main Fields: Numerical analysis (65-XX); Mechanics of deformable solids (74-XX); Optics, electromagnetic theory (78-XX)
RSEM Software Authors: Li B, Dewey CN Cited in: 12 Publications (2015–2021) Related Software: edgeR; Bioconductor; TopHat; R; DEseq; Salmon; … Main Fields: General and overarching topics; collections (00-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX)
ANODEs Software Authors: Emilien Dupont, Arnaud Doucet, Yee Whye Teh Cited in: 10 Publications (2020–2022) Related Software: torchdiffeq; FFJORD; PyTorch; Glow; DifferentialEquations.jl; DiffEqFlux; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)
metapath2vec Software Authors: Yuxiao Dong, Nitesh V Chawla, Ananthram Swami Cited in: 10 Publications (2018–2021) Related Software: node2vec; word2vec; DeepWalk; LINE; GraRep; PTE; … Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX)
central-group-frames Software Authors: Iverson, Joseph W.; Jasper, John; Mixon, Dustin G. Cited in: 9 Publications (2018–2022) Related Software: GAP; Magma; FUtil; GitHub; SageMath; FinInG Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Harmonic analysis on Euclidean spaces (42-XX)
navierstokes Software Authors: van den Berg, Jan Bouwe; Breden, Maxime; Lessard, Jean-Philippe; van Veen, Lennaert Cited in: 9 Publications (2019–2022) Related Software: INTLAB; RODES; Ada95; Matlab; Bilbao Crystallography Server; FEniCS; … Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
T-Rasch Software Authors: I. Ponocny, E. Ponocny-Seliger Cited in: 9 Publications (2000–2018) Related Software: R; OPLM; rjags; Mcmcpack; RaschSampler; IRTLRDIF; … Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TDDS Software Authors: Vladimir P. Gerdt, Markus Lange-Hegermann, Daniel Robertz Cited in: 9 Publications (2019–2023) Related Software: DifferentialThomas; Maple; Janet; RegularChains; LDA; AlgebraicThomas; … Main Fields: Commutative algebra (13-XX); Ordinary differential equations (34-XX); Probability theory and stochastic processes (60-XX)
Rif Software Authors: A. Wittkopf; G. Reid Cited in: 8 Publications (2004–2019) Related Software: Maple; DifferentialGeometry; REDUCE; Mathematica; diffgrob2; GeM; … Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
SPeeDI Software Authors: Asarin, Eugene; Pace, Gordon; Schneider, Gerardo; Yovine, Sergio Cited in: 7 Publications (2002–2017) Related Software: GSPeeDI; HyTech; ParaPlan; dReach; Flow*; KeYmaera; … Main Fields: Ordinary differential equations (34-XX); Computer science (68-XX); Systems theory; control (93-XX)
SUMO Software Authors: Niles, I.; Pease, A. Cited in: 2 Publications (2006–2008) Related Software: WordNet; SpatialML; VerbNet; swrl; WebODE; Protege; … Main Fields: Computer science (68-XX)
CONSLAW Software Authors: Yao, Ruo-Xia; Li, Zhi-Bin Cited in: 7 Publications (2004–2016) Related Software: Maple; CONDENS; GeM; WKPtest; PSEUDO; CLawDDEs; … Main Fields: Ordinary differential equations (34-XX); Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX)
EconDrop Software Authors: Metzger, Stefan; Grün Cited in: 6 Publications (2020–2022) Related Software: COMSOL; Oasis; PETSc; FEniCS; Python; Bernaise; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Mechanics of deformable solids (74-XX)
GoedelGod Software Authors: Christoph Benzmüller; Bruno Woltzenlogel Paleo Cited in: 7 Publications (2015–2020) Related Software: Isabelle/HOL; Coq; Archive Formal Proofs; Satallax; Nitpick; LEO-II; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Lorenz-Database Software Authors: Roberto Barrio; Angeles Dena; Warwick Tucker Cited in: 7 Publications (2015–2022) Related Software: CAPD; AUTO; RODES; TIDES; kv; Chebfun; … Main Fields: Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX); Numerical analysis (65-XX)
Sociodynamica Software Authors: Jaffé, Klaus Cited in: 7 Publications (2017–2023) Related Software: – Main Fields: Probability theory and stochastic processes (60-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
ASAP Software Authors: Khandelwal, Girish; Lee, Kyounghwan; Yener, Aylin; Serbetli, Semih Cited in: 4 Publications (2007–2010) Related Software: Access/CPN; Design/CPN; CPN/Tools; Algorithm 786 Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
FOL Fitting Software Authors: Stefan Berghofer; Andreas Halkjær From Cited in: 6 Publications (2014–2021) Related Software: Isabelle/HOL; Archive Formal Proofs; Completeness theorem; HOL; Sledgehammer; Isabelle; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FUNTA Software Authors: Andre Rehage Cited in: 6 Publications (2016–2022) Related Software: rFUNTA; fda (R); Rainbow; R; fda.usc; freqdom.fda; … Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)
Ordinary Differential Equations Software Authors: Fabian Immler; Johannes Hölzl Cited in: 6 Publications (2012–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; Kleene Algebra; Algebraic_VCs; Coquelicot; RODES; … Main Fields: Mathematical logic and foundations (03-XX); Ordinary differential equations (34-XX); Dynamical systems and ergodic theory (37-XX)
Wendy Software Authors: Lohmann, Niels; Weinberg, Daniela Cited in: 3 Publications (2011–2020) Related Software: BPEL2oWFN; LOTOS; Woflan; BPEL2PN; YAWL; Metagraphs; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)
casper Software Authors: Rossell, David; Attolini, Camille Stephan-Otto; Kroiss, Manuel; St"ocker, Almond Cited in: 5 Publications (2014–2018) Related Software: RSEM; TopHat; EBSeq; edgeR; Bioconductor; DRIMSeq; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Biology and other natural sciences (92-XX)
d2_cluster Software Authors: Burke, J., Davison, D., Hide, W. Cited in: 5 Publications (2007–2019) Related Software: MOLPHY; PHYLIP; Rainbow; SlideSort; Mash; Corset; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)
Echelon Form Software Authors: Jose Divasón; Jesús Aransay Cited in: 5 Publications (2016–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; Cayley-Hamilton; Transfer; Lifting; HOL; … Main Fields: Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX); Calculus of variations and optimal control; optimization (49-XX)
GRPIA Software Authors: Messaoudi, Abderrahim; Errachid, Mohammed; Jbilou, Khalide; Sadok, Hassane Cited in: 5 Publications (2019–2022) Related Software: RMVPIA; ALGOL 60; EPSfun; Anderson; SQUAREM; Matlab; … Main Fields: Approximations and expansions (41-XX); Numerical analysis (65-XX)
Lyapunov Software Authors: Filho, Tarcísio M.Rocha; Gléria, Iram M.; Figueiredo, Annibal Cited in: 5 Publications (2003–2017) Related Software: Maple; diffgrob2; PDEtools; QPSI; LIE; BIGLIE; … Main Fields: Ordinary differential equations (34-XX); Numerical analysis (65-XX); Computer science (68-XX)
NeMoFinder Software Authors: Chen J, Hsu M, Lee L, Ng SK Cited in: 5 Publications (2009–2020) Related Software: MODA; Kavosh; FANMOD; Graemlin; KEGG; gSpan; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
SAPPER Software Authors: S. Zhang, J. Yang, W. Jin Cited in: 5 Publications (2014–2019) Related Software: TALE; GADDI; Fg-index; GraphGrep; GString; NeMa; … Main Fields: Combinatorics (05-XX); 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)
BAHAMAS Software Authors: H. Shariff (Imperial), X. Jiao (Imperial), R. Trotta (Imperial), D.A. van Dyk (Imperial) Cited in: 4 Publications (2017–2018) Related Software: CosmoMC; NumCosmo; cosmoabc; emcee; Python; Stan; … Main Fields: Statistics (62-XX); Quantum theory (81-XX); Relativity and gravitational theory (83-XX)
Braidlab Software Authors: Jean-Luc Thiffeault, Marko Budisic Cited in: 3 Publications (2015–2018) Related Software: Alpha shapes; plfit; Threadpool; CBraid; Matlab Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Mechanics of particles and systems (70-XX)
CausalKinetiX Software Authors: Pfister, Niklas; Bauer, Stefan; Peters, Jonas Cited in: 4 Publications (2019–2021) Related Software: JCI; TETRAD; KEGG; fda (R); Data2Dynamics; SUNDIALS Main Fields: Statistics (62-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
EMILE Software Authors: Adriaans, Pieter; Vervoort, Marco Cited in: 3 Publications (2002–2007) Related Software: RFSA Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
EVE Software Authors: Muhammad Najib Cited in: 4 Publications (2019–2021) Related Software: MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
HOL2P Software Authors: Völker, Norbert Cited in: 4 Publications (2007–2018) Related Software: HOL Light; HOL; Coq; HOL Light QE; reFLect; Agda; … Main Fields: Computer science (68-XX)
LPFML Software Authors: Fourer, Robert; Lopes, Leo; Martin, Kipp Cited in: 4 Publications (2005–2016) Related Software: AMPL; NEOS; OSiL; GAMS; LINDO; LINGO; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Computer science (68-XX)
ppmlhdfe Software Authors: Sergio Correia, Paulo Guimarães, Tom Zylkin Cited in: 3 Publications (2021–2022) Related Software: felsdvreg; FENmlm; reghdfe; Stata; glmGamPoi; FLUPS Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Biology and other natural sciences (92-XX)
Sourcerer Software Authors: Linstead, E.; Bajracharya, S.; Ngo, T.; Rigor, P.; Lopes, C.; Baldi, P. P Cited in: 1 Publication (2014) Related Software: Python; Nostril; GeneReporter; Wumpus; Ganga; MapReduce; … Main Fields: Computer science (68-XX)
CRITICA Software Authors: Badger JH, Olsen GJ Cited in: 1 Publication (2017) Related Software: TICO; EasyGene; Prodigal; LIBSVM; ClustalW; SeqVis; … Main Fields: General and overarching topics; collections (00-XX); Biology and other natural sciences (92-XX)
DeepSphere Software Authors: Nathanaël Perraudin, Michaël Defferrard, Tomasz Kacprzak, Raphael Sgier Cited in: 2 Publications (2019–2021) Related Software: Healpix; V-Net; nbodykit; FastPM; CosmoFlow; GADGET; … Main Fields: Calculus of variations and optimal control; optimization (49-XX); Numerical analysis (65-XX); Relativity and gravitational theory (83-XX)
KKTDirect Software Authors: Robert Bridson Cited in: 3 Publications (2010–2019) Related Software: IFISS; HSL_MI20; METIS; Ptolemy; CVXGEN; CVXMOD; … Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX)
MapDE Software Authors: Mohammadi, Zahra; Reid, Gregory J.; Huang, Tracy Shih-lung Cited in: 3 Publications (2019–2021) Related Software: GeM; DifferentialGeometry; LieAlgebrasOfVectorFields; SADE; CRACK; DifferentialAlgebra; … Main Fields: Field theory and polynomials (12-XX); Partial differential equations (35-XX); Computer science (68-XX)
MI-Sim Software Authors: M. J. Wade, J. Oakley, S. Harbisher, N. G. Parker, J. Dolfing Cited in: 3 Publications (2018–2022) Related Software: Maple; MATCONT Main Fields: Ordinary differential equations (34-XX); Biology and other natural sciences (92-XX)
SINBAD Software Authors: Favorov, Oleg V.; Ryder, Dan Cited in: 3 Publications (2004–2012) Related Software: PASCAL VOC; SURF Main Fields: Statistics (62-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
SparseDTW Software Authors: Ghazi Al-Naymat, Sanjay Chawla, Javid Taheri Cited in: 3 Publications (2013–2021) Related Software: GitHub; dtwSat; shapeDTW; UCR Suite; QuantQuote; stats; … Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Synthetic Gene Designer Software Authors: Wu G, Bashir-Bello N, Freeland SJ. Cited in: 3 Publications (2008–2014) Related Software: Gene Designer; OPTIMIZER; GeMS; JCat; UpGene; EuGene; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
TorDiv Software Authors: Florian Berchtold; Jürgen Hausen; Robert Vollmert; Marcel Widmann Cited in: 2 Publications (2006–2015) Related Software: Maple; toric; ToricVarieties; Convex; Magma; MDSpackage; … Main Fields: Algebraic geometry (14-XX)
Conn Software Authors: Eriksen, E.; Gustavsen, T. S. Cited in: 2 Publications (2007–2008) Related Software: SINGULAR Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Several complex variables and analytic spaces (32-XX)
CPSparrow Software Authors: Yamin Hu, Wenjian Luo, Junteng Wang Cited in: 1 Publication (2021) Related Software: gluHack; Sparrow2Riss; Plingeling; Lingeling; Dafny; Splatz; … Main Fields: Computer science (68-XX)
CYNTENATOR Software Authors: Rödelsperger, C., Dieterich, C. Cited in: 2 Publications (2019) Related Software: i-ADHoRe; Sibelia; CAMSA; hybridSPAdes; GTED; HINGE; … Main Fields: General and overarching topics; collections (00-XX); Operations research, mathematical programming (90-XX); Biology and other natural sciences (92-XX)
D2C Software Authors: Gianluca Bontempi, Catharina Olsen, Maxime Flauder Cited in: 1 Publication (2015) Related Software: pcalg; causalsens; causaleffect; R; iWeigReg; mediation; … Main Fields: Statistics (62-XX); Computer science (68-XX)
EMEuIA Software Authors: Dvorkin, Vladimir; Kazempour, Jalal; Pinson, Pierre Cited in: 2 Publications (2019–2022) Related Software: GitHub; JuMP Main Fields: Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
eMLEloglin Software Authors: Matthew Friedlander Cited in: 1 Publication (2021) Related Software: conting Main Fields: Statistics (62-XX)
eta-quotients Software Authors: Ryan, Nathan C.; Scherr, Zachary; Sirolli, Nicolás; Treneer, Stephanie Cited in: 2 Publications (2021–2023) Related Software: GitHub; SageMath; FLINT Main Fields: Number theory (11-XX)
ex-infinity Software Authors: Moss, Sean Cited in: 2 Publications (2020–2021) Related Software: GitHub Main Fields: Category theory; homological algebra (18-XX); Algebraic topology (55-XX); Manifolds and cell complexes (57-XX)
Fusion++ Software Authors: John McCormac, Ronald Clark, Michael Bloesch, Andrew J. Davison, Stefan Leutenegger Cited in: 1 Publication (2021) Related Software: DeepContext; PPFNet; VoxelNet; PointCNN; PanoContext; PointNet; … Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
FuzzyLP Software Authors: Villacorta, Pablo J.; Rabelo, Carlos A.; Pelta, David A.; Verdegay, José Luis Cited in: 2 Publications (2017) Related Software: PROBO; FuzzyNumbers; ROI; GAMS; R Main Fields: General and overarching topics; collections (00-XX); Mathematical logic and foundations (03-XX); Numerical analysis (65-XX)
gluHack Software Authors: Yamin Hu, Wenjian Luo, Junteng Wang Cited in: 1 Publication (2021) Related Software: CPSparrow; Sparrow2Riss; Plingeling; Lingeling; Dafny; Splatz; … Main Fields: Computer science (68-XX)
GUBS Software Authors: Basso-Blandin, Adrien; Delaplace, Franck Cited in: 2 Publications (2013–2014) Related Software: – Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
MateriApps LIVE Software Authors: Yuichi Motoyama; Kazuyoshi Yoshimi; Takeo Kato; Synge Todo Cited in: 0 Publications Related Software: mVMC; Spack; Quantum Mobile; VirtualBox; CONQUEST; DCore; … Main Fields: –
NICGAR Software Authors: Martin, D.; Alcalá-Fdez, J.; Rosete, A.; Herrera, F. Cited in: 2 Publications (2020–2022) Related Software: PeSOA; G3PARM; NMEEF-SD; Rare-PEARs; MODENAR; GSA; … Main Fields: Computer science (68-XX)
pathTiMEx Software Authors: Cristea, S., Kuipers, J., and Beerenwinkel, N. Cited in: 1 Publication (2022) Related Software: TreeMHN; BiTSC2; SCARLET; SiFit; R Main Fields: Biology and other natural sciences (92-XX)
PhyloGibbs Software Authors: Siddhartan, R., van Nimwegen, E., Siggia, E.D Cited in: 2 Publications (2006–2011) Related Software: MEME; tracker2; T-coffee; DIALIGN; BioProspector Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
PiMaG Software Authors: Manolios, Panagiotis; Srinivasan, Sudarshan K. Cited in: 2 Publications (2005–2011) Related Software: MiniSat; Calysto; Velev SAT Benchmarks; RSat; Chaff; zChaff; … Main Fields: Computer science (68-XX)
rifsimp Software Authors: Maplesoft Cited in: 2 Publications (2018–2020) Related Software: Maple; Exterior Main Fields: Partial differential equations (35-XX); Dynamical systems and ergodic theory (37-XX); Fluid mechanics (76-XX)
safeBinaryRegression Software Authors: Kjell Konis Cited in: 1 Publication (2009) Related Software: R; gnm; SAS; vcd; gnlm; brglm2; … Main Fields: Statistics (62-XX); Operations research, mathematical programming (90-XX)
Vector Spaces Software Authors: Holden Lee Cited in: 2 Publications (2018–2020) Related Software: Berlekamp Zassenhaus; Isabelle/HOL; Sqrt_Babylonian; Archive Formal Proofs; Lifting; Transfer; … Main Fields: Mathematical logic and foundations (03-XX); Number theory (11-XX); Field theory and polynomials (12-XX)
AGADE Software Authors: J.J. Mitteramskogler Cited in: 1 Publication (2023) Related Software: Maple Main Fields: Algebraic geometry (14-XX); Ordinary differential equations (34-XX); Computer science (68-XX)
ANONIZE Software Authors: Hohenberger, S., Myers, S., Pass, R., Shelat, A. Cited in: 1 Publication (2017) Related Software: ZKBoo Main Fields: Information and communication theory, circuits (94-XX)
aPC Software Authors: Oladyshkin, S Cited in: 1 Publication (2021) Related Software: TOUGHREACT; BaPC Main Fields: Geophysics (86-XX)
AutoNet Software Authors: Qu, Kun; Yesnik, Anastasia M.; Ortoleva, Peter J. Cited in: 1 Publication (2010) Related Software: BNArray Main Fields: Biology and other natural sciences (92-XX)
bayesclust Software Authors: Vikneswaran Gopal; Claudio Fuentes; George Casella Cited in: 0 Publications Related Software: R; mclust Main Fields: –
BioRica Software Authors: Soueidan Hayssam; Sherman David James; Nikolski Macha Cited in: 1 Publication (2013) Related Software: – Main Fields: Numerical analysis (65-XX); Biology and other natural sciences (92-XX)
CFHALL Software Authors: Perepelkina, A.Yu.; Levchenko, V.D.; Goryachev, I.A. Cited in: 1 Publication (2013) Related Software: OSIRIS Main Fields: Numerical analysis (65-XX); Fluid mechanics (76-XX); Optics, electromagnetic theory (78-XX)
ChoiceGAPs Software Authors: Serra, Edoardo; Spezzano, Francesca; Subrahmanian, V.S. Cited in: 1 Publication (2016) Related Software: Datalog; ProbLog Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)