Kevin Donnelly
- Deciphering colorectal cancer genetics through multi-omic analysis of 100,204 cases and 154,587 controls of European and east Asian ancestries
2022/12/20 by Ceres Fernandez-Rozadilla, Ceres Fernández–Rozadilla, Maria Timofeeva +254 · 5 citations
Biochemistry, Genetics and Molecular Biology · Medicine · #Colorectal Cancer Screening and Detection #Genetic Associations and Epidemiology #Genetic factors in colorectal cancer
- A formally verified proof of the prime number theorem
2005/09/09 by Jeremy Avigad, Kevin Donnelly, K. Donnelly +6 · 1 citation
Computer Science · Mathematics · #Analytic Number Theory Research #Artificial Intelligence (cs.AI) #F.4.1 #FOS: Computer and information sciences #History and Theory of Mathematics #I.2.3 #Logic in Computer Science (cs.LO) #Mathematics and Applications #Symbolic Computation (cs.SC) #cs.AI #cs.LO #cs.SC