• nauty

  • Referenced in 625 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • QEPCAD

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

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

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

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

  • Referenced in 554 articles [sw01091]
  • SCIP is currently one of the fastest non...
  • MACSYMA

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

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

  • Referenced in 264 articles [sw01227]
  • DYNAMO (DYNAmic MOdels) was a simulation language and...
  • COBOL

  • Referenced in 237 articles [sw01228]
  • COBOL (/ˈkoʊbɒl/, an acronym for common business-oriented...
  • GraphBase

  • Referenced in 138 articles [sw01555]
  • The Stanford GraphBase is a freely available collection...
  • Ada95

  • Referenced in 294 articles [sw01753]
  • Ada is a structured, statically typed, imperative, wide...
  • WordNet

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

  • Referenced in 18 articles [sw01973]
  • MizarMode -- an integrated proof assistance tool for the...
  • MPTP

  • Referenced in 26 articles [sw02489]
  • We describe a number of new possibilities for...
  • MPTP 0.2

  • Referenced in 53 articles [sw02589]
  • MPTP 0.2: Design, implementation, and initial experiments. This...
  • OTTER

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

  • Referenced in 264 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • DASSL

  • Referenced in 263 articles [sw03174]
  • Subroutine DDASSL uses the backward differentiation formulas of...