Search Results

---

Abstract

---

Cite as

Jonas Bayer, Marco David, Théo André, Mathis Bouverot-Dupuis, Eva Brenner, Loïc Chevalier, Anna Danilkin, Charlotte Dorneich, Kevin Lee, Xavier Pigé, Timothé Ringeard, Quentin Vermande, Paul Wang, Annie Yao, Zhengkun Ye. Universal Pairs for Diophantine Equations (Software, Formal Proof Development). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

---

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-24709,
   title = {{Universal Pairs for Diophantine Equations }}, 
   author = {Bayer, Jonas and David, Marco and Andr\'{e}, Th\'{e}o and Bouverot-Dupuis, Mathis and Brenner, Eva and Chevalier, Lo\"{i}c and Danilkin, Anna and Dorneich, Charlotte and Lee, Kevin and Pig\'{e}, Xavier and Ringeard, Timoth\'{e} and Vermande, Quentin and Wang, Paul and Yao, Annie and Ye, Zhengkun},
   note = {Software (visited on 2025-09-22)},
   url = {https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html},
   doi = {10.4230/artifacts.24709},
}

@misc{dagstuhl-artifact-24709, title = {{Universal Pairs for Diophantine Equations }}, author = {Bayer, Jonas and David, Marco and Andr\'{e}, Th\'{e}o and Bouverot-Dupuis, Mathis and Brenner, Eva and Chevalier, Lo\"{i}c and Danilkin, Anna and Dorneich, Charlotte and Lee, Kevin and Pig\'{e}, Xavier and Ringeard, Timoth\'{e} and Vermande, Quentin and Wang, Paul and Yao, Annie and Ye, Zhengkun}, note = {Software (visited on 2025-09-22)}, url = {https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html}, doi = {10.4230/artifacts.24709}, }