• CorClass

  • Referenced in 5 articles [sw01932]
  • existing associative classification algorithms such as CBA, CMAR and rule induction algorithms such as Ripper...
  • FinFuns

  • Referenced in 5 articles [sw28536]
  • constant functions and pointwise updates, similarly to associative lists. Inside the logic, they behave like ... pattern, a recursion combinator and an induction rule for FinFuns allow for defining and reasoning...
  • CoCLAM

  • Referenced in 2 articles [sw28719]
  • Coinduction is a proof rule. It is the dual of induction. It allows reasoning about ... proof plan for coinduction and a critic associated with this proof plan. These have been...
  • FlexibleQL

  • Referenced in 1 article [sw02014]
  • have been designed just to mine association rules and mining other patterns of data mining ... complete support of decision trees and decision rule mining don’t seem ... used in order to answer more inductive queries. Hence, new organizational and managerial demands...
  • ACL2

  • Referenced in 283 articles [sw00060]
  • ACL2 is both a programming language in which...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • CViz

  • Referenced in 3 articles [sw00178]
  • CViz is a visualization tool designed for analyzing...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NAG

  • Referenced in 423 articles [sw00610]
  • Produced by experts for use in a variety...
  • R

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

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

  • Referenced in 1508 articles [sw00866]
  • SINGULAR is a Computer Algebra system (CAS) for...
  • SymPy

  • Referenced in 161 articles [sw00940]
  • SymPy is a Python library for symbolic mathematics...
  • Cayley

  • Referenced in 131 articles [sw01053]
  • An introduction to the Group Theory Language, Cayley...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • Macsyma is a general purpose symbolic-numerical-graphical...
  • ML

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