• Gazelle

  • Referenced in 1 article [sw38099]
  • neural network layers to optimized homomorphic matrix-vector 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 high-level 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 SAT-solver. MiniSat is a minimalistic...
  • NTL

  • Referenced in 206 articles [sw00638]
  • NTL is a high-performance, 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, open-source math software...
  • SDPLIB

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