• Mathematica

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

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

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

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

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

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

  • Referenced in 573 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 609 articles [sw04829]
  • clarity and brevity rather than complete generality and confine our scope to algorithms that...
  • CUTEr

  • Referenced in 572 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 419 articles [sw04317]
  • disposal. By being open, OpenFOAM offers users complete freedom to customise and extend its existing...
  • OTTER

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

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

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

  • Referenced in 189 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 228 articles [sw02076]
  • unknown linear binary codes is an NP-complete problem. The interest on implementing post-quantum...
  • top.m

  • Referenced in 221 articles [sw22630]
  • code is intended for educational purposes. The complete Matlab code is given in the Appendix...
  • 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 216 articles [sw08284]
  • during 1990 - 1992. The second edition was completed in 1997. Both editions were published...
  • SLIC

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