Fast and Reliable Symbolic Computation

Projektinformationen

FRESCO

ID Finanzhilfevereinbarung: 101001995

DOI

10.3030/101001995

EK-Unterschriftsdatum 11 Februar 2021

Startdatum 1 November 2021

Enddatum 31 Oktober 2027

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 999 926,00

EU-Beitrag

€ 1 999 926,00

Koordiniert durch

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Open Research Data Pilot (1)

Data Management Plan

Data management plan

Veröffentlichungen

Conference proceedings (6)

Artifact Report: Trocq: Proof Transfer for Free, With or Without Univalence

Autoren: Cohen, Cyril; Crance Enzo; Mahboubi, Assia
Veröffentlicht in: Programming Languages and Systems. ESOP 2024, 2024
Herausgeber: Springer
DOI: 10.1007/978-3-031-57262-3_11

A First Order Theory of Diagram Chasing

Autoren: Mahboubi, Assia; Piquerez, Matthieu
Veröffentlicht in: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)., 2024
Herausgeber: Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.csl.2024.38

Trocq: Proof Transfer for Free, With or Without Univalence

Autoren: Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Veröffentlicht in: Programming Languages and Systems. ESOP 2024, Ausgabe 14576, 2024, ISBN 978-3-031-57262-3
Herausgeber: Springer
DOI: 10.1007/978-3-031-57262-3_10

A Safe Low-level Language for Computer Algebra and its Formally Verified Compiler

Autoren: Moreau, Josué; Melquiond, Guillaume
Veröffentlicht in: ICFP '24: ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM on Programing Langages, 2024
Herausgeber: Association for Computing Machinery

Machine-Checked Categorical Diagrammatic Reasoning

Autoren: Guillemet, Benoît; Mahboubi, Assia; Piquerez, Matthieu
Veröffentlicht in: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 2024, Seite(n) 7:1-7:19
Herausgeber: Leibniz International Proceedings in Informatics

Manifest Termination

Autoren: Mahboubi, Assia; Melquiond, Guillaume
Veröffentlicht in: TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3, 2023
Herausgeber: Universitat Politècnica de València

Peer reviewed articles (1)

Enabling Floating-Point Arithmetic in the Coq Proof Assistant

Autoren: Martin-Dorel, Érik; Melquiond, Guillaume; Roux, Pierre
Veröffentlicht in: Journal of Automated Reasoning, 2023, ISSN 0168-7433
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10817-023-09679-x