Jim Portegies

Identifiers

• name variant Jim Portegies 0.60 · backfill

Papers (4)

1. The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes math.HO · 2026 · author #4
2. Waterproof Editor: an educational environment for proof assistants and programming languages math.HO · 2026 · author #5
3. Total Variation and Mean Curvature PDEs on $\mathbb{R}^d \rtimes S^{d-1}$ math.AP · 2019 · author #3
4. SciSports: Learning football kinematics through two-dimensional tracking data cs.LG · 2018 · author #6

Mentions

• 2606.26809 #4 · arxiv_oai · confidence 0.70 Jim Portegies
• 2606.01875 #5 · arxiv_oai · confidence 0.70 Jim Portegies

Frequent Coauthors

• Pim Otte 2 shared papers
• Anatoliy Babic 1 shared papers
• Anuj Tyagi 1 shared papers
• Bart Smets 1 shared papers
• Clara Stegehuis 1 shared papers
• Dick Arends 1 shared papers
• Etienne St-Onge 1 shared papers
• Gianluca Finocchio 1 shared papers
• Harshit Bansal 1 shared papers
• Johan Commelin 1 shared papers
• Julian Golak 1 shared papers
• Mark Peletier 1 shared papers
• Pieter Wils 1 shared papers
• Raul S\'anchez Flores 1 shared papers
• Remco Duits 1 shared papers
• Rogier Bos 1 shared papers
• Roland Vincze 1 shared papers
• William Weimin Yoo 1 shared papers