×

Found 95 Software Packages (Results 1–95)

ITSOL

Cited in 154 Documents (1991–2017)
Software Authors: Na Li; Brian Suchomel; Daniel Osei-Kuffuor; Ruipeng Li; Yousef Saad
Related Software: SPARSKIT; BLAS; ILUT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Keccak

Cited in 89 Documents (2011–2022)
Software Authors: Bertoni, G., Daemen, J., Peeters, M., Van Assche, G.
Related Software: PRESENT; SIMON; Skein Hash; …
Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Quantum theory (81-XX); …

Meschach

Cited in 82 Documents (1994–2022)
Software Authors: Stewart, David E.; Leyk, Zbigniew
Related Software: Chrono; SIMEM3 Renault; RODAS; …
Main Fields: Numerical analysis (65-XX); Mechanics of particles and systems (70-XX); Mechanics of deformable solids (74-XX); …

MeatAxe

Cited in 69 Documents (1994–2023)
Software Authors: Michael Ringe
Related Software: GAP; Magma; ATLAS Group Representations; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Group theory and generalizations (20-XX); …

Semigroups

Cited in 36 Documents (2011–2023)
Software Authors: Mitchell, J. D.
Related Software: GAP; OEIS; Smallsemi; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …

xTensor

Cited in 33 Documents (2007–2022)
Software Authors: José M. Martín-García
Related Software: Invar; xPert; xAct; …
Main Fields: Commutative algebra (13-XX); Algebraic geometry (14-XX); Differential geometry (53-XX); …

AARON

Cited in 27 Documents (2002–2021)
Software Authors: Aaron Robertson, Dan Saracino, Doron Zeilberger
Related Software: OEIS; FindStat
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Functions of a complex variable (30-XX); …

SPGJ

Cited in 26 Documents (1999–2022)
Software Authors: Noonan, John; Zeilberger, Doron
Related Software: GJsqfree; GJSAW; GJseries; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Category theory; homological algebra (18-XX); …

SAM

Cited in 23 Documents (2003–2019)
Software Authors: John D. Storey, Robert Tibshirani
Related Software: R; EBarrays; GEST; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX); Numerical analysis (65-XX); …

XLNet

Cited in 12 Documents (2020–2022)
Software Authors: Zhilin Yang, Zihang Dai, Yiming Yang, Jaime Carbonell, Ruslan Salakhutdinov, Quoc V. Le
Related Software: BERT; RoBERTa; GloVe; …
Main Fields: Mathematical logic and foundations (03-XX); Differential geometry (53-XX); Statistics (62-XX); …

InsEnc

Cited in 22 Documents (2006–2023)
Software Authors: Vatter, Vincent
Related Software: OEIS; HERB; WILF; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

PFFT

Cited in 19 Documents (2013–2021)
Software Authors: Pippig, Michael
Related Software: FFTW; 2DECOMP; P3DFFT; …
Main Fields: Partial differential equations (35-XX); Numerical analysis (65-XX); Fluid mechanics (76-XX); …

PerMallows

Cited in 17 Documents (2015–2022)
Software Authors: Ekhine Irurozki, Borja Calvo, Jose A. Lozano
Related Software: Rankcluster; PrefLib; Pmr; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Computer science (68-XX); …

pertsaus2

Cited in 19 Documents (2005–2021)
Software Authors: Murillo, Alex; Vera, J.Fernando; Heiser, Willem J.
Related Software: Tabu search; Tucker3-HICLAS; MPsychoR; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Operations research, mathematical programming (90-XX); …

MC21A

Cited in 17 Documents (1985–2022)
Software Authors: I. S. Duff
Related Software: SparseMatrix; COLAMD; PSPIKE; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

FXT

Cited in 16 Documents (2011–2023)
Software Authors: Jörg Arndt
Related Software: hfloat; OEIS; PARI/GP; …
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Special functions (33-XX); …

HERB

Cited in 15 Documents (1998–2019)
Software Authors: Zeilberger, Doron
Related Software: WILF; OEIS; InsEnc; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

ACE

