
SchwarzChristoffel
 Referenced in 202 articles
[sw00833]
 variations yield formulas for conformal maps from standard regions to the interiors or exteriors ... Computations involving these maps generally require a computer, and although the numerical aspects of these...

Algorithm 785
 Referenced in 14 articles
[sw04672]
 software package implementing SchwarzChristoffel conformal transformation (or mapping) of doubly connected polygonal regions ... fully described in this article from mathematical, numerical, and practical perspectives. The package solves...

kirch
 Referenced in 18 articles
[sw11661]
 associated parameter problem are treated numerically by methods developed earlier by the second author [SIAM ... standard SchwarzChristoffel maps. (netlib conformal...

BLSURF
 Referenced in 5 articles
[sw10379]
 meshing is of utmost importance in many numerical applications including the finite element method ... suitable for generating a mesh which conforms to given constraints (prescribed sizes of the elements ... surface mesh is obtained when this is mapped to the 3D space. By discretizing first...

Riemann_Map
 Referenced in 1 article
[sw21223]
 from the map. A Riemann map conformally maps a simply connected region in the complex ... plane to the unit disc. The Ahlfors map does the same thing for multiply connected ... regions. Note that all the methods are numerical. As a result all answers have some...

iCTRL
 Referenced in 1 article
[sw01473]
 iCTRL: Intensional conformal text representation language A new compact and homogeneous symbolism is introduced ... order and intensional logic cannot cope with numerous natural language phenomena such as the large ... problems like onetoone sentence–formula mapping. The CTRL/iCTRL formalism can model them successfully...

ALBERT
 Referenced in 79 articles
[sw00025]
 ALBERT  Software for scientific computations and applications. Adaptive...

Apron
 Referenced in 55 articles
[sw00045]
 Apron: a library of numerical abstract domains for...

CLIFFORD
 Referenced in 62 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

CLUCalc
 Referenced in 29 articles
[sw00133]
 CLUCalc is a freely available software tool for...

Coq
 Referenced in 1502 articles
[sw00161]
 Coq is a formal proof management system. It...

CXSC 2.0
 Referenced in 118 articles
[sw00182]
 A C++ class library for extended scientific computing...

GAP
 Referenced in 2392 articles
[sw00320]
 GAP is a system for computational discrete algebra...

gmp
 Referenced in 232 articles
[sw00363]
 GMP is a free library for arbitrary precision...

Gmsh
 Referenced in 371 articles
[sw00366]
 Gmsh is a 3D finite element grid generator...

ISOGAT
 Referenced in 186 articles
[sw00457]
 A tutorial 2D MATLAB code for solving elliptic...

LAPACK
 Referenced in 1503 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LGO
 Referenced in 76 articles
[sw00516]
 The program system LGO serves to solve global...

Macaulay2
 Referenced in 1341 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...