• ring-LWE

  • Referenced in 32 articles [sw19028]
  • with entirely new applications like fully homomorphic encryption. Unfortunately, realizing the full potential of ring ... lack of practical algorithms and analytical tools for working in this context. As a result ... toolkit of fast, modular algorithms and analytical techniques that can be used in a wide ... cryptosystem and a “somewhat homomorphic” symmetric encryption scheme. Both apply to arbitrary cyclotomics, have tight...
  • FGb

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

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

  • Referenced in 5373 articles [sw00545]
  • The result of over 30 years of cutting...
  • MapReduce

  • Referenced in 263 articles [sw00546]
  • MapReduce is a new parallel programming model initially...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 13544 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • PARI/GP

  • Referenced in 636 articles [sw00680]
  • PARI/GP is a widely used Computer Algebra System...
  • SageMath

  • Referenced in 1994 articles [sw00825]
  • Sage (SageMath) is free, open-source math software...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • CUDA

  • Referenced in 1325 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...
  • UCI-ml

  • Referenced in 3403 articles [sw04074]
  • UC Irvine Machine Learning Repository. We currently maintain...
  • Gurobi

  • Referenced in 690 articles [sw04105]
  • GUROBI OPTIMIZER: State of the Art Mathematical Programming...
  • Valgrind

  • Referenced in 62 articles [sw04420]
  • Valgrind is an instrumentation framework for building dynamic...
  • CVX

  • Referenced in 845 articles [sw04594]
  • CVX is a modeling system for constructing and...
  • Mosek

  • Referenced in 493 articles [sw04618]
  • MOSEK is a tool for solving mathematical optimization...
  • mctoolbox

  • Referenced in 1486 articles [sw04827]
  • The Matrix Computation Toolbox is a collection of...
  • DLMF

  • Referenced in 2809 articles [sw04968]
  • NIST digital library of mathematical functions. The National...
  • PDCO

  • Referenced in 698 articles [sw05148]
  • PDCO: Primal-Dual interior method for Convex Objectives...
  • HOL

  • Referenced in 591 articles [sw05492]
  • Higher Order Logic (HOL) is a programming environment...