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

2000 ◽  
pp. 95-121 ◽  
Author(s):  
Wang Shi-kun ◽  
Wu Ke
Keyword(s):  
Baxter Equation ◽  
Wu’S Method ◽  
Wu's Method

Index

2000 ◽  
pp. 541-551 ◽  

Some algorithms for zero decomposition of polynomial systems

2000 ◽  
pp. 43-73 ◽  
Author(s):  
Wang Dongming
Keyword(s):  
Polynomial Systems

Preface

2000 ◽  
pp. xi-xv
Author(s):  
Xiao-Shan Gao ◽  
Dongming Wang

References

2000 ◽  
pp. 507-539

scholarly journals Search methods revisited

2000 ◽  
pp. 253-271 ◽  
Author(s):  
Gao Xiao-Shan
Keyword(s):  
Search Methods

Geometric theorem provers and algebraic equation solvers

2000 ◽  
pp. 491-505 ◽  
Author(s):  
Shang-Ching Chou ◽  
Gao Xiao-Shan ◽  
Liu Zhuo-Jun ◽  
Wang Ding-Kang ◽  
Wang Dongming
Keyword(s):  
Algebraic Equation ◽  
Geometric Theorem ◽  
Theorem Provers

Proving by examples

2000 ◽  
pp. 231-251
Author(s):  
Hou Xiaorong
Load More ...
Sign in / Sign up

Export Citation Format

Share Document