Travelled to:1 × France
1 × Germany
1 × Italy
1 × USA
Collaborated with:∅ S.Fèvre T.Zhao H.Hong P.Aubry
Talks about:geometri (2) theorem (2) algebra (2) prove (2) constraint (1) clifford (1) quartic (1) geother (1) geometr (1) generat (1)
Person: Dongming Wang
DBLP: Wang:Dongming
Contributed to:
2012
199819961994Wrote 4 papers:
- SAC-2012-ZhaoHWA #constraints #diagrams #difference #equation #polynomial
- Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints (TZ, HH, DW, PA), pp. 94–101.
- CADE-1998-FeveW #algebra #geometry #proving #theorem #using
- Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules (SF, DW), pp. 17–31.
- CADE-1996-Wang #geometry #named #proving #theorem proving
- GEOTHER: A Geometry Theorem Prover (DW), pp. 166–170.
- CADE-1994-Wang #algebra #geometry #proving
- Algebraic Factoring and Geometry Proving (DW), pp. 386–400.