689 search results - page 1 / 138 » The multithreaded version of FORM |
80
Voted
CPHYSICS
2010
14 years 7 months ago
2010
We present TFORM, the version of the symbolic manipulation system FORM that can make simultaneous use of several processors in a shared memory architecture. The implementation use...
56
Voted
DEXA
2007
Springer
15 years 3 months ago
2007
Springer
ACS
2010
14 years 9 months ago
2010
The theory of combinatorial differential forms is usually presented in simplicial terms. We present here a cubical version; it depends on the possibility of forming affine combina...
74
Voted
SIAMNUM
2011
14 years 4 months ago
2011
In this paper we prove the discrete compactness property for a wide class of p finite element approximations of non-elliptic variational eigenvalue problems in two and three spac...
66
Voted
MLQ
1998
14 years 9 months ago
1998
Abstract. We investigate the set theoretical strength of some properties of normality, including Urysohn’s Lemma, Tietze-Urysohn Extension Theorem, normality of disjoint unions o...