• 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...