Universal Pairs for Diophantine Equations

Bayer, Jonas; David, Marco; André, Théo; Bouverot-Dupuis, Mathis; Brenner, Eva; Chevalier, Loïc; Danilkin, Anna; Dorneich, Charlotte; Lee, Kevin; Pigé, Xavier; Ringeard, Timothé; Vermande, Quentin; Wang, Paul; Yao, Annie; Ye, Zhengkun

doi:10.4230/artifacts.24709

Artifact

Universal Pairs for Diophantine Equations Software

Authors 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

Part of: Collection: Supplementary Materials
License: BSD 2-Clause "Simplified" License
Publication Date: 2025-09-22

Document Identifiers

DOI: 10.4230/artifacts.24709
URN: urn:nbn:de:0030-drops-247094

Author Details

Jonas Bayer

Department of Pure Mathematics and Mathematical Statistics, University of Cambridge, UK

Marco David

Department of Physics, University of California, Berkeley, CA, USA

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

Content

Software (Formal Proof Development): https://www.isa-afp.org/entries/Diophantine_Universal_Pairs.html

Version/Status

Content created at: 2025-07-29

Cite As Get BibTex

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) https://doi.org/10.4230/artifacts.24709

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail