• Mathematica

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 153 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 205 articles [sw08284]
  • during 1990 - 1992. The second edition was completed in 1997. Both editions were published...
  • top.m

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

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