252 citations
- Hebei UniversityCN46 papers
- Chongqing UniversityCN20 papers
- Computational Physics (United States)US16 papers
- Peking UniversityCN13 papers
- Institut Élie Cartan de LorraineFR12 papers
- Université de LorraineFR12 papers
- Institute of Theoretical PhysicsCN10 papers
- Ruhr University BochumDE9 papers
- University of Chinese Academy of SciencesCN8 papers
- Chinese Academy of SciencesCN7 papers
- Institut de recherche mathématique de RennesFR7 papers
- Institute of Applied Physics and Computational MathematicsCN7 papers
Showing 2022 · cs.LOShow all
2 papers · 2 filters
cs.LO2022★ 4 cited
Compositional pre-processing for automated reasoning in dependent type theory
Valentin Blot, Denis Cousineau, Enzo Crance +4
In the context of interactive theorem provers based on a dependent type theory, automation tactics (dedicated decision procedures, call of automated solvers, ...) are often limited…
cs.LO2022
Lebesgue Induction and Tonelli's Theorem in Coq
Sylvie Boldo, François Clément, Vincent Martin +2
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assista…