
KANT/KASH
 Referenced in 156 articles
[sw00481]
 tasks like calculating the solutions of Diophantine equations related to F. Furthermore subﬁelds...

Normaliz
 Referenced in 151 articles
[sw00630]
 system of linear homogeneous Diophantine equations, inequalities and congruences or a binomial ideal. Normaliz computes...

Omega
 Referenced in 51 articles
[sw11878]
 connection with linear homogeneous diophantine inequalities and equations, respectively. But as a matter of fact...

PESP
 Referenced in 2 articles
[sw03261]
 quadratic algorithm for graphical Diophantine equation systems The Periodic Event Scheduling Problem (PESP ... analyze a certain type of Diophantine equation systems closely related to the multimodule PESP...

Diophantine
 Referenced in 1 article
[sw28649]
 Homogeneous Linear Diophantine Equations. We formalize the theory of homogeneous linear diophantine equations, focusing ... soundness and completeness. Finally, we employ code equations to obtain a reasonably efficient implementation. Thus ... formally verified solver for homogeneous linear diophantine equations...

LinDiophantus.txt
 Referenced in 1 article
[sw30556]
 Macmahon’s method for solving linear diophantine equations. Unlike the APR treatment that ... Method for Solving Systems of Linear Diophantine Equations...

CpnToUnit
 Referenced in 1 article
[sw26447]
 expressed through systems of linear homogeneous Diophantine equations. In order to run the program...

Lagrange_diophantine
 Referenced in 1 article
[sw13490]
 fraction algorithm of Lagrange for solving the equation ... Webservice: Finding primitive solutions of the diophantine equation ax2+bxy+cy2=n, where...

PAC
 Referenced in 1 article
[sw21079]
 solution of linear systems and of Diophantine equations, the parallelization of Buchberger’s algorithm...

JiABS
 Referenced in 1 article
[sw07297]
 defined and randomly generated linear Diophantine systems of equations. Analysis of a large...

CASA
 Referenced in 99 articles
[sw00108]
 CASA is a specialpurpose system for computational...

CGAL
 Referenced in 362 articles
[sw00118]
 The goal of the CGAL Open Source Project...

CoCoA
 Referenced in 634 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

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

gmp
 Referenced in 272 articles
[sw00363]
 GMP is a free library for arbitrary precision...

HURRY
 Referenced in 27 articles
[sw00420]
 HURRY: An acceleration algorithm for scalar sequences and...

LAPACK
 Referenced in 1647 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LiDIA
 Referenced in 52 articles
[sw00518]
 LiDIA: A library for computational number theory. LiDIA...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...