OpenMath Technology for Interactive Mathematical Documents

Caprotti, Olga; Cohen, Arjeh M.; Cuypers, Fgmt Hans; Sterk, Hjm Hans

doi:10.1007/978-3-642-56240-2_4

Cited by 5 publications

(7 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…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

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

show abstract

“…Terms are serialized to strings: each exercise class has a parser and a pretty-printer. To make interoperating with a tutoring system as simple as possible, we also support the OpenMath standard [12,11] for representing mathematical objects in XML.…”

Section: More Components Of Exercise Classesmentioning

confidence: 99%

Feedback services for stepwise exercises

Heeren

Jeuring

2014

Science of Computer Programming

View full text Add to dashboard Cite

Advanced learning environments such as intelligent tutoring systems for algebra, logic, programming, physics, etc. let a student practice with stepwise exercises, and support a student solving such exercises by providing feedback. These environments usually provide various types of feedback, for example about the correctness of a step, common errors, hints about how to proceed, or complete worked-out solutions. Calculating feedback is generally delegated to a dedicated expert knowledge module, also known as a domain reasoner. Existing architectural descriptions of learning environments do not precisely specify the interaction between this module and the rest of the learning system. We propose a design based on the stateless client-server architecture that clearly decouples the expert knowledge module from the learning environment. We describe a set of feedback services that support the inner (interactions within an exercise) and outer (over a collection of exercises) loops of a learning system, and that provide meta-information about a class of exercises, such as solving quadratic equations, or performing Gaussian elimination. The feedback services do not depend on a particular domain and are based on the various feedback types described in the literature.The paper analyzes which domain-specific knowledge about an exercise class is needed for implementing the feedback services. Based on this analysis, we developed a framework for implementing domain reasoners that offers generic functionality such as rewriting, simplifying, and comparing terms. We have implemented several domain reasoners in this framework, both for external learning environments and for simple prototypes. The proposed design is evaluated with these implementations, and we reflect on our experience with developing domain reasoners.

show abstract

“…The standard documents and the collection of public Content Dictionaries for OpenMath are available from [23]. For a further introduction to OpenMath, see [11]. There it is also explained how OpenMath and MathML complement each other in that OpenMath objects express mathematical content whereas MathML mainly focus on presentation.…”

Section: Openmathmentioning

confidence: 99%

“…By interaction of the user interface with the user, this context can be further specialized to, say, the field GF(11) of order eleven. In the presentation of an example of a polynomial ring, the user interface will take care of choosing a polynomial ring over GF (11).…”

Section: The Mathematical Document Servermentioning

confidence: 99%

See 1 more Smart Citation

Interactive Mathematical Documents on the Web

Cohen

Cuypers

Barreiro

et al. 2003

Algebra, Geometry and Software Systems

Self Cite

View full text Add to dashboard Cite

This paper deals with our work on interactive mathematical documents that make use of the World Wide Web. The work is concerned with a computer environment that is able to invoke various specialized mathematical software systems.We are concerned with interactive mathemtical documents taking input from various sources, users and mathematical services. Communication between these three different entities has been realized using OpenMath. But, such communication and the interactivity inside the mathematical document take place in a specific, but dynamic context or state. In this paper we present a solution on how to keep track of this dynamical state and describe our implementation of this.

show abstract

OpenMath Technology for Interactive Mathematical Documents

Cited by 5 publications

References 7 publications

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

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

Feedback services for stepwise exercises

Interactive Mathematical Documents on the Web

Contact Info

Product

Resources

About