Work

Geometry theorem proving by decomposing polynomial system into strong regular sets

Year: 2004

Type: article

Source: Journal of Computer Science and Technology

DOI: 10.1007/bf02973445

Authors: Yong-Bin Li, Wu Liu, Xiao-Lin Xiang

Institutions: Sichuan University, Sichuan Normal University, Sichuan Agricultural University

Language: English

Topic: Polynomial and algebraic computation

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1969366167

FWCI:

Cites: 14

Cited by:

Related to: 10