We use cookies to improve your website experience. To learn about our use of cookies and how you can manage your cookie settings, please see our Cookie Policy. By closing this message, you are consenting to our use of cookies.

Make an Impact in Your Field

Manuscript deadline
31 December 2020

Cover image - Experimental Mathematics

Experimental Mathematics

Special Issue Editor(s)

Alex Kontorovich, Rutgers University
[email protected]

Visit JournalArticles

Special Issue on Interactive Theorem Proving in Mathematics Research

Experimental Mathematics publishes original papers featuring rigorously-proved results inspired by experimentation, conjectures suggested by experiments, and data supporting significant hypotheses. The journal was founded in the belief that theory and experiment feed on each other, and that the mathematical community stands to benefit from a more complete exposure to the experimental process.
This Special Issue intends to highlight recent progress on formalizing modern mathematics in Interactive Theorem Proving systems (Lean, Coq, Isabelle/HOL, etc), with the hope that such eventually become useful everyday tools for the working mathematician, as computer algebra systems are today. The journal aims to publish reports on the formalization of mathematics of great interest and importance to professional mathematicians, together with a repository for the formalized proofs.

Looking to Publish your Research?

We aim to make publishing with Taylor & Francis a rewarding experience for all our authors. Please visit our Author Services website for more information and guidance, and do contact us if there is anything we can help with!

Submission Instructions

FAQs:
Deadline for submission: Dec 31st, 2020
There are no explicit page limits
Submissions will follow the journal's standard and rigorous refereeing process for quality, depth, and originality

Any code must be extensively documented with comments that make it readable by a professional mathematician with little formalization experience

Instructions for AuthorsSubmit an Article