• GameShrink

  • Referenced in 11 articles [sw12511]
  • isomorphism and the related ordered game isomorphic abstraction transformation. For a multi-player 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 non-isomorphic 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 scheme-theoretic 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 special-purpose 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...