A card from a free library — ask anything, no account, works offline. Every card carries its source.
M. Davis 1976 — Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution
source
M. Davis, Yu. Matiyasevich, J. Robinson (1976). Hilbert's tenth problem: Diophantine equations: positive aspects of a negative solution. Proc. Symp. Pure Math. 28 (AMS, 1976) 323–378. DOI 10.1090/pspum/028.2/0432534. Canonical: https://doi.org/10.1090/pspum/028.2/0432534. No free copy found; cited by its record. License as found: no license field in the Crossref record; AMS copyright, free back-volume access on ams.org — cited. Serves the joints between the problems on the one map (card_floor_millennium): the Diophantine joint: RH as one Diophantine equation with no solutions (Riemann ↔ P vs NP).
- on the shelf of → The Millennium sources — the papers behind the seven sticks — a source the joints between the problems stick (card_floor_millennium) cites, located for
- cites → The Riemann hypothesis is one Diophantine equation with no solutions — the record the joint stands on
Is this card incomplete? Tell the library — it will call out for more ↗