
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 (graphbased 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 infinitestate 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...

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