Université Laval

most citedLidar Scan Registration Robust to Extreme Motions

3 citations

researchers with a paper here

G. Drettakis2 · h 59
Jean-Franccois Lalonde2 · h 6
Simon-Pierre Deschênes2 · h 6
Universit'e Laval2 · h 3
Yohan Poirier-Ginter2 · h 4
A. Brou1 · h 2
A. D. O. Physics1 · h 6
A. I. Ennis1 · h 0
Andrea J. Allen1 · h 2
Antoine Allard1 · h 28
A. O'Brien1 · h 3
Arumugam Nallanathan1 · h 7

collaborating institutions

Institut national de recherche en sciences et technologies du numériqueFR2 papers
Université de MontréalCA2 papers
Arcetri Astrophysical ObservatoryIT1 paper
Arizona State UniversityUS1 paper
Astronomy and SpaceAU1 paper
Astrophysique, Instrumentation et ModélisationFR1 paper
Canadian Institute for Theoretical AstrophysicsCA1 paper
CEA Paris-SaclayFR1 paper
Cégep GarneauCA1 paper
Center for Astrophysics Harvard & SmithsonianUS1 paper
Center for Northern StudiesCA1 paper
Central China Normal UniversityCN1 paper

Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

Complex Bounded Operators in Isabelle/HOL

We present a formalization of bounded operators on complex vector spaces in Isabelle/HOL. Our formalization contains material on complex vector spaces (normed spaces, Banach spaces…