Henrik Kragh Sørensen

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 4

Top Topics

Technical Report

Graphical Representations

Computer Algebra

Intensity Values

Top Venues

Electron. J. Comb.

Publications

Henrik Kragh Sørensen, Mikkel Willum Johansen
Epistemic Roles of Diagrams in Short Proofs. Diagrams (2022)
Henrik Kragh Sørensen
Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers. Diagrams (2021)
Line Edslev Andersen, Mikkel Willum Johansen, Henrik Kragh Sørensen
Mathematicians writing for mathematicians. Synth. 198 (26) (2021)
Henrik Kragh Sørensen, Mikkel Willum Johansen
Counting Mathematical Diagrams with Machine Learning. Diagrams (2020)
Thomas Britz, Nicholas J. Cavenagh, Henrik Kragh Sørensen
Maximal Partial Latin Cubes. Electron. J. Comb. 22 (1) (2015)
Dieter Britz, Thomas Britz, Keisuke Shiromoto, Henrik Kragh Sørensen
The Higher Weight Enumerators of the Doubly-Even, Self-Dual [48, 24, 12] Code. IEEE Trans. Inf. Theory 53 (7) (2007)