Abstract
Making visually appealing and meaningful diagrams involves craftsmanship in designing the visual representation, drawing shapes, and laying them out. Can the effort spent on diagrams by an expert be reused by others, especially those without the expertise in design and drawing? In this paper, we outline our prior work on Penrose, a diagramming tool with first-class support for reusing visual representations. The nature of our approach to reusability necessitates a domain-agnostic method to automatically lay out a diagram. We highlight our existing approach for general diagram layout and styling, and propose a new composable approach for codifying visual representations to reuse expertise that cuts across domains.
W. Ni, S. Estep and H.-S. Harriman—Authors contributed equally.
J. Minarčík—Independent Researcher.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Clark, C., Bohrer, R.: Homotopy type theory for sewn quilts. In: Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design, FARM 2023 (2023)
Ma’ayan, D., Ni, W., Ye, K., Kulkarni, C., Sunshine, J.: How domain experts create conceptual diagrams and implications for tool design. In: Proceedings of the 2020 CHI Conference on Human Factors in Computing Systems, CHI 2020 (2020)
Nawrocki, W., Ayers, E.W., Ebner, G.: An extensible user interface for lean 4. In: Proceedings of the 14th International Conference on Interactive Theorem Proving, ITP 2023 (2023)
Ye, K., et al.: Penrose: from mathematical notation to beautiful diagrams. ACM Trans. Graph (2020)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Ni, W., Estep, S., Harriman, HS., Minarčík, J., Sunshine, J. (2024). Codifying Visual Representations. In: Lemanski, J., Johansen, M.W., Manalo, E., Viana, P., Bhattacharjee, R., Burns, R. (eds) Diagrammatic Representation and Inference. Diagrams 2024. Lecture Notes in Computer Science(), vol 14981. Springer, Cham. https://doi.org/10.1007/978-3-031-71291-3_37
Download citation
DOI: https://doi.org/10.1007/978-3-031-71291-3_37
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-71290-6
Online ISBN: 978-3-031-71291-3
eBook Packages: Computer ScienceComputer Science (R0)