21 search results - page 1 / 5 » On the resolution of relative Thue equations |
MOC
2002
13 years 4 months ago
2002
An efficient algorithm is given for the resolution of relative Thue equations. The essential improvement is the application of an appropriate version of Wildanger's enumeratio...
MOC
2010
12 years 11 months ago
2010
We consider a parameterized family of Thue equations of degree 16. By reducing this family to a system of Pell equations and linear relations, we are able to solve this family.
EUSFLAT
2009
13 years 2 months ago
2009
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
ICANN
2003
Springer
13 years 10 months ago
2003
Springer
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...