Cited in 13 Documents (1997–2010)
Software Authors: Veigneau, S.
Related Software: Maple; SF; MACSYMA; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

CAV

Cited in 12 Documents (2011–2020)
Software Authors: Nakamura, Brian
Related Software: GJsqfree; GJSAW; GJseries; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Associative rings and algebras (16-XX); …

twilight

Cited in 8 Documents (2005–2022)
Software Authors: Stefanie Scheid
Related Software: TWILIGHT; Bioconductor; R; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Statistics (62-XX); …

Shatter

Cited in 9 Documents (2009–2022)
Software Authors: Aloul, F.A., Markov, I.L., Sakallah, K.A.
Related Software: MiniSat; DRAT-trim; nauty; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Computer science (68-XX); …

EinSum

Cited in 6 Documents (2002–2018)
Software Authors: Åhlander, K.
Related Software: POOMA; SPHINX; CuPy; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Partial differential equations (35-XX); Numerical analysis (65-XX); …

RcppGSL

Cited in 2 Documents (2013–2018)
Software Authors: Romain Francois; Dirk Eddelbuettel
Related Software: R; Rcpp; RcppArmadillo; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

signature-invariants

Cited in 7 Documents (2019–2022)
Software Authors: Diehl, Joscha; Reizenstein, Jeremy
Related Software: SageMath; polymake; Normaliz; …
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Nonassociative rings and algebras (17-XX); …

SMCper

Cited in 7 Documents (2004–2023)
Software Authors: Zeilberger, Doron
Related Software: stCore; Quicksort; EKHAD; …
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX); Difference and functional equations (39-XX); …

CertiCrypt

Cited in 5 Documents (2009–2017)
Software Authors: Barthe, Gilles; Grégoire, Benjamin; Zanella Béguelin, Santiago
Related Software: Coq; Coq/SSReflect; EasyCrypt; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); …

Elizalde

Cited in 6 Documents (2012–2020)
Software Authors: Baxter, Andrew; Nakamura, Brian; Zeilberger, Doron
Related Software: Sergi; CAV; GJsqfree; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …

HPTT

Cited in 4 Documents (2017–2021)
Software Authors: Paul Springer, Tong Su, Paolo Bientinesi
Related Software: TTC; BLIS; P3DFFT; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Numerical analysis (65-XX); Computer science (68-XX); …

Sergi

Cited in 6 Documents (2012–2020)
Software Authors: Baxter, Andrew; Nakamura, Brian; Zeilberger, Doron
Related Software: Elizalde; CAV; GJsqfree; …
Main Fields: Combinatorics (05-XX); Associative rings and algebras (16-XX); Category theory; homological algebra (18-XX); …

gtools

Cited in 4 Documents (2017–2020)
Software Authors: Gregory R. Warnes, Ben Bolker, Thomas Lumley
Related Software: R; matrixcalc; Mcmcpack; …
Main Fields: Statistics (62-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

SymUGJ

Cited in 5 Documents (2001–2018)
Software Authors: Zeilberger, Doron
Related Software: SiPerUGJ; UGJ; Maple; …
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

Virtual Permutations

Cited in 5 Documents (2019–2022)
Software Authors: Marberg, Eric; Zhang, Yifeng
Related Software: GitHub
Main Fields: Combinatorics (05-XX); Algebraic geometry (14-XX); Associative rings and algebras (16-XX); …

BioGAP

Cited in 4 Documents (2014–2019)
Software Authors: Attila Egry-Nagy; Andrew Francis; Volker Gebhardt
Related Software: Mauve; GAP; GitHub; …
Main Fields: Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX); Group theory and generalizations (20-XX); …

F123

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P123456; P12345; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

F1234

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P123456; P12345; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

F12345

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: P123456; P12345; P1234; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

P123

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P123456; P12345; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

P1234

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P123456; P12345; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

P12345

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P123456; P1234; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

P123456

Cited in 4 Documents (2013–2015)
Software Authors: Brian Nakamura; Doron Zeilberger
Related Software: F12345; P12345; P1234; …
Main Fields: Combinatorics (05-XX); Difference and functional equations (39-XX); Computer science (68-XX)

