• 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 open-source 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 high-level 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 large-scale constrained...

• SeDuMi

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

• z3

• Referenced in 496 articles [sw04887]
• Z3 is a high-performance theorem prover being...

• MINOS

• Referenced in 441 articles [sw05095]
• MINOS is a large-scale 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 IAM-database: An English sentence database for...

• darch

• Referenced in 255 articles [sw11086]
• darch: Package for deep architectures and Restricted-Bolzmann...

• Python

• Referenced in 1378 articles [sw14460]
• Python is a widely used high-level, 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...