Fast and Reliable Symbolic Computation

Informacje na temat projektu

FRESCO

Identyfikator umowy o grant: 101001995

DOI

10.3030/101001995

Data podpisania przez KE 11 Lutego 2021

Data rozpoczęcia 1 Listopada 2021

Data zakończenia 31 Października 2027

Finansowanie w ramach

• EXCELLENT SCIENCE - European Research Council (ERC)

Koszt całkowity

€ 1 999 926,00

Wkład UE

€ 1 999 926,00

Koordynowany przez

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Open Research Data Pilot (1)

Data Management Plan

Data management plan

Publikacje

Conference proceedings (6)

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

Autorzy: Cohen, Cyril; Crance Enzo; Mahboubi, Assia
Opublikowane w: Programming Languages and Systems. ESOP 2024, 2024
Wydawca: Springer
DOI: 10.1007/978-3-031-57262-3_11

A First Order Theory of Diagram Chasing

Autorzy: Mahboubi, Assia; Piquerez, Matthieu
Opublikowane w: 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)., 2024
Wydawca: Leibniz International Proceedings in Informatics
DOI: 10.4230/lipics.csl.2024.38

Trocq: Proof Transfer for Free, With or Without Univalence

Autorzy: Cohen, Cyril; Crance, Enzo; Mahboubi, Assia
Opublikowane w: Programming Languages and Systems. ESOP 2024, Numer 14576, 2024, ISBN 978-3-031-57262-3
Wydawca: Springer
DOI: 10.1007/978-3-031-57262-3_10

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

Autorzy: Moreau, Josué; Melquiond, Guillaume
Opublikowane w: ICFP '24: ACM SIGPLAN International Conference on Functional Programming. Proceedings of the ACM on Programing Langages, 2024
Wydawca: Association for Computing Machinery

Machine-Checked Categorical Diagrammatic Reasoning

Autorzy: Guillemet, Benoît; Mahboubi, Assia; Piquerez, Matthieu
Opublikowane w: 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), 2024, Strona(/y) 7:1-7:19
Wydawca: Leibniz International Proceedings in Informatics

Manifest Termination

Autorzy: Mahboubi, Assia; Melquiond, Guillaume
Opublikowane w: TYPES 2023 - 29th International Conference on Types for Proofs and Programs, Jun 2023, Valencia, Spain. pp.1-3, 2023
Wydawca: Universitat Politècnica de València

Peer reviewed articles (1)

Enabling Floating-Point Arithmetic in the Coq Proof Assistant

Autorzy: Martin-Dorel, Érik; Melquiond, Guillaume; Roux, Pierre
Opublikowane w: Journal of Automated Reasoning, 2023, ISSN 0168-7433
Wydawca: Kluwer Academic Publishers
DOI: 10.1007/s10817-023-09679-x