permute

Cited in 4 Documents (2014–2022)
Software Authors: Gavin L. Simpson, R Core Team, Douglas M. Bates, Jari Oksanen
Related Software: R; Canoco; BigMatch; …
Main Fields: General and overarching topics; collections (00-XX); Statistics (62-XX)

uShuffle

Cited in 3 Documents (2012–2020)
Software Authors: Jiang, M.; Anderson, J.; Gillespie, J.; Mayne, M.
Related Software: plfit; NNDB; Mfold; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

Coccinelle

Cited in 2 Documents (2007–2008)
Software Authors: Contejean, E.
Related Software: CoLoR; Coq; IsaFoR; …
Main Fields: Computer science (68-XX)

ecr

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

JavaPermutationTools

Cited in 1 Document (2021)
Software Authors: Cicirello, Vincent A
Related Software: emili; Chips-n-Salsa; Jenetics; …
Main Fields: Operations research, mathematical programming (90-XX)

RANLIB

Cited in 1 Document (1996)
Software Authors: Brown BW, Lovato J, Russell K, Venier J
Related Software: DCDFLIB; PHP; Diehard; …
Main Fields: Statistics (62-XX)

SnFFT

Cited in 3 Documents (2015–2021)
Software Authors: Plumb, Gregory; Pachauri, Deepti; Kondor, Risi; Singh, Vikas
Related Software: SnOB; Julia; PerMallows; …
Main Fields: Combinatorics (05-XX); Harmonic analysis on Euclidean spaces (42-XX); Probability theory and stochastic processes (60-XX); …

TensorOperations.jl

Cited in 2 Documents (2017–2022)
Software Authors: Jutho
Related Software: ITensor; TeNPy; Uni10; …
Main Fields: Quantum theory (81-XX); Statistical mechanics, structure of matter (82-XX)

WAGE

Cited in 3 Documents (2021–2023)
Software Authors: Mark Aagaard, Riham AlTawy, Guang Gong, Kalikinkar Mandal, Raghvendra Rohit, Nusa Zidaric
Related Software: deep_speck
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Information and communication theory, circuits (94-XX)

AlgFunEq

Cited in 1 Document (2018)
Software Authors: Shalosh B. Ekhad, Doron Zeilberger
Related Software: Maple; Cheyne; gfun; …
Main Fields: Combinatorics (05-XX)

Algorithm 529

Cited in 2 Documents (1993–2022)
Software Authors: I. Duff, J. Reid
Related Software: SparseMatrix; SPEX Left LU; MC21A; …
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

BRAPH

Cited in 1 Document (2020)
Software Authors:
Related Software: Brain Connectivity Toolbox; BASCO; GTG; …
Main Fields: Computer science (68-XX)

Cheyne

Cited in 1 Document (2018)
Software Authors: Shalosh B. Ekhad, Doron Zeilberger
Related Software: Maple; AlgFunEq; gfun; …
Main Fields: Combinatorics (05-XX)

CLTune

Cited in 1 Document (2019)
Software Authors: C. Nugteren, V. Codreanu
Related Software: OpenCL; CUBLAS; CUDA; …
Main Fields: Computer science (68-XX)

clusrank

Cited in 1 Document (2019)
Software Authors: Yujing Jiang, Xin He, Mei-Ling Ting Lee, Bernard Rosner, Jun Yan
Related Software: R; Stata; SAS; …
Main Fields: Statistics (62-XX)

FHtest

Cited in 1 Document (2021)
Software Authors: Ramon Oller; Klaus Langohr
Related Software: KMsurv; survival; MLEcens; …
Main Fields: Statistics (62-XX)

IsoGene

Cited in 2 Documents (2014–2016)
Software Authors: Pramana, S., Lin, D., Haldermans, P., Shkedy, Z., Verbeke, T., Göhlmann, H., De Bondt, A., Talloen, W., and Bijnens, L.
Related Software: ordPens; SemiPar; RLRsim; …
Main Fields: Statistics (62-XX); Biology and other natural sciences (92-XX)

