• ANSYS

  • Referenced in 704 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 438 articles [sw04263]
  • installed.The primary CFD application on BlueBEAR is Ansys CFX - in particular, parallel licences have been...
  • UMFPACK

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  • Referenced in 41 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 64 articles [sw04809]
  • This site provides GPL native ANSI C implementations of the Levenberg-Marquardt optimization algorithm, usable...
  • ECOS

  • Referenced in 58 articles [sw12123]
  • bound technique. ECOS is written entirely in ANSI C and does not depend on dedicated...
  • BEAM189

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