• MapDE

  • Referenced in 2 articles [sw35022]
  • integrability conditions and for which an existence-uniqueness theorem is available. Once existence is established...
  • Guess

  • Referenced in 6 articles [sw09215]
  • others one step in proving their next theorem: given the first few terms ... general formula? Of course, no unique solution exists, owever, by Occam’s razor, we will...
  • Algebraic Numbers

  • Referenced in 1 article [sw28608]
  • existing libraries for matrices, factorization of rational polynomials, and Sturm’s theorem, we formalized algebraic ... prove that polynomials over a unique factorization domain form again a unique factorization domain...
  • LaCasa

  • Referenced in 2 articles [sw34853]
  • widely-used language, Scala. The approach is unique in the way it addresses some ... extensions for aliasing control. First, adaptation of existing code requires only a minimal ... type system and prove key soundness theorems. The type system is implemented for the full...
  • GenerateUHG

  • Referenced in 3 articles [sw26974]
  • Uniquely hamiltonian graphs: GenerateUHG is a generator for graphs with a given number ... findings, combining applications of this algorithm and existing algorithms with new theoretical results, revolve around ... work of Royle, we show that there exist nearly cubic 1H graphs of order ... This gives the strongest form of a theorem of Entringer and Swart, and sheds light...
  • Coq

  • Referenced in 1835 articles [sw00161]
  • Coq is a formal proof management system. It...
  • C-XSC 2.0

  • Referenced in 125 articles [sw00182]
  • A C++ class library for extended scientific computing...
  • GAP

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

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

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

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

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

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

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

  • Referenced in 579 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • PLTMG

  • Referenced in 215 articles [sw00717]
  • PLTMG 11.0 is a package for solving elliptic...
  • PROFIL/BIAS

  • Referenced in 133 articles [sw00733]
  • PROFIL (Programmer’s Runtime Optimized Fast Interval Library...
  • R

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

  • Referenced in 742 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...