
GameShrink
 Referenced in 11 articles
[sw12511]
 isomorphism and the related ordered game isomorphic abstraction transformation. For a multiplayer sequential game ... more applications of the transformation, can be easily converted into a Nash equilibrium ... GameShrink, for abstracting the game using our isomorphism exhaustively. Its complexity...

MONOiD
 Referenced in 4 articles
[sw08361]
 automorphism group of a transformation semigroup; homomorphisms and isomorphism between some types of semigroup...

Nested Multisets
 Referenced in 3 articles
[sw28910]
 constructor, we transform the nested multisets into hereditary multisets. These are isomorphic to the syntactic...

CoReLG
 Referenced in 11 articles
[sw08646]
 construct real simple Lie algebras up to isomorphism. Second, we consider a real semisimple ... based on the theory of Cayley transforms. We also describe the construction of a Cartan...

HEPTHools
 Referenced in 3 articles
[sw30615]
 same (chi_{mathrm{o}}) equivalence class are isomorphic in the sense that adinkras within ... mathrm{o}})equivalence class can be transformed into each other via field redefinitions...

Bruns
 Referenced in 1 article
[sw27123]
 isomorphic to a given module. Bruns is a package of functions for transforming syzygies...

mkbTT
 Referenced in 6 articles
[sw10018]
 classical calculus in automated deduction for transforming a set of equations into a confluent ... completeness issues. Critical pair criteria and isomorphisms are presented as refinements together with all proofs...

SubSemi
 Referenced in 1 article
[sw22009]
 package for enumerating subsemigroups of semigroup, deciding isomorphisms and constructing embeddings. The algorithms assume that ... package was the computational enumeration of transformation semigroups up to degree 4. Instructions for recomputing...

SyncSpecCnn
 Referenced in 5 articles
[sw26163]
 grids, shape graphs are irregular and nonisomorphic data structures. To enable the prediction ... dilated convolutional kernels and a spectral transformer network. Experimentally we tested our SyncSpecCNN on various...

galeDuality
 Referenced in 1 article
[sw18222]
 with `few’ mo’nomials’. A schemetheoretic isomorphism exists between the positive solutions ... system. Currently, galeDuality will compute the symbolic transformation of a fewnomial system to its corresponding...

BIGEBRA
 Referenced in 19 articles
[sw00078]
 Clifford and Graßmann Hopf algebras via the BIGEBRA...

CASA
 Referenced in 102 articles
[sw00108]
 CASA is a specialpurpose system for computational...

cdd
 Referenced in 113 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

CLIFFORD
 Referenced in 82 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CoCoA
 Referenced in 649 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1856 articles
[sw00161]
 Coq is a formal proof management system. It...

FGb
 Referenced in 246 articles
[sw00286]
 FGb/Gb libraryGb is a program (191 420 lines...

GAP
 Referenced in 3068 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 275 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Isabelle
 Referenced in 674 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...