-
bplib
- Referenced in 1 article
[sw30794]
- library implementing support for computations on groups supporting bilinear pairings, as used in modern cryptography ... with petlib types including petlib.bn and the group G1 is a petlib.ec EC group. Along...
-
ANONIZE
- Referenced in 1 article
[sw30298]
- model based on cryptographic assumptions on groups with bilinear maps. As far as we know...
-
PARAFAC
- Referenced in 22 articles
[sw14789]
- straightforward generalization of the bilinear model of factor (or component) analysis (xij = ΣRr = 1airbjr ... different samples, perhaps corresponding to different treatment groups, different kinds of cases, data from different...
-
AutHyp
- Referenced in 1 article
[sw22773]
- group of automorphisms of an integral lattice endowed with a hyperbolic bilinear form. The paper ... method to determine generating systems of discontinuous groups acting on dual cones. The application...
-
BARON
- Referenced in 354 articles
[sw00066]
- BARON is a computational system for solving nonconvex...
-
cdd
- Referenced in 115 articles
[sw00114]
- The program cdd+ (cdd, respectively) is a C...
-
CLIFFORD
- Referenced in 84 articles
[sw00131]
- CLIFFORD performs various computations in Grass mann and...
-
Coq
- Referenced in 1880 articles
[sw00161]
- Coq is a formal proof management system. It...
-
CSDP
- Referenced in 202 articles
[sw00169]
- CSDP, A C Library for Semidefinite Programming. This...
-
Cuba
- Referenced in 76 articles
[sw00173]
- Cuba -- a library for multidimensional numerical integration. The...
-
FFLAS-FFPACK
- Referenced in 26 articles
[sw00283]
- FFPACK: finite field linear algebra package. The FFLAS...
-
FGb
- Referenced in 247 articles
[sw00286]
- FGb/Gb libraryGb is a program (191 420 lines...
-
GAP
- Referenced in 3154 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 720 articles
[sw00366]
- Gmsh is a 3D finite element grid generator...
-
LANCELOT
- Referenced in 306 articles
[sw00500]
- LANCELOT. A Fortran package for large-scale nonlinear...
-
LAPACK
- Referenced in 1695 articles
[sw00503]
- LAPACK is written in Fortran 90 and provides...
-
LSQR
- Referenced in 394 articles
[sw00530]
- Algorithm 583: LSQR: Sparse Linear Equations and Least...
-
Magma
- Referenced in 3296 articles
[sw00540]
- Computer algebra system (CAS). Magma is a large...
-
Maple
- Referenced in 5363 articles
[sw00545]
- The result of over 30 years of cutting...