Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Static Analysis for the VErification of Spreadsheets

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

On Correctness of Automatic Differentiation for Non-Differentiable Functions

Author(s): Lee, Wonyeol; Yu, Hangyeol; Rival, Xavier; Yang, Hongseok
Published in: https://hal.inria.fr/hal-03081582, Issue 1, 2020, Page(s) All
Publisher: NeurIPS 2020 - 34th Conference on Neural Information Processing Systems

Intellectual Property Rights

"""Analyseur Statique de tableurs Excel"" V2.0"

Application/Publication number: IDDN IDDN.FR.001.080045.000.S.A.2021.000.10000
Date: 2021-02-26
Applicant(s): INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0