• Verified LLL

  • Referenced in 2 articles [sw28661]
  • approximation to solve the shortest vector problem (SVP), which is an NP-hard problem, where...
  • OTRU

  • Referenced in 1 article [sw32108]
  • security on the difficulty of the shortest vector problem (SVP) in a non-circular modular...
  • graph2vec

  • Referenced in 7 articles [sw32340]
  • representing entire graphs as fixed length feature vectors. While the aforementioned approaches are naturally unequipped ... features (e.g., shortest paths, graphlets, etc.) and hence are hampered by problems such as poor...
  • ATLAS

  • Referenced in 197 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • CGAL

  • Referenced in 372 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • Coq

  • Referenced in 1837 articles [sw00161]
  • Coq is a formal proof management system. It...
  • DEA

  • Referenced in 244 articles [sw00194]
  • Data Envelopment Analysis (DEA) is becoming an increasingly...
  • FLAME

  • Referenced in 38 articles [sw00293]
  • We present a number of application program interfaces...
  • gmp

  • Referenced in 274 articles [sw00363]
  • GMP is a free library for arbitrary precision...
  • LANCELOT

  • Referenced in 304 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LAPACK

  • Referenced in 1654 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • LEDA

  • Referenced in 261 articles [sw00509]
  • In the core computer science areas -- data structures...
  • MapReduce

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

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

  • Referenced in 12721 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • NTL

  • Referenced in 208 articles [sw00638]
  • NTL is a high-performance, portable C++ library...
  • QAPLIB

  • Referenced in 227 articles [sw00751]
  • A collection of electronically available data instances for...
  • R

  • Referenced in 8904 articles [sw00771]
  • R is a language and environment for statistical...
  • SageMath

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