Výsledky vyhledávání

Elektronická kniha

Autor: Wen-tsun Wu

This important book presents all the major works of Professor Wen-Tsun Wu, a widely respected Chinese mathematician who has made great contributions in the fields of topology and computer mathematics throughout his research career.The book covers Wu'

Zobrazit plný text záznamu

Akademický článek

On the Product of Sphere Bundles and the Duality Theorem Modulo Two

Autor: Wen-Tsun, Wu

Publikováno v: Annals of Mathematics, 1948 Jul 01. 49(3), 641-653.

Externí odkaz: https://www.jstor.org/stable/1969049

Zobrazit plný text záznamu

Mathematics mechanization and applications after thirty years

Autor: Gao Xiaoshan, Wen-Tsun Wu, WU Wenjun

Publikováno v: Frontiers of Computer Science in China. 1:1-8

The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives a brief review of the major advances in the field over the past thirt

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::666d0619f843fd8ba4c3015ed4c6f986
https://doi.org/10.1007/s11704-007-0001-8

Zobrazit plný text záznamu

Automated Reasoning and Equation Solving with the Characteristic Set Method

Autor: Wen-Tsun Wu, Xiao-Shan Gao

Publikováno v: Journal of Computer Science and Technology. 21:756-764

A brief introduction to the characteristic set method is given for solving algebraic equation systems and then the method is extended to algebraic difference systems. The method can be used to decompose the zero set for a difference polynomial set in

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::2bf0768c208cbb6853cb26b9e8200664
https://doi.org/10.1007/s11390-006-0756-7

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání