Showing the non-existence of solutions in systems of linear Diophantine equations
Year of publication: |
2009
|
---|---|
Authors: | Hernando, Antonio ; de Ledesma, Luis ; Laita, Luis M. |
Published in: |
Mathematics and Computers in Simulation (MATCOM). - Elsevier, ISSN 0378-4754. - Vol. 79.2009, 11, p. 3211-3220
|
Publisher: |
Elsevier |
Subject: | Number theory | Diophantine equations | Linear Diophantine |
-
Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
Matiyasevich, Yuri, (2004)
-
Computability of Digital Input Output Models
Guzmán, J., (2011)
-
Why House Price Indexes Differ; Measurement and Analysis
Silver, Mick, (2012)
- More ...
-
A system simulating representation change phenomena while problem solving
Hernando, Antonio, (2008)
-
A logic approach to decision taking in a railway interlocking system using Maple
Roanes-Lozano, Eugenio, (2011)
-
Foreword to the special issue on “Nonstandard applications of computer algebra”
Hernando, Antonio, (2014)
- More ...