%0 Journal Article %1 journals/jucs/Wang95 %A Wang, Dongming %D 1995 %J J. Univers. Comput. Sci. %K dblp %N 9 %P 658-673 %T A Method for Proving Theorems in Differebtial Geometry and Mechanics %U http://dblp.uni-trier.de/db/journals/jucs/jucs1.html#Wang95 %V 1

@article{journals/jucs/Wang95, added-at = {2023-09-07T00:00:00.000+0200}, author = {Wang, Dongming}, biburl = {https://www.bibsonomy.org/bibtex/2a228822fa3c1701419b79f8bf87d266b/dblp}, ee = {https://doi.org/10.3217/jucs-001-09-0658}, interhash = {d69a13fdbad554a311ac64f90ee5c5fc}, intrahash = {a228822fa3c1701419b79f8bf87d266b}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 9, pages = {658-673}, timestamp = {2024-04-08T15:58:29.000+0200}, title = {A Method for Proving Theorems in Differebtial Geometry and Mechanics}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs1.html#Wang95}, volume = 1, year = 1995 }