Mathematics Mechanization and Applications
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Elsevier

9780127347608

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Solving the Yang-Baxter equation by Wu's method

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50005-3 ◽

2000 ◽

pp. 95-121 ◽

Cited By ~ 1

Author(s):

Wang Shi-kun ◽

Wu Ke

Keyword(s):

Baxter Equation ◽

Wu’S Method ◽

Wu's Method

Download Full-text

Index

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50023-5 ◽

2000 ◽

pp. 541-551 ◽

Cited By ~ 1

Download Full-text

Centers, foci, and limit cycles for polynomial differential systems

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50016-8 ◽

2000 ◽

pp. 365-387

Author(s):

Lu Zhengyi ◽

Ma Shilong

Keyword(s):

Limit Cycles ◽

Differential Systems ◽

Polynomial Differential Systems

Download Full-text

Some algorithms for zero decomposition of polynomial systems

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50003-x ◽

2000 ◽

pp. 43-73 ◽

Cited By ~ 1

Author(s):

Wang Dongming

Keyword(s):

Polynomial Systems

Download Full-text

Preface

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50000-4 ◽

2000 ◽

pp. xi-xv

Author(s):

Xiao-Shan Gao ◽

Dongming Wang

Download Full-text

References

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50022-3 ◽

2000 ◽

pp. 507-539

Download Full-text

Search methods revisited

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50011-9 ◽

2000 ◽

pp. 253-271 ◽

Cited By ~ 3

Author(s):

Gao Xiao-Shan

Keyword(s):

Search Methods

Download Full-text

Geometric theorem provers and algebraic equation solvers

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50021-1 ◽

2000 ◽

pp. 491-505 ◽

Cited By ~ 3

Author(s):

Shang-Ching Chou ◽

Gao Xiao-Shan ◽

Liu Zhuo-Jun ◽

Wang Ding-Kang ◽

Wang Dongming

Keyword(s):

Algebraic Equation ◽

Geometric Theorem ◽

Theorem Provers

Download Full-text

Conversion between implicit and parametric representations of algebraic varieties

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50015-6 ◽

2000 ◽

pp. 343-362 ◽

Cited By ~ 1

Author(s):

Gao Xiao-Shan

Keyword(s):

Algebraic Varieties

Download Full-text

Proving by examples

Mathematics Mechanization and Applications ◽

10.1016/b978-012734760-8/50010-7 ◽

2000 ◽

pp. 231-251

Author(s):

Hou Xiaorong

Download Full-text