iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/incos/Guo13.rdf
Siwen Guo: Numerical Approach for Automatic Theorem Proving in Plane Geometry. (2013) conf/incos/Guo13 10.1109/INCOS.2013.38 Numerical Approach for Automatic Theorem Proving in Plane Geometry. 1 Siwen Guo 1 207-209 INCoS INCoS 2013 2013 provenance information for RDF data of dblp record 'conf/incos/Guo13' 2017-05-25T00:43:31+0200