• Magma

  • Referenced in 3315 articles [sw00540]
  • defining and working with structures such as groups, rings, fields, modules, algebras, schemes, curves, graphs ... Magma is distributed by the Computational Algebra Group at the University of Sydney. Its development...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language ... used in research and teaching for studying groups and their representations, rings, vector spaces, algebras...
  • ABAQUS

  • Referenced in 1608 articles [sw04215]
  • applications. In the automotive industry engineering work groups are able to consider full vehicle loads...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Bell Labs in the original Unix group of the Computing Sciences Research Center, starting...
  • WordNet

  • Referenced in 411 articles [sw01777]
  • English. Nouns, verbs, adjectives and adverbs are grouped into sets of cognitive synonyms (synsets), each ... superficially resembles a thesaurus, in that it groups words together based on their meanings. However ... semantic relations among words, whereas the groupings of words in a thesaurus does not follow...
  • KELLEY

  • Referenced in 631 articles [sw04829]
  • technique due to the author and his group. Implicit filtering methods use finite difference approximations...
  • nauty

  • Referenced in 609 articles [sw00611]
  • nauty is a program for computing automorphism groups of graphs and digraphs. It can also...
  • glmnet

  • Referenced in 560 articles [sw08159]
  • additions are the multiresponse gaussian, and the grouped multinomial. The algorithm uses cyclical coordinate descent...
  • NuSMV

  • Referenced in 312 articles [sw04131]
  • Technology at FBK-IRST The Model Checking group at Carnegie Mellon University , the Mechanized Reasoning ... Group at University of Genova The Mechanized Reasoning Group at University of Trento. NuSMV...
  • clusfind

  • Referenced in 476 articles [sw27805]
  • described and illustrated in the book ”Finding Groups in Data” by L. Kaufman...
  • ATLAS Group Representations

  • Referenced in 206 articles [sw13584]
  • ATLAS of Finite Group Representations. To get information on a finite group, either choose ... family to which the group belongs: Sporadic groups; Alternating groups; Linear groups; Classical groups; Exceptional ... groups of Lie type; Miscellaneous groups...
  • Trilinos

  • Referenced in 409 articles [sw04028]
  • requirements, its own development team and group of users. Because of this, Trilinos itself...
  • ismev

  • Referenced in 407 articles [sw11209]
  • functions may be divided into the following groups; maxima/minima, order statistics, peaks over thresholds...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • type of data analysis query, namely multiple group by query. We first study the communication ... give an initial implementation of multiple group by query. We then propose an optimized version...
  • CRONE

  • Referenced in 184 articles [sw07382]
  • Toolbox, developed by the CRONE research group, is a Matlab and Simulink Toolbox dedicated ... theoretical and mathematical concepts, developed in the group, are used in the toolbox. During ... their applications. The aim of the CRONE group is to share its developments ... wide. For any specific developments, the CRONE group welcomes all collaborations. The CRONE group members...
  • CHEVIE

  • Referenced in 237 articles [sw04235]
  • symbolic calculations with generic character tables of groups of Lie type, Coxeter groups, Iwahori-Hecke...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • ternary Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note...
  • LiE

  • Referenced in 165 articles [sw01075]
  • physicists to perform computations of a Lie group theoretic nature. It focuses on the representation ... theory of complex semisimple (reductive) Lie groups and algebras, and on the structure of their ... Weyl groups and root systems. LiE does not compute directly with elements ... groups and algebras themselves; it rather computes with weights, roots, characters and similar objects. Some...
  • NewtonLib

  • Referenced in 298 articles [sw04796]
  • only by the author and his group) are free as long as they are exclusively...
  • HSL

  • Referenced in 279 articles [sw00418]
  • written and developed by the Numerical Analysis Group at the STFC Rutherford Appleton Laboratory...