• Tess

  • Referenced in 1 article [sw08153]
  • Archimedean (including regular and uniform) tessellations in Euclidean (E2), Elliptic (S2 - polyhedra), and Lobachevskian ... plane. The tiles of Archimedean tessellations are regular polygons and all vertices...
  • CARP-CG

  • Referenced in 10 articles [sw00105]
  • superspace can be implemented in the regular space by using CARP in a double sweep ... stiff linear systems derived from convection dominated elliptic partial differential equations. The results indicate that...
  • MoTE-ECC

  • Referenced in 2 articles [sw09247]
  • Mote-ECC: energy-scalable elliptic curve cryptography for wireless sensor networks Wireless sensor networks (WSNs ... simple power analysis) and introduce a highly regular implementation of the comb method...
  • MSR ECCLib

  • Referenced in 1 article [sw23888]
  • library that provides functions for computing essential elliptic curve operations ... curves. All computations on secret data exhibit regular, constant-time execution, providing protection against timing...
  • OAHM

  • Referenced in 3 articles [sw01076]
  • usual 5-point difference formulae, of an elliptic partial differential equation can give rise ... sparse case. The OAHM subroutine uses a regular splitting and the convergence is therefore guaranteed...
  • libmpdata++

  • Referenced in 5 articles [sw15814]
  • positive-definite advection transport algorithm (MPDATA) on regular structured grid. The library offers basic numerical ... equipped with a non-symmetric variational elliptic solver for implicit evaluation of pressure gradient terms...
  • TensorToolbox

  • Referenced in 1 article [sw17589]
  • cores. For functions with appropriate regularity, the resulting spectral tensor-train decomposition combines the favorable ... used to approximate the solution of an elliptic PDE with random input data. The open...
  • BEMLIB

  • Referenced in 101 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 666 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ACL2

  • Referenced in 279 articles [sw00060]
  • ACL2 is both a programming language in which...
  • BoomerAMG

  • Referenced in 170 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • BPMPD

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CGAL

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

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

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

  • Referenced in 23 articles [sw00162]
  • COSTA is a research prototype which performs automatic...
  • FGb

  • Referenced in 244 articles [sw00286]
  • FGb/Gb libraryGb is a program (191 420 lines...
  • GAP

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