• # METIS

• Referenced in 352 articles [sw04089]
• set of serial programs for partitioning graphs, partitioning finite element meshes, and producing fill reducing ... orderings for sparse matrices. The algorithms implemented in METIS are based on the multilevel recursive...
• # ILUM

• Referenced in 59 articles [sw07244]
• based on independent set orderings and multicoloring. We note that in order to improve robustness ... matrices such as those arising from finite element methods on unstructured meshes...
• # Mcmt

• Referenced in 14 articles [sw11911]
• indexes and the elements of the arrays. Sets of states and transitions of a system ... described by quantified first-order formulae. The core of the system is a backward reachability...
• # EasyMesh

• Referenced in 7 articles [sw13276]
• nodes, elements and sides in order to decrease the bandwidth of discretized set of equations ... function for relaxation of grid, in order to avoid the creation of nodes surrounded with ... more than 7 and less than 5 elements. The result of this technique, combined with...
• # FEMSTER

• Referenced in 15 articles [sw00275]
• # SEMIFEM

• Referenced in 2 articles [sw19570]
• combination of the reliability method and finite element method, is utilized to determine the reliability ... order reliability method (FORM) is the one favored in the present reliability analysis. Two sets...
• # MGTP

• Referenced in 5 articles [sw09701]
• generation based theorem prover MGTP for first-order logic. This paper describes the major results ... parallel inference machine PIM with 256 processing elements. With MGTP, we succeeded in proving difficult ... interval constraint propagation, respectively, non-Horn magic set to suppress the generation of useless model...