Six equations in search of a finite-fold-ness proof

Domenico Cantone, Luca Cuzziol, Eugenio G. Omodeo

By following the same construction pattern which Martin Davis proposed in a 1968 paper of his, we have obtained six quaternary quartic Diophantine equations that candidate as `rule…