Results 21 to 40 of 156
Sort by:

  • 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...