libcds

Cited in 2 Documents (2014–2017)
Software Authors: Francisco Claude
Related Software: succinct; sux; bitvector; …
Main Fields: Computer science (68-XX)

Paraperm

Cited in 2 Documents (2014–2017)
Software Authors: Langr, Daniel; Tvrdik, Pavel; Dytrych, Tomas; Draayer, Jerry P.
Related Software: DRNG; Boost; parXXL; …
Main Fields: Combinatorics (05-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX); …

PERMGEN

Cited in 2 Documents (2016–2020)
Software Authors: Danilovic, Milos; Ilic, Oliver
Related Software:
Main Fields: Operations research, mathematical programming (90-XX)

Quati

Cited in 2 Documents (2014–2023)
Software Authors: Nigam, Vivek; Reis, Giselle; Lima, Leonardo
Related Software: Sequoia; Maude; Pesca; …
Main Fields: Computer science (68-XX)

SPAGEDi

Cited in 2 Documents (2010–2012)
Software Authors: Olivier Hardy; Xavier Vekemans
Related Software: spBayes; pyuvdata; INLA; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX)

AbstractAlgebra.jl

Cited in 1 Document (2019)
Software Authors: Fieker, C., Hart, W., Hofmann, T., Johansson, F.
Related Software: GitHub; SCS; JuMP; …
Main Fields: Group theory and generalizations (20-XX); Topological groups, Lie groups (22-XX)

ANONIZE

Cited in 1 Document (2017)
Software Authors: Hohenberger, S., Myers, S., Pass, R., Shelat, A.
Related Software: ZKBoo
Main Fields: Information and communication theory, circuits (94-XX)

AS 179

Cited in 1 Document (1990)
Software Authors: K. J. Berry
Related Software: AS 124; AS 138; AS 158; …
Main Fields: Statistics (62-XX)

Citrus

Cited in 1 Document (2013)
Software Authors: Götz Pfeiffer, Steve A. Linton, Edmund F. Robertson, Nik Ruskuc; J. D. Mitchell
Related Software: orb; GAP
Main Fields: Group theory and generalizations (20-XX)

COMBINATOR

Cited in 0 Documents
Software Authors: Fig M
Related Software: Matlab; SD
Main Fields:

Combinatorics.jl

Cited in 0 Documents
Software Authors: Jiahao Chen; Alessandro Andrioni; et al.
Related Software: DifferentialEquations.jl; SymbolicUtils.jl; QuantumOptics.jl; …
Main Fields:

DBlock

Cited in 1 Document (2015)
Software Authors: Wu, Wenling; Zhang, Lei; Yu, Xiaoli
Related Software: ARIA; KATAN; Skein Hash; …
Main Fields: Information and communication theory, circuits (94-XX)

expperm

Cited in 1 Document (2020)
Software Authors: Ben Powell
Related Software: BigMatch; pspearman; permutations; …
Main Fields: Statistics (62-XX)

LLLWBC

Cited in 1 Document (2023)
Software Authors: Zhang, Lei; Wu, Ruichen; Zhang, Yuhan; Zheng, Yafei; Wu, Wenling
Related Software: Orthros; KATAN; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

Magiclock

Cited in 1 Document (2017)
Software Authors: Cai, Y.; Chan, W.K.
Related Software: AUTOSAR; Goblint; ASTREE; …
Main Fields: Computer science (68-XX)

MEACA

Cited in 1 Document (2020)
Software Authors: Zhuo, B.; Jiang, D.
Related Software: gcrma; CAMERA; limma; …
Main Fields: Statistics (62-XX)

MergeShuffle

Cited in 1 Document (2022)
Software Authors: Axel Bacher, Olivier Bodini, Alexandros Hollender, Jérémie Lumbroso
Related Software: CloFAST; SPEck; ProSecCo; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

Monae

Cited in 1 Document (2022)
Software Authors: Saito, Ayumu; Affeldt, Reynald
Related Software: OCaml; Coq
Main Fields: Computer science (68-XX)

N_PERMUTE_K

