Open AccessPreprint
Proof Certification in Zenon Modulo: When Achilles Uses Deduction Modulo to Outrun the Tortoise with Shorter Steps
David Delahaye,Damien Doligez,Frédéric Gilbert,Pierre Halmagrand,Olivier Hermant-2013-12-14-HAL (Le Centre pour la Communication Scientifique Directe)
4
TL;DRAbstract
International audience
Chat with Paper
AI Agents for this Paper
International audience
Keywords
ModuloComputer scienceMathematicsDiscrete mathematics
Chat
Click to start Chat