Statistics
Publications
1
Citations
86
H-Index
1
Active since
1978
Affiliations
Tun Wen-Dun is an author at Institute of Mathematics, Academia Sinica specializing in proof theory, proofs in geometry, and mathematics.
Publications per year
1978–1978
1
1
1–1 of 1