Article

Free access

MapleTensor: progress report on a new system for performing indicial and component tensor calculations using symbolic computation

Authors:

Masoud Kavian,

R. G. McLenaghan,

K. O. GeddesAuthors Info & Claims

ISSAC '96: Proceedings of the 1996 international symposium on Symbolic and algebraic computation

Pages 204 - 211

https://doi.org/10.1145/236869.237075

Published: 01 October 1996 Publication History

PDF eReader

References

[1]

A. COLEY, C. C. D., AND TUPPER, B. A pair of computer algebra systems for general relativity, in Proceedings of Second Canadian Conference on General Relativity ~ Relativistic Astrophysics (1987), pp. 144,147.

Google Scholar

[2]

AMAN, J. E., AND KARLHEDE, A. A computer-aided complete classification of geometries in general relativity. first results. Physics Letters A, 80 (1980), 229-231.

Crossref

Google Scholar

[3]

AMAN, J. E., AND KARLHEDE, A. An algorithmic classification of geometries in general relativity. In Proceedings of the 1981 A CM symposium on Symbolic and Algebraic Computation (1981), p. 79.

Digital Library

Google Scholar

[4]

BOGEN, R., AND PAVELLE, R. In Proceedings of the 1977 MA CSYMA User's Conference (NASA, Washington, 1977), p. 75,

Google Scholar

[5]

BUDD, T. A. Classic Data Structures in C++. Addison Wesley, 1994.

Digital Library

Google Scholar

[6]

CARMINATI, J., AND MCLENAGHAN, m. G. Algebraic invariants of the riemann tensor in a four-dimensional lorentzian space. J. Math. Phys. 32, 11 (1991), 3135.

Crossref

Google Scholar

[7]

CHAR, B. W., GEDDES, K. O., GONNET, G. H., LEONG, B. L., MONAGAN, M. B., AND WATT, S. M. Maple V, First Leaves: A Tutorial Introduction. Springer-Verlag, 1992.

Digital Library

Google Scholar

[8]

CHRISTENSEN, S., AND PARKER, L. Mathtensor: A system for doing tensor analysis by computer. Mathematical Journal, 1 (1990), 51.

Google Scholar

[9]

CHU, K., FARELL, C. E., FEE, G. J., AND MCLE- NAGHAN, R. G~ General relativity calculations in maple. In Proceeding o/ the 6th Canadian Conference on General Relativity ~ Relatiwst~c Astrophysics (University of New Brunswick, 1995).

Google Scholar

[10]

D'INVERNO, ~. A., AND RUSSELL-CLARK, m. A. Cornput. J., 17 (1971), 229.

Google Scholar

[11]

EISENHART, L. P. Riemann~an Geometry. Princeton University Press, 1925.

Google Scholar

[12]

ELLIS, G. F. R., ET AL. Cargese lectures in Physics. Gordon and Beach Science Publishers, 1973.

Google Scholar

[13]

FLANDERS, H. Differential forms, with applications to the physical sczences. Academic Press, New York, 1963.

Google Scholar

[14]

FalCK, I. Sheep user's guide. Tech. rep., University of Stockholm Institute of Theoretical Physics report, 1977.

Google Scholar

[15]

HORNFELDT, L. Stensor reference manual, version 2.3. Tech. rep., Univ. of Stockholm, Dept. of Theor. Phys., 1988.

Google Scholar

[16]

KAVIAN, M. Tensor computation on computer algebra systems. Master's thesis, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1994.

Google Scholar

[17]

KAVIAN, M., MCLENAGHAN, R. G., AND GEDDES, K. O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 7th Marcel Grossman Conference (Singapore, 1995), W. Scientific, Ed. in press.

Digital Library

Google Scholar

[18]

KAVIAN, M., MCLENAGHAN, m. G., AND GEDDES, K. O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 6th Canadian Conference on General Relativity ~ Relativistic Astrophysics (University of New Brunswick, 1995).

Digital Library

Google Scholar

[19]

KAVIAN, M., M:CLENAGHAN, R. G., AND GEDDES, K.O. Mapletensor: A new system for performing indicial and component tensor calculations by computer. In Proceeding of the 14th International Conference on General Relativity and Gravitatzon (Florence, Italy, 1995).

Digital Library

Google Scholar

[20]

KLIONER, S. A. A mathematica package for tensorial calculations in astronomical applications of relativistic ~re~v~;y Jclxeor~e~. In P~o~eed~g of ~h~ I4~h Inta~at~o~al Conference on General Relativity and Grawtation (Florence, Italy, 1995).

Google Scholar

[21]

KRAMER, D., STEPHANI, H., HERLT, E., AND MAC- CALLUM, M. Exact Solutions of Einstein's Field Equations. Cambridge University Press, Cambridge, 1980.

Google Scholar

[22]

