Jim Portegies

Identifiers

• name variant Jim Portegies 0.60 · backfill

Papers (3)

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

Mentions

• 2606.01875 #5 · arxiv_oai · confidence 0.70 Jim Portegies

Frequent Coauthors

• 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
• Julian Golak 1 shared papers
• Mark Peletier 1 shared papers
• Pieter Wils 1 shared papers
• Pim Otte 1 shared papers
• Raul S\'anchez Flores 1 shared papers
• Remco Duits 1 shared papers
• Roland Vincze 1 shared papers
• William Weimin Yoo 1 shared papers