HomeOpen Access NewsSH Inria

SH Inria

Subscribe to Updates

Computer science, software and mathematics: Interactive proof assistants

Research & Innovation
Dr Nicolas Tabareau from IMT Atlantique Bretagne-Pays de la Loire, provides us with further insight about interactive proof assistants, within the wider field of computer science, software and mathematics.

Why should we trust proof assistants?

Technology
Proof assistants are formal proof management systems, which provide a formal language to write mathematical definitions, executable algorithms and theorems, more of which here is explained by Inria Rennes - Bretagne Atlantique.

Advertisements


Latest Academic Articles

The latest academic articles from key research stakeholders

Visit Article Archive
Open Access Government

Open Access Government produces compelling and informative news, publications, eBooks, and academic research articles for the public and private sector looking at health, diseases & conditions, workplace, research & innovation, digital transformation, government policy, environment, agriculture, energy, transport and more.

Follow Us

Resources

Quick Links

Legal & Marketing

As a Crossref Sponsored Member we are able to connect your content with a global network of online scholarly research, currently over 20,000 other organizational members from 160 countries. Crossref drive metadata exchange and support nearly 2 billion monthly API queries, facilitating global research communication.

© Adjacent Digital Politics Ltd