
MapDE
 Referenced in 2 articles
[sw35022]
 integrability conditions and for which an existenceuniqueness 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]
 widelyused 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...

CXSC 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 highlevel language and interactive...

nauty
 Referenced in 579 articles
[sw00611]
 graphtheoretic 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...