• Mathematica

• Referenced in 6355 articles [sw00554]
• only development platform fully integrating computation into complete workflows, moving you seamlessly from initial ideas...

• DLMF

• Referenced in 2809 articles [sw04968]
• companion Web site, both scheduled for completion in 2003. More than 50 mathematicians, physicists...

• ABAQUS

• Referenced in 1608 articles [sw04215]
• Unified FEA product suite offers powerful and complete solutions for both routine and sophisticated engineering...

• BayesDA

• Referenced in 1310 articles [sw11008]
• Rubin. Not all datasets yet, hopefully completed soon...

• KernSmooth

• Referenced in 978 articles [sw04586]
• does make some sacrifices. It does not completely cover the vast amount of research...

• Stata

• Referenced in 838 articles [sw06029]
• Stata is a complete, integrated statistical package that provides everything you need for data analysis...

• Chaff

• Referenced in 586 articles [sw06916]
• both research and industry. Most existing complete solvers are variants of the Davis-Putnam ... describe the development of a new complete solver, Chaff, which achieves significant performance gains through...

• ImageNet

• Referenced in 667 articles [sw21105]
• quality-controlled and human-annotated. In its completion, we hope ImageNet will offer tens...

• KELLEY

• Referenced in 631 articles [sw04829]
• clarity and brevity rather than complete generality and confine our scope to algorithms that...

• CUTEr

• Referenced in 602 articles [sw04010]
• provided. See the interfaces section for a complete list...

• OpenFOAM

• Referenced in 552 articles [sw04317]
• disposal. By being open, OpenFOAM offers users complete freedom to customise and extend its existing...

• ML

• Referenced in 522 articles [sw01218]
• languages to be completely specified and verified using formal semantics. Its types and pattern matching...

• LINGO

• Referenced in 319 articles [sw04942]
• easier and more efficient. LINGO provides a completely integrated package that includes a powerful language...

• OTTER

• Referenced in 316 articles [sw02904]
• term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing and restricting searches...

• PhaseLift

• Referenced in 219 articles [sw31783]
• Phase retrieval via matrix completion. This paper develops a novel framework for phase retrieval ... inspired by the recent literature on matrix completion. More importantly, we also demonstrate that...

• PARDISO

• Referenced in 287 articles [sw00679]
• positive definite or indefinite, hermitian. LU with complete pivoting. Parallel on SMPs and Cluster...

• McEliece

• Referenced in 251 articles [sw02076]
• unknown linear binary codes is an NP-complete problem. The interest on implementing post-quantum...

• top.m

• Referenced in 244 articles [sw22630]
• code is intended for educational purposes. The complete Matlab code is given in the Appendix...

• SLIC

• Referenced in 163 articles [sw18282]
• approximations for a mixed fluid cell are completely determined by testing whether ... direction under consideration. (4) Because of the completely one-dimensional nature of the SLIC interface...

• GSLIB

• Referenced in 223 articles [sw08284]
• during 1990 - 1992. The second edition was completed in 1997. Both editions were published...