LAKE, K., ~~IUSGRAVE, P., AND POLLNEY, D. GRTensot II, Component Tensor Calculations for General Retatiwty. Queen's University, Dept. of Physics, 1994.

Google Scholar

[23]

LANDAU, L. D. The classical theory offields. Pergamon Press, 1979.

Google Scholar

[24]

LEE, J. M. A Mathematica Package for doing Tensor Calculations in Differential Geometry. Department of Mathematics, GN-50, University of Washington, Seattle, WA 98195, 1995.

Google Scholar

[25]

MCLENAGHAN, a. G. On the validity of huygens' principle for second order partial differential equations with four independent variables, part i: Derivation of necessaxy conditions. Ann. inst. Henri Poincard, 20 (1974), 153-188.

Google Scholar

[26]

SOLENG, H. H. The tensor algebra package CAR- TAN. In Proceeding of the 14th International Conference on General Relativity and Gravitation (Florence, Italy, 1995).

Google Scholar

[27]

STP.OUSTRUP, B. The C++ programming language. Addison-Wesley, 1991.

Digital Library

Google Scholar

Cited By

View all

MacCallum M(2018)Computer algebra in gravity researchLiving Reviews in Relativity10.1007/s41114-018-0015-621:1Online publication date: 20-Aug-2018
https://doi.org/10.1007/s41114-018-0015-6
Giesbrecht MWatt S(2011)ForewordJournal of Symbolic Computation10.1016/j.jsc.2010.08.00946:7(735-740)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1016/j.jsc.2010.08.009
Kavian MMcLenaghan RGeddes KChar BWang P(1997)Application of genetic algorithms to the algebraic simplification of tensor polynomialsProceedings of the 1997 international symposium on Symbolic and algebraic computation10.1145/258726.258759(93-100)Online publication date: 1-Jul-1997
https://dl.acm.org/doi/10.1145/258726.258759

Index Terms

MapleTensor: progress report on a new system for performing indicial and component tensor calculations using symbolic computation
1. Computing methodologies
  1. Symbolic and algebraic manipulation
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

Image compressive sensing via Truncated Schatten-p Norm regularization

Low-rank property as a useful image prior has attracted much attention in image processing communities. Recently, a nonlocal low-rank regularization (NLR) approach toward exploiting low-rank property has shown the state-of-the-art performance in ...
Quantum correlation swapping

Quantum correlations (QCs), including quantum entanglement and those different, are important quantum resources and have attracted much attention recently. Quantum entanglement swapping as a kernel technique has already been applied to quantum repeaters ...
Distributivity between semi-t-operators and Mayor's aggregation operators

The problem of distributivity was first posed over forty years ago and it has been investigated for families of certain operations such as t-norms, t-conorms, uninorms, and nullnorms. In this paper, we investigate this topic further by focusing on Mayor'...

Comments

Information & Contributors

Information

Published In

ISSAC '96: Proceedings of the 1996 international symposium on Symbolic and algebraic computation

October 1996

318 pages

ISBN:0897917960

DOI:10.1145/236869

Chairmen:
Erwin Engeler
ETH Zu¨rich, Switzerland
,
Bob F. Caviness
Univ. of Delaware, Newark
,
Editor:
Y. N. Lakshman
Drexel Univ., Philadelphia, PA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1996

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

ISSAC96

Sponsor:

ISSAC96: International Symposium on Symbolic and Algebraic Computation

July 24 - 26, 1996

Zurich, Switzerland

Acceptance Rates

ISSAC '96 Paper Acceptance Rate 41 of 121 submissions, 34%;

Overall Acceptance Rate 395 of 838 submissions, 47%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
405
Total Downloads

Downloads (Last 12 months)71
Downloads (Last 6 weeks)7

Reflects downloads up to 30 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

MacCallum M(2018)Computer algebra in gravity researchLiving Reviews in Relativity10.1007/s41114-018-0015-621:1Online publication date: 20-Aug-2018
https://doi.org/10.1007/s41114-018-0015-6
Giesbrecht MWatt S(2011)ForewordJournal of Symbolic Computation10.1016/j.jsc.2010.08.00946:7(735-740)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1016/j.jsc.2010.08.009
Kavian MMcLenaghan RGeddes KChar BWang P(1997)Application of genetic algorithms to the algebraic simplification of tensor polynomialsProceedings of the 1997 international symposium on Symbolic and algebraic computation10.1145/258726.258759(93-100)Online publication date: 1-Jul-1997
https://dl.acm.org/doi/10.1145/258726.258759

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Image compressive sensing via Truncated Schatten-p Norm regularization

Quantum correlation swapping

Distributivity between semi-t-operators and Mayor's aggregation operators

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Image compressive sensing via Truncated Schatten-p Norm regularization

Quantum correlation swapping

Distributivity between semi-t-operators and Mayor's aggregation operators

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Share

Share this Publication link

Share on social media

Affiliations