The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Currently displaying 1 – 3 of 3

Showing per page

Order by Relevance | Title | Year of publication

Un anneau de Prüfer

H. Lombardi — 2010

Actes des rencontres du CIRM

Let E be the ring of integer valued polynomials over . This ring is known to be a Prüfer domain. But it seems there does not exist an algorithm for inverting a nonzero finitely generated ideal of E . In this note we show how to obtain such an algorithm by deciphering a classical abstract proof that uses localisations of E at all prime ideals of E . This confirms a general program of deciphering abstract classical proofs in order to obtain algorithmic proofs.

Page 1

Download Results (CSV)