Make an Impact in Your Field
31 December 2020
Special Issue on Interactive Theorem Proving in Mathematics Research
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!
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
View the latest tweets from tandfstem