
XPath
 Referenced in 374 articles
[sw15780]
 language that allows the processing of values conforming to the data model defined in [XQuery...

Triangle
 Referenced in 364 articles
[sw07890]
 generates exact Delaunay triangulations, constrained Delaunay triangulations, conforming Delaunay triangulations, Voronoi diagrams, and highquality...

SchwarzChristoffel
 Referenced in 235 articles
[sw00833]
 transformation and its variations yield formulas for conformal maps from standard regions to the interiors...

SC Toolbox
 Referenced in 205 articles
[sw04462]
 possible the interactive creation and visualization of conformal maps to regions bounded by polygons...

SDPB
 Referenced in 104 articles
[sw23927]
 semidefinite program solver for the conformal bootstrap. We introduce SDPB: an opensource, parallelized, arbitrary ... precision semidefinite program solver, designed for the conformal bootstrap. SDPB significantly outperforms less specialized solvers...

CXSC 2.0
 Referenced in 127 articles
[sw00182]
 standard. The new version CXSC 2.0 conforms to this standard. Application programs written...

CHARMM
 Referenced in 120 articles
[sw05953]
 mutations and drug binding as well as conformational folding of peptides. It uses classical mechanical...

SCPACK
 Referenced in 70 articles
[sw11658]
 computing the SchwarzChristoffel transformation, a conformal map that maps the interior of the unit ... polygon P with vertices ... (netlib conformal...

MFEM
 Referenced in 56 articles
[sw09043]
 including arbitrary highorder H1conforming, discontinuous (L2), H(div)conforming, H(curl)conforming...

Ptolemy
 Referenced in 80 articles
[sw07459]
 unified way. In particular, all actors conform to an executable interface that contains four functions...

Prolog
 Referenced in 70 articles
[sw06518]
 level) with a debugger. The Prolog part conforms to the ISO standard for Prolog with...

MAGIC
 Referenced in 38 articles
[sw14159]
 iterative framework for simulation conformance. MAGIC is a software verification project for C source code ... which verifies conformance of software components against statemachine specifications. To this aim, MAGIC extracts ... MAGIC verification engine, i.e., specification conformance using simulation and abstraction refinement. Viewing counterexamples as winning ... refinement process is iterated until either a conformance with the specification is established...

BGL
 Referenced in 64 articles
[sw17557]
 provides some general purpose graph classes that conform to this interface, but they...

Modulef
 Referenced in 39 articles
[sw01072]
 type of finite element method, for example, conforming, nonconforming, hybrid, or mixed ... conforming methods the flow and stresses can be computed along with the temperature or displacement...

CFTs4D
 Referenced in 32 articles
[sw23882]
 provide a framework for generic 4D conformal bootstrap computations. It is based on the unification ... covariant (embedding) formalism and the noncovariant (conformal frame) formalism. We construct their main ingredients ... normalization of 2point functions and seed conformal blocks, Casimir differential operators and treatment...

JuliBootS
 Referenced in 32 articles
[sw40366]
 JuliBootS: a handson guide to the conformal bootstrap. We introduce JuliBootS, a package ... numerical conformal bootstrap computations coded in Julia. The centrepiece of JuliBootS is an implementation ... continuous search spaces. Current supported features include conformal dimension bounds, OPE bounds, and bootstrap with...

ABF++
 Referenced in 26 articles
[sw14153]
 Fast and robust angle based flattening. Conformal parameterization of mesh models has numerous applications ... geometry processing. Conformality is desirable for remeshing, surface reconstruction, and many other mesh processing applications ... Subject to the conformality requirement, these applications typically benefit from parameterizations with smaller stretch ... years ago, generates provably valid conformal parameterizations with low stretch. However, it is quite time...

SPEED
 Referenced in 32 articles
[sw08653]
 elastodynamics with discontinuous Galerkin: a nonconforming approach for 3D multiscale problems. This work ... local and regional scale. Based on nonconforming highorder techniques, such as the discontinuous...

Gaalop
 Referenced in 27 articles
[sw00313]
 Gaalop – high performance parallel computing based on conformal geometric algebra. We present Gaalop (Geometric algebra ... tool for highperformance computing based on conformal geometric algebra. The main goal of Gaalop...

conformalInference
 Referenced in 23 articles
[sw27010]
 Conformal Inference Project. This project contains software tools for conformal inference. The current emphasis ... conformal prediction in regression. Soon, we will add tools for density estimation and classification...