Ana Paula Tomas, Miguel Filgueiras  Home/Search
Context Related
| unh.edu/pub/csp/archive/pape...tomas.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unh.edu (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An overview of a family of methods for finding the minimal solutions to a single linear Diophantine equation over the natural numbers is given. Most of the formal details were dropped, some illustrations that might give some intuition on the methods being presented instead. 1 Introduction In this paper we describe a family of methods that solve a single homogeneous linear Diophantine equation on the nonnegative integers. In this context, solving means finding the set of minimal solutions... (Update)
Context of citations to this paper: More
.... for solving a system of Diophantine equations is under research [Con93] Other recent results, for a single equation, are described in [TFar] and [FT93] and correspond to the fastest methods known to date. The topic of constraints over algebras of rational trees extends term...
Cited by: More
Parallel Logic Programming With Extensions - Pereira, Cunha, Damas (1995) (Correct)
Active bibliography (related documents): More All
0.7: From Elliott-MacMahon to an algorithm for general linear.. - Domenjoud, Tomás (1995) (Correct)
0.7: Improving the Efficiency of AC Matching and Unification - Eker (1993) (Correct)
0.6: On Symmetries in Systems Coming from AC-unification of.. - Tomás, Contejean (Correct)
Similar documents based on text: More All
0.6: Electronic Publishing, Vol. 6(4), 507--518 (december 1993) - Representation And.. (Correct)
0.6: On Diophantine systems coming from AC-unification of.. - Tomás, Contejean (Correct)
0.4: A Successful Case of Computer Aided ranslation - Miguel Filgueiras Liacc (Correct)
Related documents from co-citation: More All
2: Contradiction: when avoidance equal removal (context) - Alferes, Pereira - 1994
2: Diagnosis and debugging as contradiction removal - Pereira, asio et al. - 1993
BibTeX entry: (Update)
Ana Paula Tom'as and M. Filgueiras. Solving linear diophantine equations. Reports of the Institute of Cybernetics, Tallinn, to appear. http://citeseer.ist.psu.edu/374822.html More
@misc{ tom'as-solving,
author = "A. Tom'as and M. Filgueiras",
title = "Solving linear diophantine equations",
text = "Ana Paula Tom'as and M. Filgueiras. Solving linear diophantine equations.
Reports of the Institute of Cybernetics, Tallinn, to appear.",
url = "citeseer.ist.psu.edu/374822.html" }
Citations (may not include all citations):221 Constraint Logic Programming (context) - Jaffar, Lassez - 1987
62 A unification algorithm for associativecommutative functions (context) - Stickel - 1981
32 Logic Programming language scheme (context) - Jaffar, Lassez et al. - 1986
26 An algorithm to generate the basis of solutions to homogeneo.. (context) - Huet - 1978
18 Efficient solution of linear Diophantine equations (context) - Clausen, Fortenbacher - 1989
9 Linear homogeneous Diophantine equations and magic labelings.. (context) - Stanley - 1973
8 Solving Linear Diophantine Equations (context) - Guckenbiehl, Herold - 1985
7 A new AC Unification algorithm with an algorithm for solving.. (context) - Boudet, Contejean et al. - 1990
6 Fast methods for solving linear Diophantine equations (context) - Filgueiras, Tom'as - 1993
6 Chelsea Publishing Co (context) - MacMahon - 1918
6 eres positives d (context) - Lambert - 1987
4 Algorithms for the solution of systems of linear Diophantine.. (context) - Chou, Collins - 1982
3 Outils pour la D'eduction Automatique dans les Th'eories Ass.. (context) - Domenjoud - 1991
3 On linear homogenous Diophantine equations (context) - Elliott - 1903
2 A Note on the Implementation of the MacMahon-Elliott Algorit.. (context) - Filgueiras, Tom'as
2 A new method for solving linear constraints on the natural n.. (context) - Tom'as, Filgueiras
1 Solving Linear Diophantine Equations: The Slopes Algorithm (context) - Filgueiras, Tom'as
1 Technical report CMU-CS (context) - Bachem, Kannan et al. - 1984
1 A Congruencebased Method with Slope Information for Solving .. (context) - Filgueiras, Tom'as
1 A Congruencebased Method for Finding the Basis of Solutions .. (context) - Tom'as, Filgueiras
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.unh.edu.html): More
Csim - a Simple HP48 Circuit Simulator for Educational Purposes - Stenius (1992) (Correct)
Solving Geometric Constraint Systems - Kramer (1990) (Correct)
A Theorem-Proving Approach to Jobshop Scheduling - Toni (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC