• Nested Multisets

  • Referenced in 3 articles [sw28910]
  • defines Dershowitz and Manna’s nested multiset order. The order is proved well founded ... removing one constructor, we transform the nested multisets into hereditary multisets. These are isomorphic ... normal form. Addition, subtraction, multiplication, and linear orders are provided on this type...
  • HOCL

  • Referenced in 9 articles [sw07078]
  • present applications through various programming examples. First, multisets are generalised to include rewrite rules, which ... rules the essence of higher-order chemical programming. By extending the $gamma$-calculus with constants ... build a higher-order chemical programming language called HOCL. Finally, multisets are further generalised...
  • TAFA

  • Referenced in 2 articles [sw07524]
  • algebras, according to the standard multiset well-ordering, such that a quasiequation is admissible...
  • Squeakr

  • Referenced in 1 article [sw36896]
  • Squeakr is a k-mer-counting and multiset-representation system using the recently-introduced counting ... order-of- magnitude faster than other systems. The Squeakr representation of the k-mer multiset...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Isabelle

  • Referenced in 698 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • Macaulay2

  • Referenced in 1904 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Magma

  • Referenced in 3296 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • MapReduce

  • Referenced in 262 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • R

  • Referenced in 9810 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

  • Referenced in 1970 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • Theorema

  • Referenced in 149 articles [sw00961]
  • The software system Theorema provides a uniform logic...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • SPIN

  • Referenced in 723 articles [sw03455]
  • Spin is a popular open-source software tool...
  • Haskell

  • Referenced in 879 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • AS 179

  • Referenced in 1 article [sw03813]
  • Algorithm AS 179. Enumeration of all permutations of...
  • CPLEX

  • Referenced in 2766 articles [sw04082]
  • IBM® ILOG® CPLEX® offers C, C++, Java, .NET...
  • CSPLib

  • Referenced in 91 articles [sw04150]
  • CSPLib is a library of test problems for...