This workshop was the third MAP meeting,

a continuation of the seminar "Verification and constructive algebra" held in Dagstuhl from 6 to 10 January 2003.

The goal of these meetings is to bring together people from the communities of formal proofs, constructive

mathematics and computer algebra (in a wide meaning).

The special

emphasis of the present meeting was on the constructive mathematics and efficient proofs in computer algebra.