×

Found 8 Software Packages (Results 1–8)

Graph Theory

Software Authors:   Lars Noschinski
Cited in: 6 Publications (2014–2021)
Related Software: Isabelle; Coq; Archive Formal Proofs; Boogie; Edmonds-Karp; z3; …
Main Fields: Mathematical logic and foundations (03-XX); Combinatorics (05-XX); Order, lattices, ordered algebraic structures (06-XX)

CGV

Software Authors:   C. Tominski, J. Abello, H. Schumann
Cited in: 2 Publications (2013–2015)
Related Software: Gephi; Matplotlib; SciPy; IPython; Python; TISEAN; …
Main Fields: Statistics (62-XX); Numerical analysis (65-XX); Computer science (68-XX)

GADAR

Software Authors:   Schliep, Alexander
Cited in: 2 Publications (1994–2004)
Related Software: Mathematica
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

InfoMod

Software Authors:   Ayberk Zeytin, Hakan Ayral, A. Muhammed Uludağ
Cited in: 2 Publications (2017–2022)
Related Software: OEIS; PARI/GP
Main Fields: Combinatorics (05-XX); Number theory (11-XX); Group theory and generalizations (20-XX)

NuMDG

Software Authors:   Abed, Sa’ed; Mokhtari, Yassine; Ait-Mohamed, Otmane; Tahar, Sofiène
Cited in: 2 Publications (2011–2012)
Related Software: Velev SAT Benchmarks; NuSMV
Main Fields: Combinatorics (05-XX); Computer science (68-XX)

damage_throttling

Software Authors:   Carlson, Joshua; Eagleton, Robin; Geneson, Jesse; Petrucci, John; Reinhart, Carolyn; Sen, Preetul
Cited in: 1 Publication (2021)
Related Software: DismantlableGraph.py; CopPlacementsToCheck.py; GitHub
Main Fields: Combinatorics (05-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Fwtree

Software Authors:   Bettina Eick, Tobias Rossmann
Cited in: 1 Publication (2010)
Related Software: ANUPQ; GAP
Main Fields: Combinatorics (05-XX); Group theory and generalizations (20-XX)

GBDD

Software Authors:   M. Nilsson
Cited in: 1 Publication (2008)
Related Software: KURE; Z; MCK; Haskell
Main Fields: Mathematical logic and foundations (03-XX); General algebraic systems (08-XX); Category theory; homological algebra (18-XX)