Trong bài báo này chúng tôi giới thiệu những kết quảnghiên cứu bước đầu trong dựán Mathis. Đây là dựán hợp tác nghiên cứu giữa Nhóm nghiên cứu KEWI của Đại học Nice – Sophia Antipolis và Trung tâm DATIC của Trường Đại học Bách khoa – Đại học Đà Nẵng. Mục tiêu chính của dựán là nhằm biểu diễn, quản lý và tìm kiếm các công thức toán học trên môi trường web. Nội dung của dựán bao gồm việc nghiên cứu đềxuất các mô hình phù hợp, phát triển các bộcông cụ đểsoạn thảo công thức, soạn thảo chú thích và tìm kiếm các công thức toán học trên các tài liệu khoa học, đặc biệt là trên môi trường web. Chúng tôi đã đềxuất mô hình tổng quát cho hệthống Mathis. Hệthống này hoạt động dựa trên nền tảng các ứng dụng được hỗtrợbởi tổchức W3S và các ứng dụng phát triển trong dựán gồm bộquản lý các chú thích, kho dữliệu các văn bản khoa học và một bộtìm kiếm (Search Engine).