• 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 high-quality...
  • Schwarz-Christoffel

  • 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 open-source, parallelized, arbitrary ... precision semidefinite program solver, designed for the conformal bootstrap. SDPB significantly outperforms less specialized solvers...
  • C-XSC 2.0

  • Referenced in 127 articles [sw00182]
  • standard. The new version C-XSC 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 Schwarz-Christoffel 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 high-order H1-conforming, 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 state-machine 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, non-conforming, 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 non-covariant (conformal frame) formalism. We construct their main ingredients ... normalization of 2-point functions and seed conformal blocks, Casimir differential operators and treatment...
  • JuliBootS

  • Referenced in 32 articles [sw40366]
  • JuliBootS: a hands-on guide to the conformal bootstrap. We introduce JuliBootS, a package ... numerical conformal bootstrap computations coded in Julia. The centre-piece 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 non-conforming approach for 3D multi-scale problems. This work ... local and regional scale. Based on non-conforming high-order 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 high-performance 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...