
Gazelle
 Referenced in 1 article
[sw38099]
 neural network layers to optimized homomorphic matrixvector multiplication and convolution routines. Third, we design ... seamlessly convert between homomorphic and garbled circuit encodings to enable implementation of complete neural network...

ff
 Referenced in 5 articles
[sw23393]
 data in binary flat files in native encoding, and complement this with metadata stored ... even with large datasets, for example virtual matrix transpose without touching a single byte...

EPIMK2
 Referenced in 1 article
[sw00241]
 property that some eigenvalues of the Jacobian matrix, J=∂f/∂y have large magnitude relative ... value problem (1) according to error criteria encoded and supplied by the user. EPISODE consists...

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

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

FIAT
 Referenced in 36 articles
[sw00287]
 Algorithm 839: FIAT, a new paradigm for computing...

Gerris
 Referenced in 276 articles
[sw00341]
 Gerris is a Free Software program for the...

Kronecker
 Referenced in 113 articles
[sw00495]
 Kronecker is a package for Magma computer algebra...

Magma
 Referenced in 2986 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MATHLAB
 Referenced in 14 articles
[sw00574]
 MATHLAB is a computer algebra system created in...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

NTL
 Referenced in 206 articles
[sw00638]
 NTL is a highperformance, portable C++ library...

polymake
 Referenced in 299 articles
[sw00724]
 polymake is open source software for research in...

R
 Referenced in 8728 articles
[sw00771]
 R is a language and environment for statistical...

REDUCE
 Referenced in 740 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

SageMath
 Referenced in 1714 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

SDPLIB
 Referenced in 60 articles
[sw00838]
 SDPLIB 1. 2, a library of semidefinite programming...