
QRMine
 Referenced in 1 article
[sw32465]
 techniques, including natural language processing (NLP), can assist the researchers in the coding process. Triangulation ... corroborating findings from the textual interview transcripts. We present an opensource python package (QRMine ... development. We believe that the concept of computational triangulation will make GT relevant...

MATCONT
 Referenced in 363 articles
[sw00551]
 MATCONT: Matlab software for bifurcation study of dynamical...

Matlab
 Referenced in 12074 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

R
 Referenced in 8359 articles
[sw00771]
 R is a language and environment for statistical...

PRISM
 Referenced in 406 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

SNOPT
 Referenced in 507 articles
[sw02300]
 SNOPT: An SQP algorithm for largescale constrained...

SeDuMi
 Referenced in 1175 articles
[sw04002]
 SeDuMi is a Matlab toolbox for solving optimization...

z3
 Referenced in 496 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

MINOS
 Referenced in 441 articles
[sw05095]
 MINOS is a largescale optimization system, for...

Chebfun
 Referenced in 327 articles
[sw05897]
 Chebfun is a collection of algorithms and a...

OTIS
 Referenced in 85 articles
[sw07763]
 OTIS: Optimal Trajectories by Implicit Simulation OTIS is...

IAM
 Referenced in 12 articles
[sw08585]
 The IAMdatabase: An English sentence database for...

darch
 Referenced in 255 articles
[sw11086]
 darch: Package for deep architectures and RestrictedBolzmann...

Python
 Referenced in 1378 articles
[sw14460]
 Python is a widely used highlevel, general...

GitHub
 Referenced in 1503 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

LaTeX
 Referenced in 222 articles
[sw33652]
 LaTeX  A document preparation system. LaTeX is a...