• Separoids

  • Referenced in 21 articles [sw08819]
  • some general mathematical properties of separoids and related axiom systems, as well as connections with ... formalisms for representing uncertainty in Probability, Statistics, Artificial Intelligence, and other fields...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • GAP

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

  • Referenced in 1648 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • Maple

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

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

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

  • Referenced in 278 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • R

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

  • Referenced in 741 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • TSPLIB

  • Referenced in 674 articles [sw00983]
  • TSPLIB is a library of sample instances for...
  • LISP-STAT

  • Referenced in 116 articles [sw01111]
  • Lisp-Stat is an extensible statistical computing environment...
  • MACSYMA

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

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

  • Referenced in 253 articles [sw01236]
  • Fortran subprograms for evaluating definite integrals of functions...
  • WordNet

  • Referenced in 397 articles [sw01777]
  • WordNet® is a large lexical database of English...
  • WHIRL

  • Referenced in 11 articles [sw02620]
  • The integration of distributed, heterogeneous databases, such as...
  • MEBN

  • Referenced in 15 articles [sw02784]
  • A logic system that integrates First Order Logic...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • Our current automated deduction system Otter is designed...