{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:15Z","timestamp":1725489075299},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730835"},{"type":"electronic","value":"9783540730866"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-73086-6_10","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T10:57:56Z","timestamp":1187089076000},"page":"116-127","source":"Crossref","is-referenced-by-count":0,"title":["Rule-Based Simplification in Vector-Product Spaces"],"prefix":"10.1007","author":[{"given":"Songxin","family":"Liang","sequence":"first","affiliation":[]},{"given":"David J.","family":"Jeffrey","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Aldor.org, Aldor User Guide (2002), \n                    \n                      http:\/\/www.aldor.org\/docs\/aldorug.pdf\/"},{"key":"10_CR2","unstructured":"Belmonte, A., Yasskin, P.B.: A vector calculus package for Maple (2003), \n                    \n                      http:\/\/calclab.tamu.edu\/maple\/veccalc\/"},{"key":"10_CR3","volume-title":"The Mathematical Theory of Non-uniform Gases","author":"S. Chapman","year":"1939","unstructured":"Chapman, S., Cowling, T.G.: The Mathematical Theory of Non-uniform Gases. Cambridge University Press, Cambridge (1939)"},{"key":"10_CR4","volume-title":"Vectors","author":"J. Cunningham","year":"1969","unstructured":"Cunningham, J.: Vectors. Heinemann Educational Books Ltd, London (1969)"},{"key":"10_CR5","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/0010-4655(91)90054-O","volume":"64","author":"J.W. Eastwood","year":"1991","unstructured":"Eastwood, J.W.: OrthoVec: version 2 of the Reduce program for 3-d vector analysis in orthogonal curvilinear coordinates. Comput. Phys. Commun.\u00a064, 121\u2013122 (1991)","journal-title":"Comput. Phys. Commun."},{"key":"10_CR6","unstructured":"Fiedler, B.: Vectan 1.1. Manual Math. Inst., Univ. Leipzig (1997)"},{"key":"10_CR7","unstructured":"Gibbs, J.W.: Elements of vector analysis. In: The Scientific Papers of J. Willard Gibbs, Dover (1961)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0010-4655(89)90092-1","volume":"54","author":"D. Harper","year":"1989","unstructured":"Harper, D.: Vector33: A Reduce program for vector algebra and calculus in orthogonal curvilinear coordinates. Comput. Phys. Commun.\u00a054, 295\u2013305 (1989)","journal-title":"Comput. Phys. Commun."},{"key":"10_CR9","volume-title":"Solving Problems in Vector Algebra","author":"E.M. Patterson","year":"1968","unstructured":"Patterson, E.M.: Solving Problems in Vector Algebra. Oliver & Boyd Ltd, Edinburgh-London (1968)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0010-4655(98)00144-1","volume":"116","author":"H. Qin","year":"1999","unstructured":"Qin, H., Tang, W.M., Rewoldt, G.: Symbolic vector analysis in plasma physics. Comput. Phys. Commun.\u00a0116, 107\u2013120 (1999)","journal-title":"Comput. Phys. Commun."},{"key":"10_CR11","unstructured":"Silagadze, Z.K.: Multi-dimensional vector product. arXiv: math.ra, 0204357. (2002)"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0898-1221(81)90133-4","volume":"5","author":"D.R. Stoutemyer","year":"1979","unstructured":"Stoutemyer, D.R.: Symbolic computer vector analysis. Computers & Mathematics with Applications\u00a05, 1\u20139 (1979)","journal-title":"Computers & Mathematics with Applications"},{"key":"10_CR13","volume-title":"The Elements of Artificial Intelligence Using Common Lisp","author":"S.L. Tanimoto","year":"1990","unstructured":"Tanimoto, S.L.: The Elements of Artificial Intelligence Using Common Lisp. Computer Science Press, New York (1990)"},{"key":"10_CR14","unstructured":"The Mathlab Group: Macsyma Reference Manual, vol. II, MIT, Cambridge (1983)"},{"key":"10_CR15","unstructured":"Wolfram, S.: The Mathematica Book. 3rd edn. Wolfram Media\/Cambridge University Press (1996)"}],"container-title":["Lecture Notes in Computer Science","Towards Mechanized Mathematical Assistants"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73086-6_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T09:59:40Z","timestamp":1619517580000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73086-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540730835","9783540730866"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73086-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}