• SINGULAR

  • Referenced in 1472 articles [sw00866]
  • polynomial rings over a field (e.g., finite fields, the rationals, floats, algebraic extensions, transcendental extensions...
  • FreeFem++

  • Referenced in 1246 articles [sw01436]
  • implementation of a language dedicated to the finite element method. It enables you to solve...
  • FEniCS

  • Referenced in 699 articles [sw04314]
  • automated solution of differential equations by finite element methods. FEniCS has an extensive list ... control and adaptivity, a comprehensive library of finite elements, high performance linear algebra and many...
  • deal.ii

  • Referenced in 599 articles [sw03516]
  • solution of partial differential equations using adaptive finite elements. It uses state ... enable rapid development of modern finite element codes, using among other aspects adaptive meshes ... array of tools classes often used in finite element program. Writing such programs...
  • FEAPpv

  • Referenced in 472 articles [sw10822]
  • FEAPpv A Finite Element Analysis Program: Personal Version. FEAPpv is a general purpose finite element ... FEAPpv is described in the references: The Finite Element Method: Its Basis and Fundamentals ... Elsevier, Oxford, 2005, (www.elsevier.com). The Finite Element Method for Solid and Structural Mechanics...
  • Gmsh

  • Referenced in 690 articles [sw00366]
  • Gmsh is a 3D finite element grid generator with a build-in CAD engine...
  • Uppaal

  • Referenced in 647 articles [sw04702]
  • collection of non-deterministic processes with finite control structure and real-valued clocks, communicating through...
  • KELLEY

  • Referenced in 628 articles [sw04829]
  • group. Implicit filtering methods use finite difference approximations of the gradient, which are adjusted...
  • XFEM

  • Referenced in 377 articles [sw01026]
  • extended finite element library. This paper presents and exercises a general structure for an object ... oriented-enriched finite element code. The programming environment provides a robust tool for extended finite...
  • AdaBoost.MH

  • Referenced in 478 articles [sw08517]
  • rather than being binary, is an arbitrary finite set or a bounded segment...
  • METIS

  • Referenced in 457 articles [sw04089]
  • serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing orderings...
  • UMDES

  • Referenced in 365 articles [sw09523]
  • study of discrete event systems modeled by finite-state automata (FSA). There are routines...
  • Triangle

  • Referenced in 357 articles [sw07890]
  • large angles, and are thus suitable for finite element analysis. Triangle (version 1.6, with Show...
  • top.m

  • Referenced in 222 articles [sw22630]
  • input lines is 99 including optimizer and Finite Element subroutine. The 99 lines are divided ... independency filter and 35 lines for the finite element code. In fact, excluding comment lines ... lines associated with output and finite element analysis, it is shown that only 49 Matlab...
  • Mace4

  • Referenced in 217 articles [sw06905]
  • finite model-finder Mace4. Mace4 is a program that searches for finite models of first ... useful for work on finite algebras. Mace4 performs better on equational problems than our previous...
  • GQTPAR

  • Referenced in 322 articles [sw07451]
  • produce a nearly optimal solution in a finite number of iterations. We also consider...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • many open questions in the areas of finite semigroups, ternary Boolean algebra, logic calculi, combinatory...
  • Qhull

  • Referenced in 312 articles [sw04419]
  • that contains P. If P is finite, the convex hull defines a matrix...
  • HYPLAS

  • Referenced in 194 articles [sw17661]
  • techniques used in small and large strain finite element analysis of elastic and inelastic solids ... their computer implementation within a quasi-static finite element scheme. Many of the techniques discussed ... theory and numerical procedures used in the finite element simulation of the nonlinear mechanical behaviour...
  • ISOGAT

  • Referenced in 303 articles [sw00457]
  • analogy but also the differences to traditional finite element analysis become apparent...