• OEIS

  • Referenced in 4221 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 138 articles [sw07429]
  • properties. Moreover, we present some important recently discovered issues regarding the normative semantics of federation...
  • MONA

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

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

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

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

  • Referenced in 72 articles [sw37720]
  • Clustering, in data mining, is useful to discover distribution patterns in the underlying data. Clustering...
  • PDE2D

  • Referenced in 49 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...
  • ProB

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

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

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

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

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

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

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

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

  • Referenced in 35 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...
  • LabelMe

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

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

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