Edit Profile (opens in new tab) Morrison, Scott C. Co-Author Distance Author ID: morrison.scott-c Published as: Morrison, Scott C. Documents Indexed: 9 Publications since 1994, including 6 Additional arXiv Preprints Co-Authors: 6 Co-Authors with 1 Joint Publication 55 Co-Co-Authors all top 5 Co-Authors 3 single-authored 2 Wedrich, Paul 1 Broadbery, Peter A. 1 Buzzard, Kevin 1 Dooley, Samuel S. 1 Edie-Michell, Cain 1 Hughes, Chris 1 Hunt, Hilary 1 Iglio, Pietro 1 Keese, Hannah 1 Lau, Kenny 1 Licata, Anthony M. 1 Livingston, Amelia 1 Mir, Ramon Fernández 1 Steinbach, Jonathan M. 1 Sutor, Robert S. 1 Watt, Stephen Michael Serials 1 Experimental Mathematics 1 Geometry & Topology all top 5 Fields 2 Manifolds and cell complexes (57-XX) 2 Computer science (68-XX) 1 Algebraic geometry (14-XX) 1 Group theory and generalizations (20-XX) 1 Differential geometry (53-XX) 1 Algebraic topology (55-XX) 1 Relativity and gravitational theory (83-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ Invariants of 4-manifolds from Khovanov-Rozansky link homology. Zbl 07678842 Morrison, Scott; Walker, Kevin; Wedrich, Paul 5 2022 A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511 Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 4 1994 Schemes in Lean. Zbl 1497.14003 Buzzard, Kevin; Hughes, Chris; Lau, Kenny; Livingston, Amelia; Fernández Mir, Ramon; Morrison, Scott 2 2022 Invariants of 4-manifolds from Khovanov-Rozansky link homology. Zbl 07678842 Morrison, Scott; Walker, Kevin; Wedrich, Paul 5 2022 Schemes in Lean. Zbl 1497.14003 Buzzard, Kevin; Hughes, Chris; Lau, Kenny; Livingston, Amelia; Fernández Mir, Ramon; Morrison, Scott 2 2022 A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511 Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 4 1994 all top 5 Cited by 6 Authors 2 Watt, Stephen Michael 1 Dragan, Laurentiu 1 Kaltofen, Erich L. 1 Mulders, Thom 1 Rabe, Florian 1 Storjohann, Arne Cited in 1 Serial 2 Journal of Symbolic Computation Cited in 3 Fields 3 Computer science (68-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) Citations by Year