• Mathematica

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

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

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

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

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

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

  • Referenced in 570 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...
  • KELLEY

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

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

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

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

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

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

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

  • Referenced in 184 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...
  • McEliece

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

  • Referenced in 156 articles [sw06302]
  • reading the manual (which contains some complete examples) and playing with the system. The student ... without leaving the program. A record of completed exercises is maintained by ETPS...
  • GSLIB

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

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

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