Rogier Bos

Identifiers

• name variant Rogier Bos 0.60 · backfill

Papers (3)

1. The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes math.HO · 2026 · author #2
2. Continuous representations of groupoids math.RT · 2006 · author #1
3. Geometric quantization of Hamiltonian actions of Lie algebroids and Lie groupoids math.SG · 2006 · author #1

Mentions

• 2606.26809 #2 · arxiv_oai · confidence 0.70 Rogier Bos

Frequent Coauthors

• Jim Portegies 1 shared papers
• Johan Commelin 1 shared papers
• Pim Otte 1 shared papers