Henrik Kragh Sørensen

According to our database, Henrik Kragh Sørensen authored at least 6 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Epistemic Roles of Diagrams in Short Proofs.

Henrik Kragh Sørensen, Mikkel Willum Johansen

Proceedings of the Diagrammatic Representation and Inference, 2022

2021

Mathematicians writing for mathematicians.

Line Edslev Andersen, Mikkel Willum Johansen, Henrik Kragh Sørensen

Synth., 2021

Beyond Counting: Measuring Diagram Intensity in Mathematical Research Papers.

Henrik Kragh Sørensen

Proceedings of the Diagrammatic Representation and Inference, 2021

2020

Counting Mathematical Diagrams with Machine Learning.

Henrik Kragh Sørensen, Mikkel Willum Johansen

Proceedings of the Diagrammatic Representation and Inference, 2020

2015

Maximal Partial Latin Cubes.

Thomas Britz, Nicholas J. Cavenagh, Henrik Kragh Sørensen

Electron. J. Comb., 2015

2007

The Higher Weight Enumerators of the Doubly-Even, Self-Dual [48, 24, 12] Code.

Dieter Britz, Thomas Britz, Keisuke Shiromoto, Henrik Kragh Sørensen

IEEE Trans. Inf. Theory, 2007