Zheng Ye

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Discrete exterior calculus and computation electromagnetism	2021-12-17	Paper
A method for mechanically diagram chasing	2021-12-17	Paper
Computation of hyperbolic geometric flow on closed Riemann surfaces Pure and Applied Mathematics Quarterly	2013-03-07	Paper
Numerical solution of Klein-Gordon equation on manifold using DEC Communications in Theoretical Physics	2011-06-30	Paper
An introduction to Java geometry expert. (Extended abstract) Automated Deduction in Geometry	2011-05-26	Paper
Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method Journal of Automated Reasoning	2011-01-12	Paper
Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method Journal of Automated Reasoning	2011-01-12	Paper
Mechanical theorem proving for tensor with indexes in differential geometry	2010-07-08	Paper
Numerical simulation of antennae by discrete exterior calculus Communications in Theoretical Physics	2010-04-13	Paper

Research outcomes over time

This page was built for person: Zheng Ye