The following pages link to Jing-Zhong Zhang (Q242603):
Displaying 41 items.
- (Q756130) (redirect page) (← links)
- What can we do with only a pair of rusty compasses? (Q756131) (← links)
- The parallel numerical method of mechanical theorem proving (Q914413) (← links)
- The criterion algorithm of relation of implication between periodic orbits. I (Q1178005) (← links)
- A complete discrimination system for polynomials with complex coefficients and its automatic generation (Q1303099) (← links)
- The realization of elementary configurations in Euclidean space (Q1322346) (← links)
- A criterion for dependency of algebraic equations with applications to automated theorem proving (Q1333975) (← links)
- A deductive database approach to automated geometry theorem proving and discovering (Q1581854) (← links)
- On number of circles intersected by a line (Q1601443) (← links)
- Self-evident automated proving based on point geometry from the perspective of Wu's method identity (Q1730304) (← links)
- A note on Wu's non-degenerate condition (Q1801764) (← links)
- Converse theorems of convexity for Bernstein polynomials over triangles (Q1813783) (← links)
- Automated production of traditional proofs in solid geometry (Q1891257) (← links)
- Automated production of traditional proofs for theorems in Euclidean geometry. I: The Hilbert intersection point theorems (Q1924745) (← links)
- Obtaining exact interpolation multivariate polynomial by approximation (Q1937782) (← links)
- Path planning for autonomous underwater vehicle based on an enhanced water wave optimization algorithm (Q1998303) (← links)
- Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots (Q2341619) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Parallel computation of real solving bivariate polynomial systems by zero-matching method (Q2451343) (← links)
- Obtaining exact value by approximate computations (Q2464301) (← links)
- Nature-inspired approach: an enhanced whale optimization algorithm for global optimization (Q2661383) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- (Q2747399) (← links)
- Readable machine proofs for mass point geometry (Q2911357) (← links)
- (Q2917058) (← links)
- Exact polynomial factorization by approximate high degree algebraic numbers (Q2959014) (← links)
- Finding exact minimal polynomial by approximations (Q2959025) (← links)
- (Q2993750) (← links)
- (Q3027902) (← links)
- (Q3034560) (← links)
- (Q3038091) (← links)
- (Q3073344) (← links)
- Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
- (Q3110290) (← links)
- (Q3310501) (← links)
- (Q3310513) (← links)
- (Q3311052) (← links)
- Metric spaces which cannot be isometrically embedded in Hilbert space (Q3334529) (← links)
- Proximity‐Effect‐Induced Superconductivity in Nb/Sb<sub>2</sub>Te<sub>3</sub>‐Nanoribbon/Nb Junctions (Q6068623) (← links)
- CWOA: a novel complex-valued encoding whale optimization algorithm (Q6102933) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
