• OEIS

  • Referenced in 3387 articles [sw07248]
  • quiz, etc. For example, you discover what you think may be a new algorithm ... check if someone has discovered this algorithm before? You decide to ask the OEIS...
  • SPARQL

  • Referenced in 127 articles [sw07429]
  • properties. Moreover, we present some important recently discovered issues regarding the normative semantics of federation...
  • MONA

  • Referenced in 118 articles [sw06170]
  • selection of implementation “secrets” that have been discovered and tested over the years, including formula...
  • gSpan

  • Referenced in 108 articles [sw11908]
  • gSpan (graph-based substructure pattern mining), which discovers frequent substructures without candidate generation. gSpan builds...
  • SPADE

  • Referenced in 87 articles [sw02226]
  • using simple join operations. All sequences are discovered in only three database scans. Experiments show...
  • CUBIT

  • Referenced in 77 articles [sw04109]
  • encompasses ongoing research efforts to improve and discover new mesh generation algorithms, develop new tools...
  • PDE2D

  • Referenced in 48 articles [sw04270]
  • solid understanding of the method and discover how to use it to solve many problems.par ... program, PDE2D, developed by the author. Readers discover how PDE2D can be used to solve...
  • Kenzo

  • Referenced in 63 articles [sw04861]
  • Moore spectral sequences. The first author (re-) discovered the importance of the Basic Perturbation Lemma...
  • ProB

  • Referenced in 62 articles [sw07084]
  • uncover errors that are not easily discovered by existing tools...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • applications in infinite-state verification, for example, discovering predicates in predicate abstraction, and computing inductive...
  • Metis_

  • Referenced in 53 articles [sw04439]
  • saturated clause sets when input problems are discovered to be unprovable...
  • QETLAB

  • Referenced in 53 articles [sw20493]
  • partial transposition, new tests are constantly discovered. The goal of QETLAB is to remain...
  • GEX

  • Referenced in 33 articles [sw09961]
  • drawing and automated geometry theorem proving and discovering. As a dynamic geometry software ... users may automated prove geometry theorems, to discover new prrperties of theorems, and to generate...
  • OSCAR

  • Referenced in 46 articles [sw03026]
  • groups can then be investigated further to discover what contributes to the group having...
  • Gephi

  • Referenced in 45 articles [sw12110]
  • help data analysts to make hypothesis, intuitively discover patterns, isolate structure singularities or faults during...
  • MPTP 0.2

  • Referenced in 44 articles [sw02589]
  • these cases, the newly discovered proofs are shorter than the MML originals and therefore...
  • LabelMe

  • Referenced in 44 articles [sw36633]
  • automatically enhance object labels with WordNet, discover object parts, recover a depth ordering of objects...
  • TANE

  • Referenced in 38 articles [sw02196]
  • TANE: An efficient algorithm for discovering functional and approximate dependencies. environments. The discovery of functional...
  • MARC

  • Referenced in 38 articles [sw04228]
  • modeling solution, you can truly discover and explore nature’s inherent nonlinearities. Whether your designs...
  • iPro54-PseKNC

  • Referenced in 32 articles [sw22411]
  • just for its integrity. Meanwhile, we also discovered through an in-depth statistical analysis that...