Konstantin Pimenov

Identifiers

• name variant Konstantin Pimenov 0.60 · backfill

Papers (2)

1. A naive diagram-chasing approach to formalisation of tame topology math.CT · 2018 · author #2
2. Rationally trivial quadratic spaces are locally trivial:III math.AG · 2013 · author #2

Mentions

• 1302.4845 #2 · backfill · confidence 0.70 Konstantin Pimenov

Frequent Coauthors

• Ivan Panin 1 shared papers
• Misha Gavrilovich 1 shared papers