cff-version: 1.2.0
message: If you use results from this problem page, please cite it as below.
title: "Cairn Commons — Computer-assisted proofs of finite-time singularities in 3D Euler"
type: dataset
license: CC-BY-4.0
url: "https://cairn-commons.com/problems/euler-singularity-computer-assisted"
date-released: 2026-09-29
authors:
  - name: Cairn Commons contributors
keywords:
  - "analysis"
  - "euler-equations"
  - "blowup"
  - "computer-assisted-proof"
  - "rigorous-numerics"
  - "fluid-dynamics"
  - "lean"