The specific research objectives of this project are grouped together in three work packages:
WP1 — Foundations
WP2 — Exact Computation in real analysis
WP3 — Logical representation of data
The specific research objectives of this project are grouped together in three work packages:
WP1 — Foundations
WP2 — Exact Computation in real analysis
WP3 — Logical representation of data