×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
christoph-lange documents
Technology
Semantic Web Technology: The Key to Making Scientific Information Systems Social
Technology
Easily Editing and Browsing Complex OpenMath Markup with SWiM
Technology
Arguing on Issues with Mathematical Knowledge Items in a Semantic Wiki
Technology
Improving mathematical knowledge items by acting on issue-based community feedback
Technology
Flyspeck in a Semantic Wiki – Collaborating on a Large Scale Formalization of the Kepler Conjecture
Technology
A Mathematical Approach to Ontology Authoring and Documentation
Technology
Linked Open (Geo)Data and the Distributed Ontology Language – a perfect match
Technology
A Mathematical Approach to Ontology Authoring and Documentation
Technology
Editing OpenMath Content Dictionaries with SWiM
Technology
wiki.openmath.org – how it works, how you can participate
Technology
Processing and Publishing Content Math with JOMDoc and JOBAD
Technology
Towards a Semantic Wiki for Science
Technology
Web Collaboration on Semiformal Mathematical Knowledge
Technology
A Mathematical Approach to Ontology Authoring and Documentation
Technology
Semantic Wikis for Mathematics – a State-of-the-Art Survey
Technology
The Distributed Ontology Language (DOL): Use Cases, Syntax, and Extensibility
Technology
Ontology Integration and Interoperability (OntoIOp) – Part 1: The Distributed Ontology Language (DOL)
Technology
Enabling Collaboration on Semiformal Mathematical Knowledge by Semantic Web Integration
Education
Linking Big Data to Rich Process Descriptions
Education
sTeX+ – a System for Flexible Formalization of Linked Data
Education
Mathematik lernen in einem Semantischen Wiki
< Prev
Next >