• Cadabra

  • Referenced in 83 articles [sw00097]
  • Cadabra is a powerful computer program for the...
  • GAP

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

  • Referenced in 27 articles [sw00437]
  • The Intuitionistic Logic Theorem Proving (ILTP) library provides...
  • Invar

  • Referenced in 31 articles [sw00446]
  • The Invar Tensor Package. The Invar package is...
  • Isabelle

  • Referenced in 639 articles [sw00454]
  • Isabelle is a generic proof assistant. It allows...
  • LEDA

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

  • Referenced in 1776 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...
  • Maple

  • Referenced in 5220 articles [sw00545]
  • The result of over 30 years of cutting...
  • Mathematica

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

  • Referenced in 120 articles [sw00707]
  • SETHEO: A high-performance theorem prover. The paper...
  • SageMath

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

  • Referenced in 19 articles [sw00888]
  • SOLAR (SOL for Advanced Reasoning) is a first...
  • MPTP

  • Referenced in 26 articles [sw02489]
  • We describe a number of new possibilities for...
  • VAMPIRE

  • Referenced in 241 articles [sw02918]
  • Vampire 8.0, [RV02,Vor05] is an automatic theorem...
  • PVS

  • Referenced in 626 articles [sw03484]
  • PVS is a verification system: that is, a...
  • TPTP

  • Referenced in 383 articles [sw04143]
  • The TPTP (Thousands of Problems for Theorem Provers...
  • Metis_

  • Referenced in 56 articles [sw04439]
  • Metis is an automatic theorem prover for first...
  • DLMF

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

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