• Sparips.jl

  • Referenced in 1 article [sw35625]
  • persistent homology of Rips complexes of finite metric spaces. The original paper and algorithm...
  • Verdict

  • Referenced in 6 articles [sw33483]
  • coordinates. These metrics are used to evaluate the input to finite element, finite volume, boundary ... partial differential equations defined over regions of space. The geometric qualities of these regions ... have a simple C interface. Each metric may be evaluated individually or in combination. When...
  • Kaleido

  • Referenced in 8 articles [sw05940]
  • dimensional space has faces which are planar regular polygons (not necessarily convex), and finitely many ... polyhedra, together with a limited amount of metrical information about them. In this paper...
  • Regtheory.jl

  • Referenced in 1 article [sw39171]
  • norm-squared regularisation even in finite dimensions, generally relies upon Bregman divergences to replace norm ... first-order optimisation methods to Banach spaces. Bregman divergences can, however, be somewhat suboptimal ... descriptiveness. Using the concept of (strong) metric subregularity, previously used to prove the fast local...
  • pyxDamerauLevenshtein

  • Referenced in 0 articles [sw39315]
  • distance” (string metric) between two strings, i.e., finite sequence of symbols, given by counting ... time using O(M) space. It supports unicode characters. For more information on pyxDamerauLevenshtein, visit...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 654 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This...
  • GAP

  • Referenced in 3189 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • gmp

  • Referenced in 282 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • Gmsh

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

  • Referenced in 81 articles [sw00410]
  • HOM4PS-2.0: a software package for solving polynomial...
  • HSL

  • Referenced in 279 articles [sw00418]
  • HSL (formerly the Harwell Subroutine Library) is a...
  • Isabelle

  • Referenced in 713 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • ISOGAT

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