• nauty

  • Referenced in 575 articles [sw00611]
  • package. For example, geng can generate non-isomorphic graphs very quickly. There are also generators...
  • Bio-PEPA

  • Referenced in 103 articles [sw01361]
  • with some notions of equivalence.Specifically, the isomorphism and strong bisimulation for PEPA have been...
  • plantri

  • Referenced in 65 articles [sw10864]
  • capabilities are shown. Plantri is the fastest isomorphism-free generator of many classes of planar ... presented. In addition, many counts of isomorphism classes of planar graphs compiled using Plantri...
  • GRAPE

  • Referenced in 87 articles [sw07516]
  • language, except for the automorphism group and isomorphism testing functions, which use Brendan McKay...
  • GENREG

  • Referenced in 56 articles [sw26671]
  • complete lists of regular graphs up to isomorphism is one of the oldest problems ... orderly generation refined by criteria to avoid isomorphism checking and combined with a fast test...
  • Pseudo Hoops

  • Referenced in 36 articles [sw29253]
  • filter. The lattice of normal filters is isomorphic with the lattice of congruences...
  • SmallGroups Library

  • Referenced in 25 articles [sw08620]
  • orders and they are listed up to isomorphism; that is, for each of the available ... orders a complete and irredundant list of isomorphism type representatives of groups is given. Currently...
  • HySAT

  • Referenced in 24 articles [sw01980]
  • bounded model checking context, e.g. isomorphic replication of learned conflict clauses or tailored decision strategies...
  • TestEra

  • Referenced in 22 articles [sw07258]
  • Java programs. TestEra automatically generates all non-isomorphic test cases within a given input size...
  • MaGIC

  • Referenced in 14 articles [sw11872]
  • eliminates from the output any algebra isomorphic to one already generated, thus returning only ... from each isomorphism class. Optionally, the user may specify a formula which...
  • GameShrink

  • Referenced in 11 articles [sw12511]
  • address this, we introduce the ordered game isomorphism and the related ordered game isomorphic abstraction ... GameShrink, for abstracting the game using our isomorphism exhaustively. Its complexity...
  • posets

  • Referenced in 18 articles [sw07773]
  • particularly useful for visualization of posets, for isomorphism testing, and for computing various poset invariants...
  • Q-extension

  • Referenced in 18 articles [sw11094]
  • software can be used also for investigations (isomorphisms, automorphism groups) of other discrete structures-combinatorial...
  • MITgcm

  • Referenced in 17 articles [sw18107]
  • state estimation problems. By employing fluid isomorphisms, one hydrodynamical kernel can be used to simulate...
  • Fg-index

  • Referenced in 9 articles [sw18892]
  • databases is costly since it involves subgraph isomorphism testing, which is an NP-complete problem ... verification on each candidate by checking subgraph isomorphism. Query performance is improved since the number ... subgraph isomorphism tests is reduced. However, candidate verification is still inevitable, which can be expensive ... database, the number of subgraph isomorphism tests is small. To ensure that the index fits...
  • TeMP

  • Referenced in 12 articles [sw09989]
  • discrete linear model of time (isomorphic to ℕ, that is, the most commonly used model...
  • BGG

  • Referenced in 12 articles [sw27518]
  • fand-Gel’fand correspondence is an isomorphism between the derived category of bounded complexes...
  • Gpd

  • Referenced in 8 articles [sw08651]
  • groupoid is also computed, together with an isomorphism of a quotient of permutation groups ... group at each vertex and with isomorphisms between subgroups on each arc. This construction enables...
  • CoReLG

  • Referenced in 11 articles [sw08646]
  • construct real simple Lie algebras up to isomorphism. Second, we consider a real semisimple...
  • Sophus

  • Referenced in 10 articles [sw27981]
  • algebras.Sophusalso enables its user to test isomorphism between two nilpotent Lie algebras. The author...