On the public citation graph
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]
0 signed · 204 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1006/jsco.2000.0468openalex-snapshot
MBase: Representing Knowledge and Context for the Integration of Mathematical Software Systems
inferredcites →https://doi.org/10.1007/11826095_10openalex-snapshot
Courseware and the Narrative/Content Distinction
inferredcites →https://doi.org/10.1007/3-540-45314-8_20openalex-snapshot
Extending Development Graphs with Hiding
inferredcites →https://doi.org/10.1007/3-540-45545-0_109openalex-snapshot
Argumentation in Explanations to Logical Problems
inferredcites →https://doi.org/10.1007/3-540-48660-7_17openalex-snapshot
System Description: MathWeb, an Agent-Based Communication Layer for Distributed Automated Theorem Proving
inferredcites →https://doi.org/10.1007/3-540-55602-8_217openalex-snapshot
PVS: A prototype verification system
inferredcites →https://doi.org/10.1007/3-540-58233-9_6openalex-snapshot
Theory interpretation in simple type theory
inferredcites →https://doi.org/10.1007/3-540-61511-3_83openalex-snapshot
Presenting machine-found proofs
inferredcites →https://doi.org/10.1007/bf00252180openalex-snapshot
TPS: A theorem-proving system for classical type theory
inferredcites →https://doi.org/10.1007/bf00881906openalex-snapshot
IMPS: An interactive mathematical proof system
inferredcites →https://doi.org/10.1007/bf01201353openalex-snapshot
Untersuchungen �ber das logische Schlie�en. I
inferredcites →https://doi.org/10.1007/bfb0054254openalex-snapshot
System description: Proof planning in higher-order logic with λClam
inferredcites →https://doi.org/10.1017/cbo9780511569807.008openalex-snapshot
Logic programming in the LF logical framework
inferredcites →https://doi.org/10.1109/ase.2000.873647openalex-snapshot
Management of change in structured verification
inferredcites →https://doi.org/10.17487/rfc2396openalex-snapshot
Uniform Resource Identifiers (URI): Generic Syntax
inferredcites →https://doi.org/10.3217/jucs-005-03-0156openalex-snapshot
Agent-Oriented Integration of Distributed Mathematical Services
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11618027_2openalex-snapshot
An Exploration in the Space of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/11618027_3openalex-snapshot
Authoring Presentation for openmath
inferred← citeshttps://doi.org/10.1007/11811220_53openalex-snapshot
NKIMathE – A Multi-purpose Knowledge Management Environment for Mathematical Concepts
inferred← citeshttps://doi.org/10.1007/11812289_14openalex-snapshot
Capturing the Content of Physics: Systems, Observables, and Experiments
inferred← citeshttps://doi.org/10.1007/11812289_15openalex-snapshot
Communities of Practice in MKM: An Extensional Model
inferred← citeshttps://doi.org/10.1007/11812289_17openalex-snapshot
Managing Informal Mathematical Knowledge: Techniques from Informal Logic
inferred← citeshttps://doi.org/10.1007/11812289_7openalex-snapshot
A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus
inferred← citeshttps://doi.org/10.1007/11832225_34openalex-snapshot
Logiweb – A System for Web Publication of Mathematics
inferred← citeshttps://doi.org/10.1007/11856290_21openalex-snapshot
A Search Engine for Mathematical Formulae
inferred← citeshttps://doi.org/10.1007/3-540-45719-4_1openalex-snapshot
From Specifications to Code in Casl
inferred← citeshttps://doi.org/10.1007/978-1-4614-0992-2_5openalex-snapshot
Data-Centric and Multimedia Components
inferred← citeshttps://doi.org/10.1007/978-3-030-53518-6_13openalex-snapshot
Representing Structural Language Features in Formal Meta-languages
inferred← citeshttps://doi.org/10.1007/978-3-030-53518-6_20openalex-snapshot
TGView3D: A System for 3-Dimensional Visualization of Theory Graphs
inferred← citeshttps://doi.org/10.1007/978-3-030-53518-6_9openalex-snapshot
A Survey of Languages for Formalizing Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-030-81097-9_17openalex-snapshot
A New Export of the Mizar Mathematical Library
inferred← citeshttps://doi.org/10.1007/978-3-031-16681-5_12openalex-snapshot
Injecting Formal Mathematics Into LaTeX
inferred← citeshttps://doi.org/10.1007/978-3-031-16681-5_13openalex-snapshot
System Description STEX3 – A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents
inferred← citeshttps://doi.org/10.1007/978-3-031-42753-4_6openalex-snapshot
Learning Support Systems Based on Mathematical Knowledge Management
inferred← citeshttps://doi.org/10.1007/978-3-031-65990-4_14openalex-snapshot
Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplines
inferred← citeshttps://doi.org/10.1007/978-3-031-81974-2_8openalex-snapshot
Towards a Knowledge Graph for Models and Algorithms in Applied Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-032-07021-0_14openalex-snapshot
Global, Regional, and Local Contexts
inferred← citeshttps://doi.org/10.1007/978-3-032-21147-7_25openalex-snapshot
The Flexiformalist Manifesto Made Manifest
inferred← citeshttps://doi.org/10.1007/978-3-319-08434-3_13openalex-snapshot
A Data Model and Encoding for a Semantic, Multilingual Terminology of Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-08434-3_26openalex-snapshot
Towards Knowledge Management for HOL Light
inferred← citeshttps://doi.org/10.1007/978-3-319-08434-3_33openalex-snapshot
System Description: MathHub.info
inferred← citeshttps://doi.org/10.1007/978-3-319-11716-4_9openalex-snapshot
OntoMath PRO Ontology: A Linked Data Hub for Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-20615-8_11openalex-snapshot
Formal Logic Definitions for Interchange Languages
inferred← citeshttps://doi.org/10.1007/978-3-319-20615-8_9openalex-snapshot
A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-31220-0_3openalex-snapshot
The Interchange Format of Tabular Expressions Using XML
inferred← citeshttps://doi.org/10.1007/978-3-319-32667-2_3openalex-snapshot
Wikis and Collaborative Systems for Large Formal Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-42432-3_58openalex-snapshot
The SMGloM Project and System: Towards a Terminology and Ontology for Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-319-42547-4_9openalex-snapshot
Interoperability in the OpenDreamKit Project: The Math-in-the-Middle Approach
inferred← citeshttps://doi.org/10.1007/978-3-319-57135-5_3openalex-snapshot
Digital Ecosystem OntoMath: Mathematical Knowledge Analytics and Management
inferred← citeshttps://doi.org/10.1007/978-3-319-62075-6_16openalex-snapshot
Mathematical Models as Research Data via Flexiformal Theory Graphs
inferred← citeshttps://doi.org/10.1007/978-3-319-66107-0_21openalex-snapshot
Making PVS Accessible to Generic Services by Interpretation in a Universal Format
inferred← citeshttps://doi.org/10.1007/978-3-319-72453-9_14openalex-snapshot
Knowledge-Based Interoperability for Mathematical Software Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-72453-9_17openalex-snapshot
Virtual Theories – A Uniform Interface to Mathematical Knowledge Bases
inferred← citeshttps://doi.org/10.1007/978-3-319-96812-4_12openalex-snapshot
Formalized Mathematical Content in Lecture Notes on Modelling and Analysis
inferred← citeshttps://doi.org/10.1007/978-3-319-96812-4_18openalex-snapshot
Automatically Finding Theory Morphisms for Knowledge Management
inferred← citeshttps://doi.org/10.1007/978-3-319-96812-4_2openalex-snapshot
Translating the IMPS Theory Library to MMT/OMDoc
inferred← citeshttps://doi.org/10.1007/978-3-319-99957-9_14openalex-snapshot
: A Linear Algebra Textbook System
inferred← citeshttps://doi.org/10.1007/978-3-540-27818-4_12openalex-snapshot
Flexible Encoding of Mathematics on the Computer
inferred← citeshttps://doi.org/10.1007/978-3-540-27818-4_13openalex-snapshot
CPoint: Dissolving the Author’s Dilemma
inferred← citeshttps://doi.org/10.1007/978-3-540-27818-4_25openalex-snapshot
Efficient Ambiguous Parsing of Mathematical Formulae
inferred← citeshttps://doi.org/10.1007/978-3-540-27818-4_6openalex-snapshot
Mathematical Service Matching Using Description Logic and OWL
inferred← citeshttps://doi.org/10.1007/978-3-540-31970-2_15openalex-snapshot
Design of Automation Systems for Web Based Courseware Using XML and XSLT
inferred← citeshttps://doi.org/10.1007/978-3-540-68234-9_68openalex-snapshot
SWiM – A Semantic Wiki for Mathematical Knowledge Management
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_15openalex-snapshot
A Framework for Interactive Proof
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_16openalex-snapshot
Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_23openalex-snapshot
Restoring Natural Language as a Computerised Mathematics Input Method
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_24openalex-snapshot
Narrative Structure of Mathematical Texts
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_25openalex-snapshot
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
inferred← citeshttps://doi.org/10.1007/978-3-540-73086-6_28openalex-snapshot
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-540-85110-3_34openalex-snapshot
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
inferred← citeshttps://doi.org/10.1007/978-3-540-85110-3_41openalex-snapshot
Notations for Living Mathematical Documents
inferred← citeshttps://doi.org/10.1007/978-3-540-87781-3_5openalex-snapshot
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts
inferred← citeshttps://doi.org/10.1007/978-3-540-89408-7_17openalex-snapshot
ΩMEGA: Resource-Adaptive Processes in an Automated Reasoning System
inferred← citeshttps://doi.org/10.1007/978-3-642-01112-2_44openalex-snapshot
Communities of Practice and Semantic Web Stimulating Collaboration by Document Markup
inferred← citeshttps://doi.org/10.1007/978-3-642-02247-0_39openalex-snapshot
Just-in-Time Adaptivity through Dynamic Items
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_20openalex-snapshot
Formal Proof: Reconciling Correctness and Understanding
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_23openalex-snapshot
Unifying Math Ontologies: A Tale of Two Standards
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_24openalex-snapshot
Integrating Web Services into Active Mathematical Documents
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_28openalex-snapshot
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_29openalex-snapshot
Compensating the Computational Bias of Spreadsheets with MKM Techniques
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_31openalex-snapshot
A Mathematical Approach to Ontology Authoring and Documentation
inferred← citeshttps://doi.org/10.1007/978-3-642-02614-0_37openalex-snapshot
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02959-2_8openalex-snapshot
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-05089-3_15openalex-snapshot
Formal Management of CAD/CAM Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-13489-0_26openalex-snapshot
Publishing Math Lecture Notes as Linked Data
inferred← citeshttps://doi.org/10.1007/978-3-642-14128-7_28openalex-snapshot
Integrating Multiple Sources to Answer Questions in Algebraic Topology
inferred← citeshttps://doi.org/10.1007/978-3-642-14128-7_29openalex-snapshot
An Integrated Development Environment for Collections
inferred← citeshttps://doi.org/10.1007/978-3-642-14128-7_31openalex-snapshot
Dimensions of Formality: A Case Study for MKM in Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-14128-7_34openalex-snapshot
Notations Around the World: Census and Exploitation
inferred← citeshttps://doi.org/10.1007/978-3-642-14128-7_37openalex-snapshot
Proviola: A Tool for Proof Re-animation
inferred← citeshttps://doi.org/10.1007/978-3-642-16111-7_12openalex-snapshot
Towards User Assistance for Documents via Interactional Semantic Technology
inferred← citeshttps://doi.org/10.1007/978-3-642-17172-7_4openalex-snapshot
Change Management for Heterogeneous Development Graphs
inferred← citeshttps://doi.org/10.1007/978-3-642-17407-0_22openalex-snapshot
Supporting Flexible Competency Frameworks
inferred← citeshttps://doi.org/10.1007/978-3-642-21064-8_37openalex-snapshot
The Planetary System: Executable Science, Technology, Engineering and Math Papers
inferred← citeshttps://doi.org/10.1007/978-3-642-28412-0_9openalex-snapshot
A Proof Theoretic Interpretation of Model Theoretic Hiding
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_10openalex-snapshot
A Query Language for Formal Mathematical Libraries
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_12openalex-snapshot
Point-and-Write – Documenting Formal Mathematics by Reference
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_34openalex-snapshot
The Planetary Project: Towards eMath3.0
inferred← citeshttps://doi.org/10.1007/978-3-642-31374-5_5openalex-snapshot
Extending MKM Formats at the Statement Level
inferred← citeshttps://doi.org/10.1007/978-3-642-36403-7_6openalex-snapshot
Mashups Using Mathematical Knowledge
inferred← citeshttps://doi.org/10.1007/978-3-642-39320-4_10openalex-snapshot
Formal Mathematics on Display: A Wiki for Flyspeck
inferred← citeshttps://doi.org/10.1007/978-3-642-41335-3_24openalex-snapshot
Bringing Math to LOD: A Semantic Publishing Platform Prototype for Scientific Collections in Mathematics
inferred← citeshttps://doi.org/10.1007/978-3-658-03104-6_31openalex-snapshot
Math-Bridge: Closing Gaps in European Remedial Mathematics with Technology-Enhanced Learning
inferred← citeshttps://doi.org/10.1007/978-3-658-40473-4openalex-snapshot
Making Presentation Math Computable
inferred← citeshttps://doi.org/10.1007/s00146-009-0215-4openalex-snapshot
Culturally adapted mathematics education with ActiveMath
inferred← citeshttps://doi.org/10.1007/s00165-008-0069-4openalex-snapshot
The RISC ProofNavigator: a proving assistant for program verification in the classroom
inferred← citeshttps://doi.org/10.1007/s10032-011-0174-4openalex-snapshot
Recognition and retrieval of mathematical expressions
inferred← citeshttps://doi.org/10.1007/s10699-008-9158-3openalex-snapshot
Mathematics and Argumentation
inferred← citeshttps://doi.org/10.1007/s10817-009-9143-8openalex-snapshot
The TPTP Problem Library and Associated Infrastructure
inferred← citeshttps://doi.org/10.1007/s10817-012-9271-4openalex-snapshot
The Mizar Mathematical Library in OMDoc: Translation and Applications
inferred← citeshttps://doi.org/10.1007/s10817-021-09604-0openalex-snapshot
Experiences from Exporting Major Proof Assistant Libraries
inferred← citeshttps://doi.org/10.1007/s11082-018-1321-7openalex-snapshot
Model pathway diagrams for the representation of mathematical models
inferred← citeshttps://doi.org/10.1007/s11192-023-04667-9openalex-snapshot
Discovery and recognition of formula concepts using machine learning
inferred← citeshttps://doi.org/10.1007/s11786-010-0024-7openalex-snapshot
Transforming Large Collections of Scientific Publications to XML
inferred← citeshttps://doi.org/10.1007/s11786-010-0025-6openalex-snapshot
Tactics for Hierarchical Proof
inferred← citeshttps://doi.org/10.1007/s11786-010-0026-5openalex-snapshot
Mathematical Context in Interactive Documents
inferred← citeshttps://doi.org/10.1007/s11786-012-0113-xopenalex-snapshot
Semantics of OpenMath and MathML3
inferred← citeshttps://doi.org/10.1007/s11787-015-0132-xopenalex-snapshot
The Future of Logic: Foundation-Independence
inferred← citeshttps://doi.org/10.1016/j.entcs.2003.12.032openalex-snapshot
MathLang: Experience-driven Development of a New Mathematical Language
inferred← citeshttps://doi.org/10.1016/j.eswa.2008.12.043openalex-snapshot
Pedagogically founded courseware generation based on HTN-planning
inferred← citeshttps://doi.org/10.1016/j.ijhcs.2007.03.008openalex-snapshot
The semantic-document approach to combining documents and ontologies
inferred← citeshttps://doi.org/10.1016/j.jsc.2004.12.004openalex-snapshot
Dealing with algebraic expressions over a field in Coq using Maple
inferred← citeshttps://doi.org/10.1016/j.jsc.2011.01.005openalex-snapshot
fKenzo: A user interface for computations in Algebraic Topology
inferred← citeshttps://doi.org/10.1016/j.knosys.2023.110980openalex-snapshot
Knowledge representation of mathematical optimization problems and constructs for modeling
inferred← citeshttps://doi.org/10.1016/j.procs.2011.04.063openalex-snapshot
The Planetary System: Web 3.0 & Active Documents for STEM
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.03.022openalex-snapshot
Representing model theory in a type-theoretical logical framework
inferred← citeshttps://doi.org/10.1038/s41597-023-02681-3openalex-snapshot
MMLKG: Knowledge Graph for Mathematical Definitions, Statements and Proofs
inferred← citeshttps://doi.org/10.1038/s41598-023-38254-yopenalex-snapshot
Simple algorithm for judging equivalence of differential-algebraic equation systems
inferred← citeshttps://doi.org/10.1080/00219592.2025.2454461openalex-snapshot
VARAT: Variable Annotation Tool for Documents on Manufacturing Processes
inferred← citeshttps://doi.org/10.1080/10580530903017583openalex-snapshot
Context-Aware Adaptation: A Case Study On Mathematical Notations
inferred← citeshttps://doi.org/10.1088/1402-4896/aa7ca8openalex-snapshot
What are the ultimate limits to computational techniques: verifier theory and unverifiability
inferred← citeshttps://doi.org/10.1109/ccece.2010.5575202openalex-snapshot
Specification-based test oracles with JUnit
inferred← citeshttps://doi.org/10.1109/cec.2011.65openalex-snapshot
On Supporting Creative Interaction in Collaborative Systems: A Content Oriented Approach
inferred← citeshttps://doi.org/10.1109/dest.2009.5276728openalex-snapshot
Expanded grammar for detecting equivalence in math expressions
inferred← citeshttps://doi.org/10.1109/icalt.2010.192openalex-snapshot
What You Check is What You Get: Authoring with jEditOQMath
inferred← citeshttps://doi.org/10.1109/icalt.2014.161openalex-snapshot
Semantic Gap Detection in Metadata of Adaptive Learning Environments
inferred← citeshttps://doi.org/10.1109/icscc.2019.8843592openalex-snapshot
Content MathML(CMML) conversion using LATEX Math Grammar (LMG)
inferred← citeshttps://doi.org/10.1109/jproc.2008.921606openalex-snapshot
Semantic Knowledge Management for Education
inferred← citeshttps://doi.org/10.1109/nusod.2017.8010073openalex-snapshot
Mathematical models as research data in numerical simulation of opto-electronic devices
inferred← citeshttps://doi.org/10.1109/rpc.2017.8168063openalex-snapshot
Semantic formula search in digital mathematical libraries
inferred← citeshttps://doi.org/10.1111/jcal.13101openalex-snapshot
Leveraging Large Language Models to Generate Course‐Specific Semantically Annotated Learning Objects
inferred← citeshttps://doi.org/10.1134/s1064562414050275openalex-snapshot
Methods and means for semantic structuring of electronic mathematical documents
inferred← citeshttps://doi.org/10.1134/s1995080214040143openalex-snapshot
Mathematical knowledge representation: semantic models and formalisms
inferred← citeshttps://doi.org/10.1134/s1995080222150136openalex-snapshot
OntoMath$${}^{\mathbf{PRO}}$$ 2.0 Ontology: Updates of Formal Model
inferred← citeshttps://doi.org/10.1134/s1995080226618990openalex-snapshot
Multi-Level Knowledge Graph for Formal Mathematics
inferred← citeshttps://doi.org/10.1142/s0218194013500113openalex-snapshot
USING TEST ORACLES AND FORMAL SPECIFICATIONS WITH TEST-DRIVEN DEVELOPMENT
inferred← citeshttps://doi.org/10.1145/1321211.1321238openalex-snapshot
An IDE for software development using tabular expressions
inferred← citeshttps://doi.org/10.1145/1621995.1622021openalex-snapshot
Modeling task experience in user assistance systems
inferred← citeshttps://doi.org/10.1145/1988688.1988713openalex-snapshot
Logical structure analysis of scientific publications in mathematics
inferred← citeshttps://doi.org/10.1145/2038476.2038512openalex-snapshot
Towards a flexible notion of document context
inferred← citeshttps://doi.org/10.1145/2390148.2390158openalex-snapshot
Annotating scientific papers for mathematical formula search
inferred← citeshttps://doi.org/10.1177/0895904814550077openalex-snapshot
Negotiating Subject Hierarchies
inferred← citeshttps://doi.org/10.13140/rg.2.1.3448.2646openalex-snapshot
Test-Driven Development with Oracles and Formal Specifications
inferred← citeshttps://doi.org/10.1504/ijcse.2006.014766openalex-snapshot
Automation systems for generating web-based mathematical learning and presentation materials
inferred← citeshttps://doi.org/10.1515/auto-2026-0034openalex-snapshot
Sprachmodell-unterstützte formale Wissensrepräsentation für die Aufbereitung Regelungstechnischer Inhalte mit Interaktiver Semantischer Ebene
inferred← citeshttps://doi.org/10.1515/dmvm-2004-0040openalex-snapshot
eLearning, eTeaching- und eResearch-Technologien. Chancen und Potentiale für die Mathematik
inferred← citeshttps://doi.org/10.22028/d291-25910openalex-snapshot
Course generation as a hierarchical task network planning problem
inferred← citeshttps://doi.org/10.22028/d291-32289openalex-snapshot
Students' language in computer-assisted tutoring of mathematical proofs
inferred← citeshttps://doi.org/10.22456/1679-1916.13906openalex-snapshot
Implementando o Agente de Base de Domínio do Sistema Tutor Inteligente PAT2Math
inferred← citeshttps://doi.org/10.3103/s000510551402006xopenalex-snapshot
Methods for analyzing semantic data of electronic collections in mathematics
inferred← citeshttps://doi.org/10.3103/s0147688213060063openalex-snapshot
Mathematical text collections: Annotation and application for search tasks
inferred← citeshttps://doi.org/10.3233/aic-130584openalex-snapshot
European collaboration on automated reasoning
inferred← citeshttps://doi.org/10.3233/aise190048openalex-snapshot
Developing “Smart” Tutorial Tools to Assist Students Learn Calculus, Taking Account of Their Changing Preferred Approaches to Learning
inferred← citeshttps://doi.org/10.3233/sw-2012-0059openalex-snapshot
Ontologies and languages for representing mathematical knowledge on the Semantic Web
inferred← citeshttps://doi.org/10.3390/app11219825openalex-snapshot
Model and Knowledge Representation for the Reuse of Design Process Knowledge Supporting Design Automation in Mass Customization
inferred← citeshttps://doi.org/10.3390/modelling6030053openalex-snapshot
Enhancing Mathematical Knowledge Graphs with Large Language Models
inferred← citeshttps://doi.org/10.4204/eptcs.262.7openalex-snapshot
Alignment-based Translations Across Formal Systems Using Interface Theories
inferred← citeshttps://doi.org/10.47397/tb/43-2/tb134mueller-stex3openalex-snapshot
A LaTeX-based ecosystem for semantic/active mathematical documents
inferred← citeshttps://doi.org/10.48550/arxiv.0903.0786openalex-snapshot
On Requirements for Programming Exercises from an E-learning Perspective
inferred← citeshttps://doi.org/10.48550/arxiv.1004.3390openalex-snapshot
Publishing Math Lecture Notes as Linked Data
inferred← citeshttps://doi.org/10.48550/arxiv.1005.5489openalex-snapshot
sTeXIDE: An Integrated Development Environment for sTeX Collections
inferred← citeshttps://doi.org/10.48550/arxiv.1006.4474openalex-snapshot
sTeX+ - a System for Flexible Formalization of Linked Data
inferred← citeshttps://doi.org/10.48550/arxiv.1010.5935openalex-snapshot
Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX)
inferred← citeshttps://doi.org/10.48550/arxiv.1206.5048openalex-snapshot
The Planetary Project: Towards eMath3.0
inferred← citeshttps://doi.org/10.48550/arxiv.1212.1986openalex-snapshot
WorkingWiki: a MediaWiki-based platform for collaborative research
inferred← citeshttps://doi.org/10.48550/arxiv.1305.5710openalex-snapshot
Formal Mathematics on Display: A Wiki for Flyspeck
inferred← citeshttps://doi.org/10.48550/arxiv.1401.7584openalex-snapshot
XLSearch: A Search Engine for Spreadsheets
inferred← citeshttps://doi.org/10.48550/arxiv.1407.4833openalex-snapshot
$OntoMath^{PRO}$ Ontology: A Linked Data Hub for Mathematics
inferred← citeshttps://doi.org/10.48550/arxiv.1408.6806openalex-snapshot
Mathematical Knowledge Representation: Semantic Models and Formalisms
inferred← citeshttps://doi.org/10.48550/arxiv.1609.00331openalex-snapshot
Verifier Theory and Unverifiability
inferred← citeshttps://doi.org/10.48550/arxiv.1905.07076openalex-snapshot
TGView3D System Description: 3-Dimensional Visualization of Theory Graphs
inferred← citeshttps://doi.org/10.48550/arxiv.2011.06300openalex-snapshot
A Knowledge Representation Approach to Automated Mathematical Modelling
inferred← citeshttps://doi.org/10.48550/arxiv.2101.11716openalex-snapshot
Disambiguating Symbolic Expressions in Informal Documents
inferred← citeshttps://doi.org/10.5555/1894483.1894514openalex-snapshot
Integrating multiple sources to answer questions in algebraic topology
inferred← citeshttps://doi.org/10.5555/1894483.1894515openalex-snapshot
STEXIDE: an integrated development environment for STEX collections
inferred← citeshttps://doi.org/10.5555/1894483.1894517openalex-snapshot
Dimensions of formality: a case study for MKM in software engineering
inferred← citeshttps://doi.org/10.5555/1894483.1894520openalex-snapshot
Notations around the world: census and exploitation
inferred← citeshttps://doi.org/10.6092/issn.1972-5787/1710openalex-snapshot
Automated Reasoning in Higher-Order Logic using the TPTP THF Infrastructure
inferred← citeshttps://doi.org/10.6092/issn.1972-5787/4570openalex-snapshot
QED Reloaded: Towards a Pluralistic Formal Library of Mathematical Knowledge
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.