REDUCE Software Authors: Anthony C. Hearn; Rayna, Gerhard; Rainer Schöpf; Thomas Sturm Cited in: 735 Publications (1970–2021) Related Software: Maple; Mathematica; MACSYMA; DIMSYM; EXCALC; AXIOM; … Main Fields: (34-04-XX); (65Y15-XX); (35A30-XX)
OPQ Software Authors: Gautschi, Walter Cited in: 453 Publications (2004–2022) Related Software: Matlab; DLMF; OrthogonalPolynomials; ORTHPOL; Chebfun; Mathematica; … Main Fields: (42-02-XX); (33-02-XX); (42C05-XX)
Rcpp Software Authors: Dirk Eddelbuettel; Romain Francois; JJ Allaire; John Chambers; Douglas Bates; Kevin Ushey Cited in: 144 Publications (2013–2023) Related Software: R; RcppArmadillo; ggplot2; CRAN; CODA; Armadillo; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
NBI Software Authors: Das, Indraneel; Dennis, J.E. Cited in: 211 Publications (1998–2022) Related Software: MOEA/D; SPEA2; HypE; SMS-EMOA; ASMO; PlatEMO; … Main Fields: (90C29-XX)
gfun Software Authors: B. Salvy; P. Zimmermann Cited in: 144 Publications (1992–2023) Related Software: Maple; OEIS; GeneratingFunctions; Mathematica; SIGMA; DLMF; … Main Fields: –
cdd Software Authors: Komei Fukuda Cited in: 119 Publications (1996–2022) Related Software: polymake; Gfan; PORTA; lrs; cddplus; gmp; … Main Fields: –
ORTHPOL Software Authors: Gautschi, Walter Cited in: 80 Publications (1993–2022) Related Software: OPQ; Matlab; QUADPACK; OrthogonalPolynomials; GQRAT; mctoolbox; … Main Fields: (65D20-XX); (42C05-XX); (65D32-XX)
Numba Software Authors: S. K. Lam, A. Pitrou, S. Seibert Cited in: 33 Publications (2016–2023) Related Software: Python; NumPy; SciPy; Scikit; Matplotlib; Cython; … Main Fields: –
CUTE Software Authors: Koushik Sen; Darko Marinov; Gul Agha Cited in: 50 Publications (2003–2021) Related Software: DART; z3; KLEE; Pex; Java PathFinder; STP; … Main Fields: (65K05-XX); (90C06-XX); (90C30-XX)
Algorithm 829 Software Authors: Gaviano, Marco; Kvasov, Dmitri E.; Lera, Daniela; Sergeyev, Yaroslav D. Cited in: 59 Publications (2003–2022) Related Software: LGO; Global Optimization Toolbox For Maple; MultiMin; DIRECT; MCS; minpack; … Main Fields: (90C30-XX); (90-04-XX)
CFSQP Software Authors: Lawrence, C.; J. Zhou; A. Tits Cited in: 57 Publications (1996–2020) Related Software: SNOPT; CONOPT; Tabu search; Genocop; PROFIL/BIAS; INTOPT_90; … Main Fields: –
Daikon Software Authors: Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen Cited in: 34 Publications (2005–2022) Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; … Main Fields: (68N99-XX); (68N17-XX); (68T05-XX)
Semigroups Software Authors: Mitchell, J. D. Cited in: 32 Publications (2011–2022) Related Software: GAP; OEIS; Smallsemi; Semigroupe; libsemigroups; Digraphs; … Main Fields: –
FINGER Software Authors: Wang, Paul S. Cited in: 26 Publications (1986–2021) Related Software: Mathematica; REDUCE; MACSYMA; GENTRAN; ELLPACK; SMS; … Main Fields: (65N30-XX); (74S05-XX); (65Yxx-XX)
DAVID_IAN Software Authors: Noonan, John; Zeilberger, Doron Cited in: 25 Publications (1999–2022) Related Software: GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; BLANKS; … Main Fields: –
GJSAW Software Authors: Noonan, John; Zeilberger, Doron Cited in: 25 Publications (1999–2022) Related Software: GJsqfree; GJseries; SPGJ; SYMGJ; BLANKS; JODO; … Main Fields: –
GJseries Software Authors: Noonan, John; Zeilberger, Doron Cited in: 25 Publications (1999–2022) Related Software: GJsqfree; GJSAW; SPGJ; SYMGJ; BLANKS; JODO; … Main Fields: –
GJsqfree Software Authors: Noonan, John; Zeilberger, Doron Cited in: 25 Publications (1999–2022) Related Software: GJSAW; GJseries; SPGJ; SYMGJ; BLANKS; JODO; … Main Fields: –
infinite group relaxation Software Authors: Basu, Amitabh; Hildebrand, Robert; Köppe, Matthias Cited in: 25 Publications (2015–2022) Related Software: GitHub; cutgeneratingfunctionology; SageMath; Normaliz; MIPLIB; PPL; … Main Fields: (90C-XX)
BinaryTrees Software Authors: Rowland, Eric S. Cited in: 24 Publications (2010–2023) Related Software: OEIS; GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; … Main Fields: (05C05-XX); (05A05-XX); (05C30-XX)
coxeter Software Authors: Stembridge, J.R Cited in: 22 Publications (1994–2019) Related Software: posets; SF; Maple; LiE; Letterplace; ncHilb; … Main Fields: –
clusterGeneration Software Authors: Weiliang Qiu, Harry Joe Cited in: 15 Publications (2011–2022) Related Software: R; mclust; mixture; cluster (R); MASS (R); FactoMineR; … Main Fields: –
BRAID Software Authors: Magaard, Kay; Shpectorov, Sergey; Völklein, Helmut Cited in: 18 Publications (2003–2019) Related Software: GAP; Magma; ComputeBelyi; MapClass; SINGULAR Main Fields: (12F12-XX); (14H30-XX); (14H10-XX)
MizarMode Software Authors: Urban, Josef Cited in: 18 Publications (2006–2019) Related Software: Mizar; MML; MoMM; MPTP 0.2; E Theorem Prover; MPTP; … Main Fields: (68T15-XX)
mnormt Software Authors: Alan Genz; Adelchi Azzalini Cited in: 14 Publications (2010–2022) Related Software: R; mvtnorm; sn; Mcmcpack; copula; QRM; … Main Fields: –
ROTA Software Authors: Zeilberger, Doron Cited in: 18 Publications (2000–2022) Related Software: MAYLIS; USAW; USAP; ZOO; Maple; FreeSAW; … Main Fields: (05A40-XX); (05A15-XX)
phytools Software Authors: Liam J. Revell Cited in: 11 Publications (2014–2022) Related Software: R; ape; GEIGER; MrBayes; BEAUti; phangorn; … Main Fields: –
SYMBA Software Authors: Li, Yi; Albarghouthi, Aws; Kincaid, Zachary; Gurfinkel, Arie; Chechik, Marsha Cited in: 13 Publications (2014–2021) Related Software: z3; vZ; OptiMathSAT; MathSAT5; LogMIP; Yices; … Main Fields: (68Q60-XX); (68N30-XX); (68T20-XX)
DepthProc Software Authors: Daniel Kosiorowski, Mateusz Bocian, Anna Wegrzynkiewicz, Zygmunt Zawadzki Cited in: 10 Publications (2015–2022) Related Software: R; depth; fda.usc; ddalpha; depthTools; ggplot2; … Main Fields: –
MahonianStat Software Authors: Canfield, E.Rodney; Janson, Svante; Zeilberger, Doron Cited in: 12 Publications (2011–2020) Related Software: OEIS; FindStat; SageMath; Quicksort; F12345; P123456; … Main Fields: (05A05-XX); (05A16-XX); (05E99-XX)
poweRlaw Software Authors: Colin S. Gillespie Cited in: 9 Publications (2018–2022) Related Software: plfit; R; igraph; KONECT; ismev; Rcpp; … Main Fields: –
FIAT Software Authors: Marie E. Rognes, Anders Logg, David A. Ham, Miklós Homolya, Nico Schlömer, Jan Blechta, Andrew T. T. McRae, Aslak Bergersen, Colin J. Cotter, Johannes Ring, Lawrence Mitchell Cited in: 10 Publications (2016–2022) Related Software: PETSc; Firedrake; petsc4py; FEniCS; COFFEE; TSFC; … Main Fields: –
GRUMMP Software Authors: Carl Ollivier-Gooch Cited in: 8 Publications (2003–2018) Related Software: Triangle; TetGen; Parasolid; Simmetrix; SIERRA; Netgen; … Main Fields: –
Distributions.jl Software Authors: Lin, D.; White, J. M. Cited in: 3 Publications (2015–2021) Related Software: Julia; Plots.jl; R; MLJ; Flux; DifferentialEquations.jl; … Main Fields: –
HiTag2 Software Authors: – Cited in: 10 Publications (2009–2021) Related Software: Grain; RAKAPOSHI; OpenCL; CUDA; MiniSat; FGb Main Fields: –
MultiOrd Software Authors: Anup Amatya; Hakan Demirtas Cited in: 9 Publications (2006–2022) Related Software: R; GenOrd; OrdNor; PoisNor; QRM; prefmod; … Main Fields: (62H10-XX); (65C10-XX); (65C60-XX)
dd_tools Software Authors: D.M.J. Tax Cited in: 4 Publications (2010–2016) Related Software: UCI-ml; LIBSVM; PRTools; JStatCom; cccd; C4.5; … Main Fields: –
UNU.RAN Software Authors: Josef Leydold Cited in: 9 Publications (2003–2017) Related Software: R; Runuran; GSL; QUADPACK; ghyp; QRM; … Main Fields: –
EMMIXcskew Software Authors: Sharon X. Lee, Geoffrey J. McLachlan Cited in: 7 Publications (2016–2022) Related Software: Emmixuskew; mixsmsn; mclust; sn; R; EMMIXskew; … Main Fields: –
Hipster Software Authors: Johansson, Moa; Rosén, Dan; Smallbone, Nicholas; Claessen, Koen Cited in: 8 Publications (2014–2021) Related Software: HipSpec; Theorema; QuickCheck; CVC4; QuickSpec; Dafny; … Main Fields: (68T15-XX)
CGJ Software Authors: Edlin, Anne E.; Zeilberger, Doron Cited in: 7 Publications (2000–2022) Related Software: GJsqfree; GJSAW; GJseries; SPGJ; SYMGJ; BLANKS; … Main Fields: (05A15-XX)
LNgen Software Authors: Aydemir, B.E., Weirich, S. Cited in: 7 Publications (2011–2021) Related Software: PoplMark; Isabelle/HOL; Nominal Isabelle; Abella; Twelf; Beluga; … Main Fields: –
RLangGFun Software Authors: Koutschan, Christoph Cited in: 7 Publications (2008–2019) Related Software: RNAsubopt; RNAfold; Maple; OEIS Main Fields: (68Q45-XX)
BiVariateMoms Software Authors: Doron Zeilberger Cited in: 5 Publications (2009–2021) Related Software: CLT; Maple; stCore; UGJ; Compositions; EvaluateMultiSums; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
Regexpcount Software Authors: Nicodème, Pierre Cited in: 6 Publications (2003–2014) Related Software: Maple; RSEARCH; fastDNAml; Rfam Main Fields: (68W30-XX); (68Q45-XX); (68R15-XX)
Shapiro Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 5 Publications (2017–2021) Related Software: Maple; DODGSON; qTSPP; DET; MultiZeilberger Main Fields: –
simuPOP Software Authors: Kimmel M, Peng B Cited in: 5 Publications (2008–2020) Related Software: R; ROCR; CRAN; genMOSS; LAMARC; fastsimcoal; … Main Fields: –
5tbl Software Authors: George Marsaglia; Wai Wan Tsang; Jingbo Wang Cited in: 5 Publications (2013–2020) Related Software: R; Apache Spark; MKL; GSL; MersenneTwister; Diehard; … Main Fields: –
Algolib Software Authors: Algo team at INRIA Cited in: 5 Publications (2004–2022) Related Software: Maple; OEIS; HOL Light; Coq; gdev; Coq-Combi; … Main Fields: –
ANIMALS Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; SAW; FreeSAP; SAP; FreeANIMALS; MARKOV; … Main Fields: –
AtomPAW Software Authors: N. A. W. Holzwarth, A. R. Tackett, G. E. Matthews Cited in: 5 Publications (2001–2020) Related Software: Pwpaw; ABINIT; Quantum Espresso; S/PHI/nX; PAW; lobpcg.m; … Main Fields: –
bnstruct Software Authors: Francesco Sambo, Alberto Franzin Cited in: 2 Publications (2018–2019) Related Software: bnlearn; R; huge; glasso; igraph; QUIC; … Main Fields: –
FEPG Software Authors: Liang, Guoping; Wu, Bangxian; Xie, Hui Cited in: 5 Publications (1996–2017) Related Software: FEniCS; DOLFIN; NASTRAN; ABAQUS; DUNE-FEM; ANSYS; … Main Fields: (65Y15-XX); (78M10-XX); (78A25-XX)
FinFuns Software Authors: Lochbihler, Andreas Cited in: 5 Publications (2009–2017) Related Software: Isabelle/HOL; Isabelle; HOL; Archive Formal Proofs; Nominal Isabelle; Jinja Threads; … Main Fields: (68T15-XX)
FreeANIMALS Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; SAW; FreeSAP; SAP; ANIMALS; MARKOV; … Main Fields: –
FreeSAP Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; SAW; SAP; FreeANIMALS; ANIMALS; MARKOV; … Main Fields: –
FreeSAW Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: SAW; FreeSAP; SAP; FreeANIMALS; ANIMALS; MARKOV; … Main Fields: –
MARKOV Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; SAW; FreeSAP; SAP; FreeANIMALS; ANIMALS; … Main Fields: –
OrthoDB Software Authors: Kriventseva EV et al Cited in: 2 Publications (2013–2017) Related Software: OrthoMCL; eggNOG; GASTS; MSOAR; Mauve; SeqVis; … Main Fields: –
RGCCTranslationUnit Software Authors: Lang, Duncan Temple Cited in: 3 Publications (2009–2011) Related Software: R; SJava; rJava; CXXR; gWidgets; tkrplot; … Main Fields: (62-04-XX); (68P05-XX); (68N19-XX)
SAP Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; SAW; FreeSAP; FreeANIMALS; ANIMALS; MARKOV; … Main Fields: –
SAW Software Authors: Doron Zeilberger Cited in: 5 Publications (2000–2011) Related Software: FreeSAW; FreeSAP; SAP; FreeANIMALS; ANIMALS; MARKOV; … Main Fields: –
SiPerUGJ Software Authors: Zeilberger, Doron Cited in: 5 Publications (2001–2018) Related Software: SymUGJ; UGJ; Maple; GJsqfree; GJSAW; GJseries; … Main Fields: (05A40-XX); (05A15-XX)
SUPPLE Software Authors: Krzysztof Z. Gajos, Daniel S. Weld, Jacob O. Wobbrock Cited in: 1 Publication (2014) Related Software: QOCA; Gild; Ibuild; Rockit; Python; Druid; … Main Fields: –
SymUGJ Software Authors: Zeilberger, Doron Cited in: 5 Publications (2001–2018) Related Software: SiPerUGJ; UGJ; Maple; GJsqfree; GJSAW; GJseries; … Main Fields: (05A40-XX); (05A15-XX)
amgf Software Authors: Raichev, Alexander Cited in: 4 Publications (2011–2016) Related Software: GitHub; SageMath; ore_algebra Main Fields: (68W30-XX); (05A15-XX)
Decon2LS Software Authors: Jaitly, N. et al. Cited in: 2 Publications (2010–2018) Related Software: Toppic; masserstein; OpenMS; NITPICK; YADA; Pinnacle; … Main Fields: –
HPGT Software Authors: Gautschi, Walter Cited in: 4 Publications (2014–2022) Related Software: OPQ; OrthogonalPolynomials; Mathematica; Matlab Main Fields: (65D32-XX); (41A55-XX)
KamaTzviot Software Authors: Doron Zeilberger Cited in: 4 Publications (2012–2020) Related Software: Sergi; Elizalde; GJsqfree; GJSAW; GJseries; SPGJ; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Integral equations (45-XX)
permute Software Authors: Gavin L. Simpson, R Core Team, Douglas M. Bates, Jari Oksanen Cited in: 4 Publications (2014–2022) Related Software: R; Canoco; BigMatch; pspearman; permutations; expperm; … Main Fields: –
PRNG Software Authors: Otmar Lendl; Josef Leydold Cited in: 4 Publications (2000–2021) Related Software: – Main Fields: –
PyGSP Software Authors: EPFL LTS2 laboratory Cited in: 1 Publication (2018) Related Software: Python; TensorFlow; NetworkX; GSPBOX; node2vec; GraRep; … Main Fields: –
QRNG Software Authors: Miszczak, Jarosław Adam Cited in: 3 Publications (2012–2022) Related Software: Mathematica; QDENSpalette; QCWAVE; QDENSITY; QETLAB; QPL; … Main Fields: (81P68-XX); (81P45-XX); (65C10-XX)
AFS.txt Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 2 Publications (2018–2020) Related Software: OEIS; Maple Main Fields: –
CINEMA Software Authors: Parry-Smith, D.J., Payne, A.W.R, Michie, A.D., Attwood, T.K. Cited in: 1 Publication (2017) Related Software: PHYLO_WIN; SEAVIEW; Jalview; UniProt; MUSCLE; SeqVis; … Main Fields: –
CoClust Software Authors: Di Lascio, F.Marta L.; Giannerini, Simone Cited in: 3 Publications (2012–2019) Related Software: CDVine; R; copula; mclust; maxLik; CDM; … Main Fields: (62H05-XX); (62H30-XX)
MathCode Software Authors: Fritzson P., Engelson V., Sheshadri K. Cited in: 3 Publications (2012–2017) Related Software: Mathematica; AWK; FEAPpv; CATIA V5; Modelica; Theorema; … Main Fields: –
MomCumConvert Software Authors: Zheng, Qi Cited in: 3 Publications (2002–2020) Related Software: ProbRel; Mathematica; R; Matlab Main Fields: (62E15-XX); (62-04-XX)
MPGENR Software Authors: Michaels, William M.; O'Neill, Richard P. Cited in: 3 Publications (1980–1993) Related Software: NETGEN Main Fields: (90C30-XX); (90C05-XX); (65K05-XX)
MSBVAR Software Authors: Patrick T. Brandt Cited in: 2 Publications (2009–2020) Related Software: R; vars; fArma; urca; strucchange; MASS (R); … Main Fields: –
RNASeqReadSimulator Software Authors: Wei Li Cited in: 3 Publications (2017–2022) Related Software: Salmon; StringTie; HISAT; Gurobi; MultiTrans; Scallop2; … Main Fields: –
SNIFF Software Authors: Garriba, S., Quartapelle, L., Reina, G. Cited in: 3 Publications (1978–2007) Related Software: coteglob; DQAINT; QUADPACK; Matlab; CUBPACK; CADRE Main Fields: –
TinyGarble Software Authors: Songhori, E.M., Hussain, S.U., Sadeghi, A., Schneider, T., Koushanfar, F. Cited in: 3 Publications (2016–2021) Related Software: Sharemind; TASTY; MP-SPDZ; ABC; Obliv-C; Frigate; … Main Fields: –
Tulliotools Software Authors: Flynn, Darren; Shamseddine, Khodr Cited in: 3 Publications (2021–2022) Related Software: ADiGator; DiffSharp; AceFEM; DNAD; Mathematica Main Fields: (26E30-XX); (12J25-XX); (11D88-XX)
ADG Software Authors: Qiang Cheng; Chong Qing Cited in: 2 Publications (2009–2012) Related Software: TAF; mctoolbox; Odyssee; PETSc; ADIFOR; Mathematica; … Main Fields: –
AlgFunEq Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 1 Publication (2018) Related Software: Maple; Cheyne; gfun; OEIS; A435; stCore; … Main Fields: –
COSMICS Software Authors: Edmund Bertschinger Cited in: 1 Publication (2001) Related Software: HOPE; CosmoSpec; iCosmo; CosmoHammer; CMBEASY; Python; … Main Fields: –
covid19.analytics Software Authors: Marcelo Ponce, Amit Sandhel Cited in: 0 Publications Related Software: R; GeoMLA; rnaturalearth; randomForest; caret; ggplot2 Main Fields: –
Datatype Order Generator Software Authors: René Thiemann Cited in: 2 Publications (2013–2022) Related Software: Isabelle/HOL; Isabelle; Logoot; Wooki; woot-haskell; wootjs; … Main Fields: –
gdev Software Authors: B. Salvy Cited in: 2 Publications (2004–2022) Related Software: OEIS; Algolib Main Fields: –
GenKern Software Authors: David Lucy, Robert Aykroyd Cited in: 2 Publications (2013–2018) Related Software: CODA; R Main Fields: –
grc Software Authors: Kaneko, T. Cited in: 2 Publications (2011–2018) Related Software: REDUCE; pvegas.c; Cuba Main Fields: (81Q30-XX); (81T18-XX); (81V05-XX)
Johnson Curve Software Authors: Jones, D. L. Cited in: 2 Publications (2017–2021) Related Software: AS 99; CreditRisk+; MULTILOG; MASS (R); AS 100; R; … Main Fields: –
Lambada Software Authors: Meijer, E., Finne, S. Cited in: 1 Publication (2004) Related Software: FFI; GreenCard; GCJNI; H/Direct; GHC; Haskell Main Fields: –
LEGO Software Authors: Doron Zeilberger Cited in: 2 Publications (1999–2000) Related Software: MAYLIS; PPar; FreeSAW; SAW; FreeSAP; SAP; … Main Fields: –
MADAM Software Authors: Kugler, K. G., L. A. Mueller: A. Graber Cited in: 2 Publications (2015–2021) Related Software: CHOLMOD; BiqCrunch; BiqMac; Biq Mac; LBFGS-B; SDPLR; … Main Fields: –
MaX-1 Software Authors: Christian Hafner Cited in: 1 Publication (2011) Related Software: CST MICROWAVE STUDIO; HFSS; COMSOL; JCMsuite Main Fields: –
MCBC Software Authors: Shizgal, Bernie D.; Dridi, Raouf Cited in: 2 Publications (2010–2015) Related Software: OPQ; KINPACK; Maple Main Fields: (82-04-XX); (82-08-XX); (82C70-XX)
OldPolyhedra Software Authors: René Birkner Cited in: 2 Publications (1995–2009) Related Software: Polyhedra; Macaulay2; FourierMotzkin; LatticePolytopes Main Fields: –
rBeta2009 Software Authors: Ching-Wei Cheng, Ying-Chao Hung, Narayanaswamy Balakrishnan Cited in: 2 Publications (2014) Related Software: R; SFMT; Rcpp; KrigInv; MultiLCIRT; RcppArmadillo; … Main Fields: –