• ANSYS

  • Referenced in 580 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans the entire range of physics, providing access ... process requires. Organizations around the world trust ANSYS to deliver the best value for their ... technology apart from other CAE tools. These ANSYS Advantages add value to the engineering design...
  • FLUENT

  • Referenced in 381 articles [sw04263]
  • installed.The primary CFD application on BlueBEAR is Ansys CFX - in particular, parallel licences have been...
  • UMFPACK

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

  • Referenced in 268 articles [sw04770]
  • problems. The code is written in the ANSI C programming language and it is available...
  • CSDP

  • Referenced in 183 articles [sw00169]
  • should work on any system with an ANSI C Compiler and BLAS/LAPACK libraries...
  • Smalltalk

  • Referenced in 162 articles [sw01561]
  • gathered loyal communities of users around them. ANSI Smalltalk was ratified in 1998 and represents...
  • GLPK

  • Referenced in 150 articles [sw04560]
  • routines written in ANSI C and organized in the form of a callable library. GLPK...
  • ANSYS-CFX

  • Referenced in 78 articles [sw06391]
  • ANSYS CFX software is a high-performance, general purpose fluid dynamics program that has been ... over 20 years. At the heart of ANSYS CFX is its advanced solver technology...
  • cdd

  • Referenced in 102 articles [sw00114]
  • program cdd+ (cdd, respectively) is a C++ (ANSI C) implementation of the Double Description Method...
  • CBMC

  • Referenced in 71 articles [sw09719]
  • CBMC is a Bounded Model Checker for ANSI-C and C++ programs. It also supports ... tions. Furthermore, it can check ANSI-C and C++ for consistency with other languages, such...
  • SDPLR

  • Referenced in 97 articles [sw04745]
  • SDPLR is an ANSI C package developed S. Burer, C. Choi and R.D.C. Monteiro...
  • svdpack

  • Referenced in 60 articles [sw04819]
  • large sparse matrices using double precision ANSI Fortran-77. A compatible ANSI-C version (SVDPACKC...
  • ADIC

  • Referenced in 78 articles [sw03392]
  • automatic differentiation (AD) of programs written in ANSI C. Given the source code...
  • TestU01

  • Referenced in 76 articles [sw08033]
  • software library, implemented in the ANSI C language, and offering a collection of utilities...
  • PHiPAC

  • Referenced in 52 articles [sw04898]
  • PHiPAC (Portable High Performance ANSI C) Page for BLAS3 Compatible Fast Matrix Matrix Multiply. BLAS3 ... code follows the PHiPAC (Portable High Performance Ansi C) coding suggestions that include manual loop...
  • Hull

  • Referenced in 71 articles [sw11670]
  • Hull is an ANSI C program that computes the convex hull of a point...
  • SatAbs

  • Referenced in 36 articles [sw12804]
  • SATABS: SAT-based predicate abstraction for ANSI-C. This paper presents a model checking tool ... checker to handle the semantics of the ANSI-C standard accurately. This includes a sound ... vector overflow, and of the ANSI-C pointer arithmetic constructs...
  • levmar

  • Referenced in 43 articles [sw04809]
  • This site provides GPL native ANSI C implementations of the Levenberg-Marquardt optimization algorithm, usable...
  • BEAM189

  • Referenced in 40 articles [sw07447]
  • using a 3-node BEAM189 element incorporating ANSYS nonlinear program. The pressure effect is equivalent...
  • CompCert

  • Referenced in 34 articles [sw09737]
  • almost all of the ISO C90 / ANSI C language, generating efficient code for the PowerPC...