Supercharge Your Innovation With Domain-Expert AI Agents!

Scientific formula correctness checking method and device

A testing method and correctness technology, applied in instruments, electrical digital data processing, word processing, etc., can solve problems such as different data formats of scientific formulas

Pending Publication Date: 2020-04-21
小船出海教育科技(北京)有限公司
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

Due to different application scenarios, the data formats of scientific formulas entered are different, and different data formats are not 100% compatible with each other, and some foreign input software requires special intervention when running

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Scientific formula correctness checking method and device
  • Scientific formula correctness checking method and device
  • Scientific formula correctness checking method and device

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0119] Example 1: Online Formula Editor

[0120] When the content of publications or teaching plans is produced and reviewed on the Web side, the format of scientific formulas is MathML format or SVG format. According to user habits, Office Word software will be used for text editing. Under the Windows platform, scientific formula data in OMML format and MathType format are more compatible with Office software. In the printing scenario, most users use the Tex system for typesetting and printing; at the same time, in order to edit and republish old books, it is also necessary to convert the scientific data in Latex format under the Tex system to OMML, MathType format for processing, or convert to MathML or SVG format for display.

[0121] When users use the visual interface to edit scientific formulas on the Web side, the generated scientific formula data format is in MathML format, and the edited scientific formulas can also be rendered in SVG format for display. When the us...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention provides a scientific formula correctness checking method and device, and the method comprises the steps: obtaining and recognizing a scientific formula, and converting an initial data format of the scientific formula into a target data format; and judging whether the scientific formula is input and audited or not, and if the current formula is not input and audited, checking whetherthe content expressed by the initial data format is consistent with the content expressed by the target data format or not. According to the method, MathML format data is used as a core; the problemthat errors are prone to occurring in the cross-platform conversion process of current scientific formula data among Windows, Linux and Mac OS operating systems is solved through a markup structure ofMathML. Meanwhile, the scientific formula data subjected to error correction in the error correction module can be stored, and the input and proofread scientific formula materials can be repeatedly used.

Description

technical field [0001] The invention relates to the field of editing and publishing electronic documents, in particular to a method and device for checking the correctness of scientific formulas. Background technique [0002] In the field of publications, especially in the field of textbook publishing, the materials of various scientific formulas are indispensable. With the continuous advancement of informatization, the continuous development and evolution of electronic publishing and teaching tools has led to an increasing number of software and document formats for entering scientific formulas. In the current publishing industry, in the editing of scientific formulas, the software used mainly includes Word, MathType, etc.; in the printing process, Tex software is the main software. Due to different application scenarios, the data formats of scientific formulas entered are different, and different data formats are not 100% compatible with each other, and some foreign input...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F40/154G06F40/14
Inventor 张翔
Owner 小船出海教育科技(北京)有限公司
Features
  • R&D
  • Intellectual Property
  • Life Sciences
  • Materials
  • Tech Scout
Why Patsnap Eureka
  • Unparalleled Data Quality
  • Higher Quality Content
  • 60% Fewer Hallucinations
Social media
Patsnap Eureka Blog
Learn More

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2025 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com