
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 lowlevel loop code. The ”Rcppsugar” 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 diffusiontype 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 preordering...

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]
 objectorientedenriched 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 Ccode. 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...

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