×

Found 63 Software Packages (Results 1–63)

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: