• SINGULAR

  • Referenced in 1330 articles [sw00866]
  • interactive shell and a C-like programming language, SINGULAR’s internal functionality is augmented...
  • PETSc

  • Referenced in 1114 articles [sw04012]
  • application codes written in Fortran, C, C++, Python, and MATLAB (sequential). PETSc provides many ... problem. By using techniques of object-oriented programming, PETSc provides enormous flexibility for users. PETSc ... without some computer science background, experience programming in C, C++ or Fortran and experience using...
  • deal.ii

  • Referenced in 515 articles [sw03516]
  • deal.II is a C++ program library targeted at the computational solution of partial differential equations...
  • CPLEX

  • Referenced in 2507 articles [sw04082]
  • offers C, C++, Java, .NET, and Python libraries that solve linear programming (LP) and related...
  • Concorde

  • Referenced in 300 articles [sw04770]
  • code is written in the ANSI C programming language and it is available for academic...
  • Genocop

  • Referenced in 1075 articles [sw04707]
  • genetic algorithm-based program for constrained and unconstrained optimization, written in C. The Genocop system ... preferably on a Sun SPARC machine). This program can also...
  • Python

  • Referenced in 1205 articles [sw14460]
  • used high-level, general-purpose, interpreted, dynamic programming language. Its design philosophy emphasizes code readability ... C++ or Java. The language provides constructs intended to enable clear programs on both...
  • FGb

  • Referenced in 235 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines of C++) for computing Grobner bases, implement ... efficient program written in C for solving polynomial systems. The purpose of the FGb library...
  • CSparse

  • Referenced in 186 articles [sw20382]
  • strong emphasis on MATLAB and the C programming language, Direct Methods for Sparse Linear Systems...
  • DUNE

  • Referenced in 133 articles [sw01466]
  • legacy and/or new libraries. Modern C++ programming techniques enable very different implementations of the same...
  • PERL

  • Referenced in 259 articles [sw01225]
  • formerly accomplished (with difficulty) by programming in the C language or one of the shells...
  • ASTREE

  • Referenced in 111 articles [sw13704]
  • errors in programs written in the C programming language. It has been applied with success...
  • C-XSC 2.0

  • Referenced in 123 articles [sw00182]
  • scientific computing. The original version of the C-XSC library is about ten years ... last decade the underlying programming language C++ has been developed significantly. Since November ... conforms to this standard. Application programs written for older C-XSC versions have...
  • CVRPSP

  • Referenced in 110 articles [sw13447]
  • collection of routines, written in the C programming language, for separation of various classes...
  • Algorithm 432

  • Referenced in 235 articles [sw25817]
  • matrix equation AX + XB = C [F4]. The following programs are a collection of Fortran ... solve the matrix equation AX+XB=C(1) where A, B, and C are real...
  • CUDA

  • Referenced in 1140 articles [sw03258]
  • comprehensive development environment for C and C++ developers building GPU-accelerated applications. The CUDA Toolkit ... your applications. You’ll also find programming guides, user manuals, API reference, and other documentation...
  • VCC

  • Referenced in 66 articles [sw07220]
  • mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications...
  • ALGOL 60

  • Referenced in 502 articles [sw21807]
  • many other programming languages, including CPL, Simula, BCPL, B, Pascal and C. Niklaus Wirth based...
  • nauty

  • Referenced in 544 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program for computing automorphism groups of graphs ... written in a portable subset of C, and runs on a considerable number of different ... systems. There is a small suite of programs called gtools included in the package...
  • C-XSC

  • Referenced in 106 articles [sw00181]
  • C-XSC. A programming environment for verified scientific computing and numerical data processing ... classes. Thus, C-XSC allows high-level programming of numerical applications...