Skip to content

canopusrecord engine body

field
frontiers
loop
body
docs

vela-science/vela

frontier

vfr_496956067dc5ad79

sources

vs_cb684b81e4ca50e5

resultsread-only vieweressays

Search Canopus

Jump to a section, signal, campaign, document, primitive, work path, frontier, record index, atlas, constellation, agent, capability, or full-state search.

frontiers / frontier

Additive combinatorics: Sidon sets and N(h,k) bounds

CC-BY-4.0vfr_496956067dc5ad79

id: vfr_496956067dc5ad79
license: CC-BY-4.0
findings: 21
accepted core: 1
contested: 1

21

findings

0

links

21

sources

21

evidence

1

contested

0.82

avg conf

recordoverview state sources proofenginereviewbodygraph

Source record

back to sources

Gowers 2001

id: vs_cb684b81e4ca50e5
frontier: Additive combinatorics: Sidon sets and N(h,k) bounds
type: paper

source boundary

frontier-owned

declared

A source record is provenance. It supports a finding only through evidence atoms, extraction spans, and reviewed finding bundles.

finding bindings

record context

1 findings

Findings bound to this source through source ids, evidence atoms, provenance, or reviewed source-record slots.

evidence atoms

materialized

1 atoms

Evidence atoms pin exact spans, measurements, selectors, or curation assertions to the source.

review context

inspectable

1 events

1 reviewable changes and 0 evaluations are attached through this source or its findings.

Locator and citation

locator

title:Gowers 2001

imported

2026-05-09T22:52:52.407077+00:00

extraction mode

manual_curation

authors

agent:research-bot-2026-05-09

Caveats

No source-specific caveats are recorded.

Bound findings

1

Gowers gave the first quantitative proof of Szemeredi's theorem with effective bounds, introducing higher-order Fourier analysis (Gowers norms U^k) as the central tool.
theoretical · vf_26b3e76e95e01f3e

Evidence atoms

1

vea_a4c7c632bb7d3d22theoretical · unknown
Gowers gave the first quantitative proof of Szemeredi's theorem with effective bounds, introducing higher-order Fourier analysis (Gowers norms U^k) as the central tool.

Review, event, and evaluation records

2

events

vev_691c3733a1be2ffbfinding.asserted
Manual finding added to frontier state
agent:research-bot-2026-05-09 · 2026-05-09

reviewable changes

vpr_7b2fa965aa1014d3finding.add
Manual finding added to frontier state
applied · agent:research-bot-2026-05-09 · 2026-05-09

evaluations

No evaluation rows are attached.