• SINGULAR

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

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

  • Referenced in 515 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 402 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...
  • FEniCS

  • Referenced in 494 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...
  • Uppaal

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

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

  • Referenced in 358 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...
  • Gmsh

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

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

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

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

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

  • Referenced in 201 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 198 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...
  • OTTER

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

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

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

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

  • Referenced in 167 articles [sw01061]
  • ALBERTA is an Adaptive multiLevel finite element toolbox using Bisectioning refinement and Error control ... scientific Applications. ALBERTA, a sequential adaptive finite-element toolbox, is being used widely ... problems. So we develop a parallel adaptive finite-element package based on ALBERTA, using ParMETIS...