Measure Construction by Extension in Dependent Type Theory with Application to Integration
Work
Year: 2023
Type: article
Source: Journal of Automated Reasoning
Authors Reynald Affeldt, Cyril Cohen
Institutions National Institute of Advanced Industrial Science and Technology, Institut national de recherche en informatique et en automatique, Université Côte d'Azur
Cites: 31
Cited by: 1
Related to: 10
FWCI: 0.285
Citation percentile (by year/subfield): 49.75
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: green
Grant ID KAKENHI 22H00520