
nauty
 Referenced in 575 articles
[sw00611]
 package. For example, geng can generate nonisomorphic graphs very quickly. There are also generators...

BioPEPA
 Referenced in 103 articles
[sw01361]
 with some notions of equivalence.Speciﬁcally, the isomorphism and strong bisimulation for PEPA have been...

plantri
 Referenced in 65 articles
[sw10864]
 capabilities are shown. Plantri is the fastest isomorphismfree 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 nonisomorphic 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...

Qextension
 Referenced in 18 articles
[sw11094]
 software can be used also for investigations (isomorphisms, automorphism groups) of other discrete structurescombinatorial...

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

Fgindex
 Referenced in 9 articles
[sw18892]
 databases is costly since it involves subgraph isomorphism testing, which is an NPcomplete 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]
 fandGel’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...