Follow us_
Publication Search Results
Exact matches for:
- Author = Hughes C
1.
Buzzard K, Hughes C, Lau K, Livingston A, Mir RF, Morrison S
Kevin Buzzard, Chris Hughes, Kenny Lau, Amelia Livingston, Ramon Fernández Mir and Scott Morrison:
Schemes in Lean,
Experimental Mathematics,
31
(2022),
no. 2,
355–363.
| Number of matches: 1 |