CDM: Teaching discrete mathematics to computer science majors
Journal on Educational Resources in Computing (JERIC)
Proof general in Eclipse: system and architecture overview
eclipse '06 Proceedings of the 2006 OOPSLA workshop on eclipse technology eXchange
An IDE for software development using tabular expressions
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Automation systems for generating web-based mathematical learning and presentation materials
International Journal of Computational Science and Engineering
A Framework for Interactive Proof
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Restoring Natural Language as a Computerised Mathematics Input Method
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Narrative Structure of Mathematical Texts
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Reexamining the MKM Value Proposition: From Math Web Search to Math Web ReSearch
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Extended Formula Normalization for ε-Retrieval and Sharing of Mathematical Knowledge
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Notations for Living Mathematical Documents
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Towards a Community of Practice Toolkit Based on Semantically Marked Up Artifacts
WSKS '08 Proceedings of the 1st world summit on The Knowledge Society: Emerging Technologies and Information Systems for the Knowledge Society
Formal Proof: Reconciling Correctness and Understanding
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Unifying Math Ontologies: A Tale of Two Standards
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Integrating Web Services into Active Mathematical Documents
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Compensating the Computational Bias of Spreadsheets with MKM Techniques
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
A Mathematical Approach to Ontology Authoring and Documentation
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Just-in-Time Adaptivity through Dynamic Items
UMAP '09 Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
CADE-22 Proceedings of the 22nd International Conference on Automated Deduction
Modeling task experience in user assistance systems
Proceedings of the 27th ACM international conference on Design of communication
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Formal Management of CAD/CAM Processes
FM '09 Proceedings of the 2nd World Congress on Formal Methods
SWiM - a semantic wiki for mathematical knowledge management
ESWC'08 Proceedings of the 5th European semantic web conference on The semantic web: research and applications
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
STEX+: a system for flexible formalization of linked data
Proceedings of the 6th International Conference on Semantic Systems
Towards user assistance for documents via interactional semantic technology
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Integrating multiple sources to answer questions in algebraic topology
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
STEXIDE: an integrated development environment for STEX collections
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Dimensions of formality: a case study for MKM in software engineering
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Notations around the world: census and exploitation
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Proviola: a tool for proof re-animation
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
Change management for heterogeneous development graphs
Verification, induction termination analysis
Change management for heterogeneous development graphs
Verification, induction termination analysis
Logical structure analysis of scientific publications in mathematics
Proceedings of the International Conference on Web Intelligence, Mining and Semantics
The planetary system: executable science, technology, engineering and math papers
ESWC'11 Proceedings of the 8th extended semantic web conference on The semanic web: research and applications - Volume Part II
Towards a flexible notion of document context
Proceedings of the 29th ACM international conference on Design of communication
A formal correspondence between OMDoc with alternative proofs and the λµµ-calculus
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Capturing the content of physics: systems, observables, and experiments
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Communities of practice in MKM: an extensional model
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
An exploration in the space of mathematical knowledge
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Explanation in natural language of λμμ-Terms
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Management of geometric knowledge in textbooks
Data & Knowledge Engineering
Publishing math lecture notes as linked data
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part II
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
A proof theoretic interpretation of model theoretic hiding
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Extending MKM formats at the statement level
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
A query language for formal mathematical libraries
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Point-and-write: documenting formal mathematics by reference
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
The planetary project: towards emath3.0
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
The Mizar Mathematical Library in OMDoc: Translation and Applications
Journal of Automated Reasoning
Information and Computation
European collaboration on automated reasoning
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |