
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...

CARPCG
 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...

MoTEECC
 Referenced in 2 articles
[sw09247]
 MoteECC: energyscalable 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, constanttime execution, providing protection against timing...

OAHM
 Referenced in 3 articles
[sw01076]
 usual 5point 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]
 positivedefinite advection transport algorithm (MPDATA) on regular structured grid. The library offers basic numerical ... equipped with a nonsymmetric 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 tensortrain 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 boundaryelement software library of...

ACRITHXSC
 Referenced in 49 articles
[sw00015]
 ACRITHXSC is a Fortranlike programming language...

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 stateoftheart 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...