
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 buildin CAD engine...

Uppaal
 Referenced in 647 articles
[sw04702]
 collection of nondeterministic processes with finite control structure and realvalued 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 ... orientedenriched 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 finitestate 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 modelfinder 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 quasistatic 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...