• Mizar

  • Referenced in 505 articles [sw04704]
  • whole Mizar system (including verifier) is coded in Pascal using the Free Pascal compiler...
  • Rcpp

  • Referenced in 278 articles [sw08385]
  • than the equivalent low-level loop code. The ”Rcpp-sugar” vignette gives an overview ... callable from R and automatically generating the code required to invoke them. Attributes are intended ... Dominick Samperi. This code has been factored out of Rcpp into the package RcppClassic ... still available for code relying on the older interface. New development should always use this...
  • DistMesh

  • Referenced in 297 articles [sw12766]
  • offer a short and simple MATLAB code, described in more detail than usual ... reader can experiment (and add to the code) knowing the underlying principles. We find ... simplicity. Readers can download (and edit) the codes from http://math.mit.edu/ persson/mesh...
  • MINOS

  • Referenced in 458 articles [sw05095]
  • with the industry MPS format. The source code is suitable for machines with a Fortran...
  • Code Tables

  • Referenced in 250 articles [sw28701]
  • Code Tables: Bounds on the parameters of various types of codes. Bounds on the minimum ... distance of linear codes and quantum codes...
  • top.m

  • Referenced in 244 articles [sw22630]
  • line topology optimization code written in Matlab. The paper presents a compact Matlab implementation ... topology optimization code for compliance minimization of statically loaded structures. The total number of Matlab ... lines for the finite element code. In fact, excluding comment lines and lines associated with ... solve problems with multiple load cases. The code is intended for educational purposes. The complete...
  • FLUENT

  • Referenced in 438 articles [sw04263]
  • FLUENT is a Computational Fluid Dynamics (CFD) code for modelling fluid flow, heat transfer, mass...
  • SUNDIALS

  • Referenced in 241 articles [sw00927]
  • easily be incorporated into existing simulation codes. The primary design goals were to require minimal ... main numerical operations performed in these codes are operations on data vectors, and the codes ... providing the required operations on them. The codes also come with default vector structures with ... between parallel and serial versions of the codes...
  • ISOGAT

  • Referenced in 310 articles [sw00457]
  • tutorial 2D MATLAB code for solving elliptic diffusion-type problems, including Poisson’s equation ... explained and two examples are given. The code has a very lean structure...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • solving linear interval equations, automatic differentiation and code list generation, interval Newton method ... which allow, among others, the generation of code lists and automatic differentiation. The chapter...
  • darch

  • Referenced in 306 articles [sw11086]
  • build on the basis of the code from G. E. Hinton and R. R. Salakhutdinov ... available under Matlab Code for deep belief nets : last visit: 01.08.2013). This package...
  • UMFPACK

  • Referenced in 415 articles [sw00989]
  • ANSI C code for sparse LU factorization is presented that combines a column pre-ordering...
  • EMD

  • Referenced in 231 articles [sw14902]
  • Code for the Earth Movers Distance (EMD). This is an implementation of the Earth Movers ... normalized by the smaller sum. The code is implemented in C, and is based ... criticisms you have. If you find this code useful for your work, I would like ... publication describing work that uses this code would be greatly appreciated...
  • XFEM

  • Referenced in 382 articles [sw01026]
  • object-oriented-enriched finite element code. The programming environment provides a robust tool for extended...
  • Turbo Pascal

  • Referenced in 366 articles [sw16451]
  • with more libraries and standard library source code. The name Borland Pascal is also used...
  • spBayes

  • Referenced in 365 articles [sw10160]
  • specific problem at hand. This requires extensive coding on the part of the user...
  • ADIFOR

  • Referenced in 254 articles [sw02185]
  • programs. Given a Fortran 77 source code and a user’s specification of dependent ... variables, ADIFOR will generate an augmented derivative code that computes the partial derivatives...
  • MersenneTwister

  • Referenced in 351 articles [sw05367]
  • implemented this generator in portable C-code. It passed several stringent statistical tests, including diehard...
  • Gerris

  • Referenced in 344 articles [sw00341]
  • differential equations describing fluid flow. The source code is available free of charge under...
  • LS-DYNA

  • Referenced in 340 articles [sw03068]
  • DYNA A combined Implicit/Explicit solver. One scalable code for solving highly nonlinear transient problems enabling...