Dr Vincenzo L Mantova
<h4>Research projects</h4> <p>Any research projects I'm currently working on will be listed below. Our list of all <a href="https://eps.leeds.ac.uk/dir/research-projects">research projects</a> allows you to view and search the full list of projects in the faculty.</p>
- Association for Symbolic Logic
- Associazione Italiana di Logica e sue Applicazioni
- British Logic Colloquium
- Fellow of the Higher Education Academy
- London Mathematical Society
- Unione Matematica Italiana
- BookML: automated LaTeX to bookdown-style HTML and SCORM, powered by LaTeXML.
Convert your LaTeX files to accessible HTML5 and to SCORM packages using the same technology behind ar5iv, with most of the benefits of bookdown and WCAG2.1 AA compliance out of the box.
- OneBoard: full screen (double) whiteboard with OneNote Online.
A simple hack for OneNote to give clutter-free online lectures, as well as keeping two simultaneous views of the same whiteboard on screen.
Research groups and institutes
- Pure Mathematics