• KANT/KASH

  • Referenced in 155 articles [sw00481]
  • tasks like calculating the solutions of Diophantine equations related to F. Furthermore subfields...
  • Normaliz

  • Referenced in 148 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 multi-module 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 A-P-R 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 95 articles [sw00108]
  • CASA is a special-purpose system for computational...
  • CGAL

  • Referenced in 350 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • CoCoA

  • Referenced in 618 articles [sw00143]
  • CoCoA is a system for Computations in Commutative...
  • GAP

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

  • Referenced in 263 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 1617 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 1639 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...