Buchumschlag

KnowTeX: Visualizing Mathematical Dependencies

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Uskuplu, Elif, Moss, Lawrence S., de Paiva, Valeria
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Human-Computer Interaction Information Retrieval Programming Languages 68N15 D.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Study of Digital Appliances Accessibility for People with Visual Disabilities
von: An, Hyunjin, et al.
Veröffentlicht: (2024)

Slide Deck Q&A Quality Assurance App: A Multi-Stage Pipeline for Pedagogical Question Generation
von: Salsman, Jim
Veröffentlicht: (2026)

Log2Plan: An Adaptive GUI Automation Framework Integrated with Task Mining Approach
von: Lee, Seoyoung, et al.
Veröffentlicht: (2025)

Creating Group Rules with AI: Human-AI Collaboration in WhatsApp Moderation
von: Nayak, Gauri, et al.
Veröffentlicht: (2026)

Toward a Corpus Study of the Dynamic Gradual Type
von: Nsofor, Dibri, et al.
Veröffentlicht: (2025)

PDFMathTranslate: Scientific Document Translation Preserving Layouts
von: Ouyang, Rongxin, et al.
Veröffentlicht: (2025)

The calculation of air filtration efficiency through the visual basic programming language
von: Kouropoulos, Giorgos
Veröffentlicht: (2014)

Author Once, Publish Everywhere: Portable Metadata Authoring with the CEDAR Embeddable Editor
von: O'Connor, Martin J., et al.
Veröffentlicht: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
von: Niketan, Nripesh, et al.
Veröffentlicht: (2025)

The Semantics of Metapropramming in Prolog
von: Warren, David S.
Veröffentlicht: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
von: Zhong, Zhiyao, et al.
Veröffentlicht: (2025)

High-Performance Generation of Constrained Inputs
von: Crump, Addison, et al.
Veröffentlicht: (2025)

Data-Driven Animation Controller: A Prioritized Visual System for Decoupled Animation Logic in Godot Game Engine
von: TorabNezhad, Abtin, et al.
Veröffentlicht: (2026)

Quest Complete: the Holy Grail of Gradual Security
von: Chen, Tianyu, et al.
Veröffentlicht: (2023)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
von: Bouzinier, Michael, et al.
Veröffentlicht: (2026)

CAWAL: A novel unified analytics framework for enterprise web applications and multi-server environments
von: Canay, Özkan, et al.
Veröffentlicht: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
von: Erhard, Julian, et al.
Veröffentlicht: (2024)

Understanding and Improving Information Preservation in Prompt Compression for LLMs
von: Łajewska, Weronika, et al.
Veröffentlicht: (2025)

CAG: Chunked Augmented Generation for Google Chrome's Built-in Gemini Nano
von: Surulimuthu, Vivek Vellaiyappan, et al.
Veröffentlicht: (2024)

Towards Conversational AI for Human-Machine Collaborative MLOps
von: Fatouros, George, et al.
Veröffentlicht: (2025)

Idempotent Slices with Applications to Code-Size Reduction
von: de Azevedo, Rafael Alvarenga, et al.
Veröffentlicht: (2026)

Multi-Language Benchmark Generation via L-Systems
von: da Silva, Vinícius Francisco, et al.
Veröffentlicht: (2025)

Conflict Essences for Transformation Rules with Nested Application Conditions -- Long Version
von: Lauer, Alexander, et al.
Veröffentlicht: (2026)

Reinforcement Learning-Based Framework for the Intelligent Adaptation of User Interfaces
von: Gaspar-Figueiredo, Daniel, et al.
Veröffentlicht: (2024)

GenPara: Enhancing the 3D Design Editing Process by Inferring Users' Regions of Interest with Text-Conditional Shape Parameters
von: Choi, Jiin, et al.
Veröffentlicht: (2025)

PLUGH: A Benchmark for Spatial Understanding and Reasoning in Large Language Models
von: Tikhonov, Alexey
Veröffentlicht: (2024)

Emulation-Completeness of Programming Languages
von: Morse, Gregory, et al.
Veröffentlicht: (2026)

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

Memento: Towards Proactive Visualization of Everyday Memories with Personal Wearable AR Assistant
von: Kim, Yoonsang, et al.
Veröffentlicht: (2026)

The ACPATH Metric: Precise Estimation of the Number of Acyclic Paths in C-like Languages
von: Bagnara, Roberto, et al.
Veröffentlicht: (2016)

From Block Diagrams to Bloch Spheres: Graphical Quantum Circuit Simulation in LabVIEW
von: Vefadar, Murtaza
Veröffentlicht: (2026)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
von: Sumitani, Rafael, et al.
Veröffentlicht: (2024)

Knowledge Distillation for Low-Resource Open-source Text-to-SQL Model
von: Qiu, Tianhao, et al.
Veröffentlicht: (2026)

Observations on LLMs for Telecom Domain: Capabilities and Limitations
von: Soman, Sumit, et al.
Veröffentlicht: (2023)

Optimal matching for sharing and linearity analysis
von: Amato, Gianluca, et al.
Veröffentlicht: (2024)

Know Your Users! Estimating User Domain Knowledge in Conversational Recommenders
von: Kostric, Ivica, et al.
Veröffentlicht: (2025)

Litrepl: Literate Paper Processor Promoting Transparency More Than Reproducibility
von: Mironov, Sergei
Veröffentlicht: (2025)

Boundaries in Hypernetwork Theory: Structure and Scope
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

Combining Mechanical and Agentic Specification Inference for Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Understanding User Preferences for Interaction Styles in Conversational Recommender Systems: The Predictive Role of System Qualities, User Experience, and Traits
von: Mahmud, Raj, et al.
Veröffentlicht: (2025)