Poster Computer Science Mathematics Sports Technology
STEM, Research, Leadership & Research Laidlaw Scholars, EPFL

Why did an equestrian triathlon need formalized tropical algebra to avoid chaos?

When an accident disrupted an equestrian triathlon, I built a real-time rescheduling app powered by tropical algebra. To guarantee its reliability, I formalized the Max-Plus Spectral Theorem in Lean 4, bridging machine-checked mathematics with a real-world application.
Go to the profile of Jérémy Digard
Jérémy Digard and Jérémy Digard
2 contributors

Share this post

Choose a social network to share with, or copy the URL to share elsewhere

Share with...

This is a representation of how your post may appear on social media. The actual post will vary between social networks

Preview

Download PDF Open
Go to the profile of Jérémy Digard

Contributors

Author

Go to the profile of Jérémy Digard

Jérémy Digard (He/Him)

Mathematics, EPFL

Contributing author

Go to the profile of Jérémy Digard

Jérémy Digard (He/Him)

Mathematics, EPFL

Multiple Contributors
Jérémy Digard and Jérémy Digard

Contributors

Author

Go to the profile of Jérémy Digard

Jérémy Digard (He/Him)

Mathematics, EPFL

Contributing author

Go to the profile of Jérémy Digard

Jérémy Digard (He/Him)

Mathematics, EPFL

Recommended Content

Arts & Humanities, Medicine & Health, Social Sciences, STEM, Leadership, Women in Business, Research, Durham University, Trinity College Dublin, University College London, University of Leeds, University of St Andrews, University of York, London Business School, Leadership & Research Laidlaw Scholars, Alumni, Learning Hub, Opportunities, Saïd Business School, University of Cambridge, London School of Economics and Political Science, Women in Business, Imperial College London, University of Oxford - SDG Impact Lab

Help a fellow Laidlaw Scholar recruit participants: UK Women 18-25

Cookie Settings

We and selected partners, use cookies or similar technologies as specified in the cookie policy and privacy policy.

You can consent to the use of such technologies by closing this notice.

Cookie Control

Customise your preferences for any tracking technology

The following allows you to customize your consent preferences for any tracking technology used to help us achieve the features and activities described below. To learn more about how these trackers help us and how they work, refer to the cookie policy. You may review and change your preferences at any time.

Cookie policy Privacy policy
Always active, cannot be turned off
More information

These trackers are used for activities that are strictly necessary to operate or deliver the service you requested from us and, therefore, do not require you to consent.

More information

These trackers help us to deliver personalized marketing content and to operate, serve and track ads.

More information

These trackers help us to deliver personalized marketing content to you based on your behaviour and to operate, serve and track social advertising.

More information

These trackers help us to measure traffic and analyze your behaviour with the goal of improving our service.

More information

These trackers help us to provide a personalized user experience by improving the quality of your preference management options, and by enabling the interaction with external networks and platforms.