Pages that link to "Item:Q1807463"

The following pages link to A new technique for obtaining diophantine representations via elimination of bounded universal quantifiers (Q1807463):

Displaying 2 items.

• Hilbert's Tenth Problem in Coq (Q5089029) (← links)
• (Q5094119) (← links)