Cited in 1 Document (2013)
Software Authors: Matt Fig
Related Software: Matlab; EXPAND; bsxfun; …
Main Fields: Numerical analysis (65-XX); Quantum theory (81-XX)

Orthros

Cited in 1 Document (2023)
Software Authors: Banik, S.; Isobe, T.; Liu, F.; Minematsu, K.; Sakamoto, K.
Related Software: LLLWBC; KATAN; Piccolo; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)

perm_mateda

Cited in 1 Document (2018)
Software Authors: Irurozki, Ekhine; Ceberio, Josu; Santamaria, Josean; Santana, Roberto; Mendiburu, Alexander
Related Software: Matlab; PerMallows
Main Fields: Numerical analysis (65-XX); Operations research, mathematical programming (90-XX)

PermutationGraphs

Cited in 1 Document (2017)
Software Authors: Verhoeff, Tom
Related Software:
Main Fields: Combinatorics (05-XX)

permutations

Cited in 1 Document (2020)
Software Authors: Robin K. S. Hankin
Related Software: BigMatch; pspearman; expperm; …
Main Fields: Statistics (62-XX)

RcppAlgos

Cited in 1 Document (2022)
Software Authors: Joseph Wood
Related Software: outbreaker2; InfectionTrees; LBFGS-B; …
Main Fields: Statistics (62-XX)

resper

Cited in 0 Documents
Software Authors: Johannes Hüsing
Related Software: R
Main Fields:

RubiksCubeGeneticAlgorithmsSolver

Cited in 1 Document (2020)
Software Authors: Balabanov, Todor; Ivanov, Stoyan; Ketipov, Rumen
Related Software: GitHub
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

SAMOSA

Cited in 1 Document (2012)
Software Authors: Paul, Souradyuti; Homsirikamol, Ekawat; Gaj, Kris
Related Software:
Main Fields: Information and communication theory, circuits (94-XX)

SMOOTH

Cited in 1 Document (2011)
Software Authors: C. Ashcraft; J. W. H. Liu
Related Software: PaToH; PT-Scotch; SPOOLES; …
Main Fields: Combinatorics (05-XX); Numerical analysis (65-XX)

StudySandboxx

Cited in 0 Documents
Software Authors: Gabi Wethor, Matthew L. Hale
Related Software: HTTrack; HTMLArk; GrabzIt; …
Main Fields:

TARQUIN

Cited in 0 Documents
Software Authors: Reynolds, G., Wilson, M., Peet, A., Arvanitis, T. N.
Related Software: Neuroconductor; RNifti; R; …
Main Fields:

VATTER.txt

Cited in 0 Documents
Software Authors: Yonah Biers-Ariel, Haripriya Chakraborty, John Chiarelli, Bryan Ek, Andrew Lohr, Jinyoung Park, Justin Semonsen, Richard Voepel, Mingjia Yang, Anthony Zaleski, Doron Zeilberger
Related Software:
Main Fields:

asnipe

Cited in 0 Documents
Software Authors: Damien R. Farine
Related Software:
Main Fields:

confSAM

Cited in 0 Documents
Software Authors: Jesse Hemerik, Jelle Goeman
Related Software:
Main Fields:

genomicper

Cited in 0 Documents
Software Authors: Claudia P. Cabrera, Pau Navarro, Chris S.Haley
Related Software:
Main Fields:

MoRiBS-PIMC

Cited in 0 Documents
Software Authors: Tao Zeng, Nicholas Blinov, Grégoire Guillon, Hui Li, Kevin P. Bishop, Pierre-Nicholas Roy
Related Software:
Main Fields:

PermComb

Cited in 0 Documents
Software Authors: dagershman_dgt
Related Software:
Main Fields:

random.polychor.pa

Cited in 0 Documents
Software Authors: Fabio Presaghi, Marta Desimoni
Related Software:
Main Fields:

zebu

Cited in 0 Documents
Software Authors: Olivier M. F. Martin, Michel Ducher
Related Software:
Main Fields:

Filter Results by …

all top 5

Related Software

all top 3

Main Field