Magma Software Authors: W. Bosma, A. Steel, G. Matthews, D. Fisher, J. Cannon, S. Contini, B. Smith Cited in: 3,481 Publications (1994–2023) Related Software: GAP; SageMath; PARI/GP; SINGULAR; Maple; Code Tables; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Algebraic geometry (14-XX)
Sage-Combinat Software Authors: – Cited in: 108 Publications (2010–2022) Related Software: SageMath; OEIS; ROBBINS; DLMF; CHEVIE; GAP; … Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Algebraic geometry (14-XX)
SIGMA Software Authors: Carsten Schneider Cited in: 106 Publications (2004–2022) Related Software: qZeil; Mathematica; EvaluateMultiSums; gfun; OEIS; GeneratingFunctions; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
GENREG Software Authors: Meringer, Markus Cited in: 61 Publications (1999–2022) Related Software: nauty; House of Graphs; Traces; snarkhunter; plantri; OEIS; … Main Fields: Combinatorics (05-XX); Geometry (51-XX); Computer science (68-XX)
Omega Software Authors: Andrews, George E.; Paule, Peter; Riese, Axel Cited in: 55 Publications (2001–2022) Related Software: OEIS; LattE; Mathematica; CliffOC; CliffSymNil; CliffMath; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Commutative algebra (13-XX)
Graded Ring Database Software Authors: Gavin Brown, Alexander Kasprzyk Cited in: 40 Publications (2002–2022) Related Software: Magma; VersalDeformations; Macaulay2; SINGULAR; GAP; polymake; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Convex and discrete geometry (52-XX)
CRYPTIM Software Authors: Ustimenko, Vasyl Cited in: 29 Publications (2001–2015) Related Software: CRYPTALL; Galois Field Arithmetic Library Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Computer science (68-XX)
gCol Software Authors: Lewis, R. M. R. Cited in: 27 Publications (2016–2022) Related Software: CALMA; irace; Tabu search; GNU parallel; ilsts-wvcp; TSpack; … Main Fields: Combinatorics (05-XX); Ordinary differential equations (34-XX); Statistics (62-XX)
MuPAD-Combinat Software Authors: Descouens, Francois Cited in: 24 Publications (2004–2019) Related Software: MuPAD; OEIS; SageMath; Mathematica; Maple; Maxima; … Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Nonassociative rings and algebras (17-XX)
WILF Software Authors: Zeilberger, Doron Cited in: 15 Publications (1998–2019) Related Software: HERB; OEIS; InsEnc; PermPAL; PermStruct; Lingeling; … Main Fields: Combinatorics (05-XX); Computer science (68-XX)
ACE Software Authors: Veigneau, S. Cited in: 13 Publications (1997–2010) Related Software: Maple; SF; MACSYMA; SYMMETRICA; SFA; SCHUR Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX)
a-tint Software Authors: Hampe, Simon Cited in: 11 Publications (2014–2022) Related Software: polymake; Macaulay2; SINGULAR; GAP; Gfan; resolve.lib; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Geometry (51-XX)
2L_enum Software Authors: Bohn, Adam; Faenza, Yuri; Fiorini, Samuel; Fisikopoulos, Vissarion; Macchia, Marco; Pashkovich, Kanstantsin Cited in: 12 Publications (2015–2022) Related Software: 01poly; Macaulay2; SageMath; birkhoff faces; polymake; SlackIdeals; … Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX)
stCore Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 11 Publications (2016–2022) Related Software: Maple; HISTABRUT; BiVariateMoms; CLT; OEIS; Quicksort; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Group theory and generalizations (20-XX)
OreSys Software Authors: Stefan Gerhold Cited in: 11 Publications (2005–2020) Related Software: HarmonicSums; Reduze; FORM; Axodraw; MATAD; Fermat; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
combinat Software Authors: Scott Chasalow Cited in: 4 Publications (2010–2019) Related Software: R; lattice; vcd; mvtnorm; ggplot2; foreign; … Main Fields: Nonassociative rings and algebras (17-XX); \(K\)-theory (19-XX); Topological groups, Lie groups (22-XX)
GenerateUHG Software Authors: Jan Goedgebeur, Barbara Meersman, Carol T. Zamfirescu Cited in: 7 Publications (2019–2022) Related Software: nauty; snarkhunter; OEIS; House of Graphs; plantri; MathOverflow; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Combinatorics_Words Software Authors: Štěpán Holub; Martin Raška; Štěpán Starosta Cited in: 7 Publications (2017–2022) Related Software: Isabelle/HOL; Archive Formal Proofs; Isabelle; CertiStr; CVC4; Norn; … Main Fields: Computer science (68-XX)
PermLib Software Authors: Rehn, Thomas; Schürmann, Achill Cited in: 7 Publications (2010–2019) Related Software: SymPol; MIPLIB; polymake; Normaliz; bliss; Saucy; … Main Fields: Algebraic geometry (14-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
respol Software Authors: I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda Cited in: 7 Publications (2013–2019) Related Software: TOPCOM; Maple; triangulation; iB4e; simpl.mpl; implicitize; … Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Approximations and expansions (41-XX)
RLangGFun Software Authors: Koutschan, Christoph Cited in: 7 Publications (2008–2019) Related Software: RNAsubopt; RNAfold; Maple; OEIS Main Fields: Combinatorics (05-XX); Commutative algebra (13-XX); Linear and multilinear algebra; matrix theory (15-XX)
hyperdirichlet Software Authors: Robin Hankin Cited in: 4 Publications (2013–2019) Related Software: R; aylmer; Brobdingnag; multipol; fminsearch; CUDA; … Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Numerical analysis (65-XX)
qFunctions Software Authors: Jakob Ablinger, Ali K. Uncu Cited in: 5 Publications (2020–2022) Related Software: qMultiSum; qGeneratingFunctions; RATE; HYP; qseries; SIGMA; … Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX)
Shapiro Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 5 Publications (2017–2021) Related Software: Maple; DODGSON; qTSPP; DET; MultiZeilberger Main Fields: Combinatorics (05-XX); Number theory (11-XX); Linear and multilinear algebra; matrix theory (15-XX)
SMCper Software Authors: Zeilberger, Doron Cited in: 6 Publications (2004–2021) Related Software: stCore; Quicksort; EKHAD; HISTABRUT; SIGMA; A435; … Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Difference and functional equations (39-XX)
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: Mathematical logic and foundations (03-XX); Order, lattices, ordered algebraic structures (06-XX); Number theory (11-XX)
Orbiter Software Authors: Betten, Anton Cited in: 4 Publications (2018–2019) Related Software: GitHub; GAP; Algorithm 457; 3BA; ATAME; Axl; … Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Geometry (51-XX)
partitions Software Authors: Robin K. S. Hankin Cited in: 0 Publications Related Software: R; gsl; UsingR; fields; optimx; fitdistrplus; … Main Fields: –
F123 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P123456; P12345; P1234; F1234; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
F1234 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P123456; P12345; P1234; F123; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
F12345 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: P123456; P12345; P1234; F1234; F123; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
P123 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P123456; P12345; P1234; F1234; F123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
P1234 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P123456; P12345; F1234; F123; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
P12345 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P123456; P1234; F1234; F123; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
P123456 Software Authors: Brian Nakamura; Doron Zeilberger Cited in: 4 Publications (2013–2015) Related Software: F12345; P12345; P1234; F1234; F123; P123; … Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)
AFS.txt Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 2 Publications (2018–2020) Related Software: Maple; OEIS Main Fields: Combinatorics (05-XX); Number theory (11-XX)
IntHaar Software Authors: Alejandro Ginory, Jongwon Kim Cited in: 1 Publication (2021) Related Software: IntU; SF; Maple; Mathematica; Python; RTNI Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX)
Compositions Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 1 Publication (2020) Related Software: UGJ; BiVariateMoms; Maple; GJsqfree; GJSAW; GJseries; … Main Fields: Combinatorics (05-XX); Number theory (11-XX)
Coq-Combi Software Authors: Florent Hivert Cited in: 2 Publications (2021) Related Software: Archive Formal Proofs; Isabelle/HOL; Zeta_3_Irrational; Mathematical Components; Lean; CakeML; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
FlexRiLoG Software Authors: Georg Grasegger, Jan Legerský Cited in: 1 Publication (2020) Related Software: SageMath; LamanGraphs Main Fields: Combinatorics (05-XX)
grc Software Authors: Kaneko, T. Cited in: 2 Publications (2011–2018) Related Software: REDUCE; pvegas.c; Cuba Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)
Pecan Software Authors: Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi Cited in: 1 Publication (2023) Related Software: Walnut; OEIS; Python; Coq; Isabelle/HOL; Lean; … Main Fields: Number theory (11-XX); Computer science (68-XX)
Pisot.txt Software Authors: Shalosh B. Ekhad, N. J. A. Sloane, Doron Zeilberger Cited in: 1 Publication (2020) Related Software: Maple; OEIS; Cfinite Main Fields: Computer science (68-XX)
SlackIdeals Software Authors: Antonio Macchia, Amy Wiebe Cited in: 1 Publication (2022) Related Software: Macaulay2; 2L_enum Main Fields: Order, lattices, ordered algebraic structures (06-XX); Commutative algebra (13-XX); Convex and discrete geometry (52-XX)
ToricVarieties Software Authors: Sebastian Gutsche Cited in: 1 Publication (2015) Related Software: Maple; toric; Convex; Magma; TorDiv; MDSpackage; … Main Fields: Algebraic geometry (14-XX)
UrnSolitaire Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 1 Publication (2007) Related Software: HolonomicFunctions; Maple; Isolde Main Fields: General and overarching topics; collections (00-XX); Mathematics education (97-XX)
adventures-in-graph-theory Software Authors: Joyner, W. David; Melles, Caroline Grant Cited in: 1 Publication (2017) Related Software: GitHub; SageMath Main Fields: Combinatorics (05-XX); Harmonic analysis on Euclidean spaces (42-XX); Information and communication theory, circuits (94-XX)
BFF.txt Software Authors: Shalosh B. Ekhad, Aviezri S. Fraenkel, Doron Zeilberger Cited in: 0 Publications Related Software: Maple Main Fields: –
CAcount Software Authors: Shalosh B. Ekhad, N. J. A. Sloane, Doron Zeilberger Cited in: 0 Publications Related Software: gfun; OEIS; Maple Main Fields: –
ChildCountStatistics Software Authors: Yonah Biers-Ariel Cited in: 0 Publications Related Software: Maple Main Fields: –
Combinatorics.jl Software Authors: Jiahao Chen; Alessandro Andrioni; et al. Cited in: 0 Publications Related Software: SymbolicUtils.jl; QuantumOptics.jl; ModelingToolkit.jl; DifferentialEquations.jl; C++QED; QuTiP; … Main Fields: –
ETA Software Authors: Frank Garvan Cited in: 0 Publications Related Software: qseries; Maple Main Fields: –
GenOmega Software Authors: Manuela Wiesinger Cited in: 1 Publication (2003) Related Software: Omega; Mathematica; Maple Main Fields: Combinatorics (05-XX); Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX)
GuillotineModels.jl Software Authors: Becker, Henrique; Araújo, Olinto; Buriol, Luciana S. Cited in: 1 Publication (2022) Related Software: JuMP; Julia; Gurobi Main Fields: Operations research, mathematical programming (90-XX)
LinearWang Software Authors: Derouet-Jourdan, Alexandre; Kaji, Shizuo; Mizoguchi, Yoshihiro Cited in: 1 Publication (2019) Related Software: GitHub; Coq Main Fields: Combinatorics (05-XX); Convex and discrete geometry (52-XX); Computer science (68-XX)
Lyndon words Software Authors: Holub, Štěpán; Starosta, Štěpán Cited in: 1 Publication (2021) Related Software: Combinatorics_Words; Szpilrajn Extension; Coq-Combi; Archive Formal Proofs; GitHub; Isabelle/HOL; … Main Fields: Computer science (68-XX)
Polymake.jl Software Authors: Marek Kaluba, Benjamin Lorenz, Sascha Timme Cited in: 1 Publication (2022) Related Software: Landau.jl; HomotopyContinuation; Macaulay2; Julia; PHCpack Main Fields: Quantum theory (81-XX)
POSETS Software Authors: Curtis Greene, Eugenie Hunsicker Cited in: 1 Publication (2018) Related Software: – Main Fields: Nonassociative rings and algebras (17-XX); Group theory and generalizations (20-XX)
RcppAlgos Software Authors: Joseph Wood Cited in: 1 Publication (2022) Related Software: outbreaker2; InfectionTrees; LBFGS-B; Surveillance; R Main Fields: Statistics (62-XX)
SimplicialPosets Software Authors: Nathan Nichols Cited in: 0 Publications Related Software: Macaulay2 Main Fields: –
SuckerBets Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 0 Publications Related Software: Maple Main Fields: –
SVT.txt Software Authors: Shalosh B. Ekhad, Doron Zeilberger Cited in: 0 Publications Related Software: Asyrec; OEIS; Maple Main Fields: –
IPO Software Authors: Volker Kaibel, Matthias Walter Cited in: 0 Publications Related Software: – Main Fields: –