Chris Hughes
- Schemes in Lean
2021/01/07 by Kevin Buzzard, Chris Hughes, Kenny Lau +3 · 2 voices · 1 citation
Mathematics · #math.AG
- The characteristic polynomial of a random unitary matrix: a probabilistic approach
2007/06/03 by Paul Bourgade, Chris Hughes, Bourgade, Paul +5 · 2 citations
Mathematics · Physics and Astronomy · #15A52 #60F05 #60F15 #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph) #Probability (math.PR) #math-ph #math.MP #math.PR #msc:15A52 #msc:60F05 #msc:60F15
- Verifying Peephole Rewriting In SSA Compiler IRs
2024/07/04 by S. Bhat, Siddharth Bhat, Alex C. Keizer +10 · 1 voice · 1 citation
Computer Science · #Distributed and Parallel Computing Systems #Logic, programming, and type systems #Parallel Computing and Optimization Techniques #cs.LO #cs.PL
- On the number of zeros of linear combinations of independent\n characteristic polynomials of random unitary matrices
2013/01/22 by Yacine Barhoumi, Barhoumi, Yacine, C. P. Hughes +6 · 1 citation
Mathematics · #Advanced Algebra and Geometry #Analytic Number Theory Research #FOS: Mathematics #Geometry and complex manifolds #Mathematical Dynamics and Fractals #Number Theory (math.NT) #Probability (math.PR)
- Underpinning The STEM Agenda Through Technological Textiles? An exploration of design technology teachers’ attitudes
2021/01/01 by Chris Hughes, Hughes, Chris, Dawne Irving-Bell +2 · 1 citation
Engineering · Arts and Humanities · #Design Education and Practice #Crafts, Textile, and Design #Architecture, Art, Education