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
Like
Go to the profile of Dimitri URBAIN
Go to the profile of Yoann Jacques
Go to the profile of Jean Declerck
Go to the profile of Alizée Sophie Fasel

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

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.