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)