Results 1 to 9 of 9
Sort by:

  • SCSCP
  • Referenced in 13 articles [sw06673]
  • Symbolic Computation Software Composability Protocol In the direction of the software composability, on the first ... step we designed the Symbolic Computation Software Composability Protocol (SCSCP) by which a computer algebra...

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

  • GAP
  • Referenced in 2850 articles [sw00320]
  • GAP is a system for computational discrete algebra...

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

  • CUDA
  • Referenced in 1185 articles [sw03258]
  • The NVIDIA® CUDA® Toolkit provides a comprehensive development...

  • Haskell
  • Referenced in 844 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...

  • HyTech
  • Referenced in 324 articles [sw04125]
  • HyTech is an automatic tool for the analysis...

  • Reo
  • Referenced in 82 articles [sw06353]
  • The Reo coordination language. Reo presents a paradigm...

  • Casper
  • Referenced in 95 articles [sw06559]
  • A Compiler for the Analysis of Security Protocols...