OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]

Kohlhase, Michael

doi:10.1007/11826095

Cited by 142 publications

(100 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Early concept discussions and visions [Hil05a,ERH05,HMS03,Hil05b] have not led to a realization in terms of an encoding, since the problem was attacked from the ground up. In this paper we will build the bridge from vision to a usable markup language by extending the OMDoc (Open Mathematical Documents) format [Koh06b] by an infrastructure for (physical) systems, observables and experiments and call this new module and the extended system PhysML (Physics Markup Language). Since we can now share all the infrastructure -in particular the theory and statement levels -with mathematics, the language design for PhysML becomes feasible.…”

Section: Scientific Methods Thementioning

confidence: 99%

See 1 more Smart Citation

Capturing the Content of Physics: Systems, Observables, and Experiments

Hilf

Kohlhase

Stamerjohanns

2006

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. We present a content markup language for physics realized by extending the OMDoc format by an infrastructure for the principal concepts of physics: observables, physical systems, and experiments. The formalization of the description of physics observables follows the structural essence of the operational theory of physics measurements. The representational infrastructure for systems and experiments allow to capture the distinctive practice of physics: natural laws are supported by evidence from experiments which are described, disseminated and reproduced by others.

show abstract

Section: Scientific Methods Thementioning

confidence: 99%

“…The OMDoc format [Koh06b] extends them with content markup for statements (like definitions, axioms, theorems, and proofs) and theories (conceived as principal objects on a higher level).…”

Section: Desiderata For a Physics Markup Languagementioning

confidence: 99%

Capturing the Content of Physics: Systems, Observables, and Experiments

Hilf

Kohlhase

Stamerjohanns

2006

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Các ngôn ngữ đánh dấu toán học phổ biến nhất hiện nay là TeX/LaTeX [8], MathML [13], OMDoc [10] và OpenMath [11]. Trong đó, TeX/LaTeX có cú pháp gần gũi với ngôn ngữ tự nhiên, trong khi MathML, OpenMath và OMDoc lại tối ưu hóa cho việc giao tiếp giữa các máy tính với nhau.…”

Section: đặC Tả Công Thức Toán Trên Tài Liệuunclassified

Vnmathsearch - Hệ Thống Tìm Kiếm Các Tài Liệu Toán Học Bằng Tiếng Việt

Tuấn¹,

Hùng²,

Hà³

et al. 2016

Fair - Nghiên Cứu Cơ Bản Và Ứng Dụng Công Nghệ Thông Tin 2015

View full text Add to dashboard Cite

Từ khóa -tìm kiếm, chỉ mục, xếp hạng, toán học. I. GIỚI THIỆUCùng với sự phổ biến và phát triển nhanh chóng của CNTT và mạng Internet, thông tin được chia sẻ và nhu cầu tìm kiếm trên mạng Internet ngày càng phong phú đa dạng hơn. Cũng như các lĩnh vực khác, ngày càng có nhiều người chia sẻ các tài liệu toán học và tìm kiếm thông tin để giải quyết các vấn đề thông qua mạng Internet. Tuy nhiên, một vấn đề đặt ra là làm sao có thể tìm kiếm được các nội dung toán học cần thiết trong một kho tài liệu khổng lồ trên mạng Internet. Các máy tìm kiếm phổ biến hiện nay như Google Search, Yahoo Search, Live Search của Microsofts chưa cho phép cung cấp và nhận diện được các công thức theo cách tự nhiên, do đó việc tìm kiếm thường không trả về kết quả khớp với yêu cầu người dùng. Chính vì vậy cần có một bộ máy tìm kiếm công thức toán học chuyên dụng cho phép tìm kiếm các công thức toán học trên các tài liệu và Website được chia sẻ trên mạng Internet [5][6].Hiện nay trên thế giới đã phát triển một số công cụ tìm kiếm công thức toán học cho phép tìm theo nội dung hiển thị của công thức hoặc theo ngữ nghĩa của nó tuy nhiên phạm vi ứng dụng của các công cụ này còn bó hẹp, chẳng hạn như EgoMath cho phép tìm kiếm công thức toán học trên Wikipedia.org, Website LatexSearch có hỗ trợ tìm kiếm các công thức toán học được soạn thảo bằng ngôn ngữ đánh dấu LaTeX, đây là bản quyền của MPS Technologies (Mathematical Programming System), nhưng những kết quả tìm thấy chỉ giới hạn trên những tài liệu điện tử lưu trữ trên máy chủ SpringerLink,... [3] Đặc biệt, hiện nay chưa có hệ thống nào tìm kiếm chuyên dụng cho các tài liệu toán học dành cho tiếng Việt. Vì vậy, việc nghiên cứu phát triển một công cụ tìm kiếm dựa trên các công thức toán học là cần thiết và có ý nghĩa thực tiễn cao [1].Trong bài báo này, chúng tôi giới thiệu kết quả nghiên cứu và triển khai thử nghiệm của chúng tôi trên hệ thống VNMathSearch. Hệ thống này nhằm hỗ trợ tìm kiếm các tài liệu toán học (có thể tìm kiếm trực tiếp qua các công thức hoặc các từ khóa tiếng Việt) nhằm thúc đẩy việc học tập, nghiên cứu và ứng dụng khoa học tư nhiên tại Việt Nam. Bài báo được tổ chức thành 4 phần chính. Phần 2 trình bày kết quả nghiên cứu tổng quan về các văn bản toán học, phương thức biểu diễn công thức toán học trong tài liệu và Website và một số kết quả nghiên cứu liên quan. Phần tiếp theo mô tả ứng dụng, xây dựng mô hình tổng quát và giới thiệu giải pháp lưu trữ công thức toán học trên văn bản, giải pháp tạo chỉ mục cho các tài liệu toán học và giải pháp tìm kiếm công thức toán học cũng như tích hợp công cụ hỗ trợ người dùng trong quá trình tìm kiếm. Phần cuối trình bày việc triển khai xây dựng công cụ tìm kiếm công thức toán học trên văn bản và thử nghiệm đánh giá những kết quả đã đạt được. II. MỘT SỐ NGHIÊN CỨU LIÊN QUAN Đặc tả công thức toán trên tài liệuCông thức toán học trên tài liệu có thể được đặc tả bằng nhiều ngôn ngữ khác nhau được gọi là ngôn ngữ đánh dấu toán học. Các ngôn ngữ đánh dấu toán học phổ biến nhất hiện nay là TeX/LaTeX [8], MathML [13], OMDoc [10] và OpenMath...

show abstract

“…Its learning content (definitions, examples, exercises, etc. ), are semantically encoded in an extended OMDoc [8]. This semantic representation is a basis for the interoperability of various web-services in the diagnosis process.…”

Section: Preliminaries About Activemathmentioning

confidence: 99%

Supporting Flexible Competency Frameworks

Melis

Faulhaber

Doost

et al. 2010

Advances in Web-Based Learning – ICWL 2010

View full text Add to dashboard Cite

Abstract. Since Bloom's initial work on competencies in 1956, various competency systems have been designed and used to assess students' competencies. Different pedagogical researchers and stakeholders prefer different systems. We have been collaborating with them. Such systems are essential for the adaptation by adaptive intelligent tutoring systems. Now, this paper presents how ActiveMath integrates several competency systems to bridge the gap between different competency systems and thereby facilitating the reuse of learning objects across system boundaries. The combination of competency-related data is achieved by mapping a new competency system to the internal one.Keywords: Competency System, Student Model, Course Generation The Need for Flexible Support of CompetenciesIn our long-term experience with metadata in eLearning and Intelligent Tutoring with ActiveMath [11], required competencies and difficulties of exercises turned out to be important not only for technical reasons but also in the interdisciplinary work with pedagogists.Pedagogists (and psychologists) have been looking for and using a classification system at least since 1956 [3]. The psychology-driven approaches in [5,1] and [2] are examples for later approaches most of which are empirically driven.The large PISA-studies needed a common classification for students' skills or competencies in order to compare student results across schools, regions, and countries. It seems that, similar to Bloom's taxonomy, teachers (and hence authors) could understand and apply the PISA competencies and even levels. 4 This seems to be more difficult for the more complex taxonomy in [2].Systems for Technology-Enhanced Learning (TEL) need a classification of competencies to automatically react to student actions at the micro-level (e.g. with feedback) and at the macro-level (e.g. with learning objects' (LOs) sequencing), and to build a student model by processing these reactions. Such a classification needs to be reusable, as reproducible as possible, and coherent in order to enable reuse of LOs. In concrete domains it should reflect an optimal granularity to support instructional effectiveness [16] and it should be based on a cognitive task analysis.

show abstract

OMDoc – An Open Markup Format for Mathematical Documents [version 1.2]

Cited by 142 publications

References 23 publications

Capturing the Content of Physics: Systems, Observables, and Experiments

Capturing the Content of Physics: Systems, Observables, and Experiments

Vnmathsearch - Hệ Thống Tìm Kiếm Các Tài Liệu Toán Học Bằng Tiếng Việt

Supporting Flexible Competency Frameworks

Contact Info

Product

Resources

About