• BLAS

  • Referenced in 475 articles [sw03216]
  • level utilities common to many mathematical software packages. Primarily the Fortran BLAS (Basic Linear Algebra ... machine-dependent constant routines, and the MACHAR software for dynamically determining machine-dependent arithmetic properties...
  • WinBUGS

  • Referenced in 608 articles [sw04492]
  • although it can be called from other software...
  • Isabelle

  • Referenced in 594 articles [sw00454]
  • proving the correctness of computer hardware or software and proving properties of computer languages...
  • Ipopt

  • Referenced in 587 articles [sw04808]
  • OPTimizer, pronounced eye-pea-Opt) is a software package for large-scale ​nonlinear optimization...
  • SparseMatrix

  • Referenced in 586 articles [sw04629]
  • other networks and graphs). We provide software for accessing and managing the Collection, from MATLAB...
  • MATCONT

  • Referenced in 322 articles [sw00551]
  • MATCONT: Matlab software for bifurcation study of dynamical systems. The study of differential equations requires ... good and powerful mathematical software. Also, flexibility and extendibility of the package are important. However ... most of the existing software all have their own way of specifying the system ... coefficients for bifurcations of limit cycles. The software is free for download at http://www.matcont.UGent.be...
  • ScaLAPACK

  • Referenced in 394 articles [sw00830]
  • LAPACK project, which designed and produced analogous software for workstations, vector supercomputers, and shared memory ... precision complex, and double precision complex. The software has been written to be portable across...
  • LINDO

  • Referenced in 529 articles [sw04448]
  • LINDO Systems - Optimization Software: Integer Programming, Linear Programming, Nonlinear Programming, Stochastic Programming, Global Optimization LINDO...
  • GeoGebra

  • Referenced in 321 articles [sw04203]
  • free and multi-platform dynamic mathematics software for all levels of education that joins geometry ... package. It has received several educational software awards in Europe and the USA. Quick Facts ... around the world. Free and open source software. Computer algebra system...
  • Turbo Pascal

  • Referenced in 362 articles [sw16451]
  • Turbo Pascal is a software development system that includes a compiler and an integrated development ... Borland Pascal was more oriented towards professional software development, with more libraries and standard library...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • INTOPT 90 which are the authors’s software and library packages for interval arithmetic ... groad chapter (42 pages) about interval software follows. Described are primarily the packages mentioned before ... branch and bound pattern touching many software details. The chapter on global optimization (40 pages...
  • BUGS

  • Referenced in 334 articles [sw07885]
  • Gibbs Sampling) project is concerned with flexible software for the Bayesian analysis of complex statistical ... BUGS program, and then onto the WinBUGS software developed jointly with the Imperial College School...
  • FFTW

  • Referenced in 447 articles [sw04126]
  • believe that FFTW, which is free software, should become the FFT library of choice...
  • PVM

  • Referenced in 305 articles [sw04273]
  • Parallel Virtual Machine) is a software package that permits a heterogeneous collection of Unix and/or ... power and memory of many computers. The software is very portable. The source, which...
  • NewtonLib

  • Referenced in 261 articles [sw04796]
  • Numerical Mathematics - NewtonLib. Software repository for Peter Deuflhards Book ”Newton Methods for Nonlinear Problems -- Affine ... teaching purposes. For commercial use of the software you must sign a license-agreement with ... license-charge that depends on the referenced software package and the intended usage. Please read...
  • spBayes

  • Referenced in 296 articles [sw10160]
  • helped by the lack of available software for such algorithms. Here, we introduce a statistical ... software package, spBayes, built upon the R statistical computing platform that implements a generalized template...
  • SAS/STAT

  • Referenced in 391 articles [sw18788]
  • SAS/STAT software, a component of the SAS System, provides comprehensive statistical tools for a wide...
  • SciPy

  • Referenced in 385 articles [sw06293]
  • SciPy (pronounced ”Sigh Pie”) is open-source software for mathematics, science, and engineering...
  • AUTO-86

  • Referenced in 271 articles [sw04220]
  • AUTO is a software for continuation and bifurcation problems in ordinary differential equations, originally developed ... parabolic PDEs. It also includes the software HOMCONT for the bifurcation analysis of homoclinic orbits...