Results 1 to 20 of 114
Sort by:

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

  • Normaliz
  • Referenced in 149 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 354 articles [sw00118]
  • The goal of the CGAL Open Source Project...

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

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

  • gmp
  • Referenced in 265 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 1626 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 1658 articles [sw00537]
  • Macaulay2 is a software system devoted to supporting...