SlideShare a Scribd company logo
1 of 20
Download to read offline
Symbolic computation methods
     in cosmology and
      general relativity
  Part I - Using Maple and GrTensorII in general relativity



         Dumitru N. Vulcanov
       West University of Timişoara
        Theoretical and Applied Physics Dept.-“Mircea Zăgănescu”




                                                                   1
Some words before …
•   Computational physics – a new branch of physics and not only !

•   Computational relativity – doing general relativity on the computer !




       Computer algebra                         Numerical simulations
             for GR                                     for GR




                                                                            2
Some words before …
•   Computational physics – a new branch of physics and not only !

•   Computational relativity – doing general relativity on the computer !




       Computer algebra                         Numerical simulations
                                ??????
             for GR                                     for GR




                                                                            3
Some words before …
•   Computational physics – a new branch of physics and not only !

•   Computational relativity – doing general relativity on the computer !




       Computer algebra                         Numerical simulations
                                ??????
             for GR                                     for GR




                      Needs a human interface !!!!


    The spectacular developpment of computer technology makes possible
                    to fill this gap in the very next future …

                                                                            4
Some words before …




A 1956 quot;supercomputerquot; - Erma     .... in 2009 !




A 2006 supercomputer - Cray     .... in 2056 ?!

                                                   5
Some words before …
 But how about the software ? It evolved a lot from the early
 days of programming, so today we have :

 - object oriented programming
 - visual techniques
 - integrated platforms (as Maple, Mathematica...)
 - graphical and visualisation software
 - games on the computer...


  But the programming languages did not moved so fast :

  - we are still using Fortran

  - we are still using C, C++



                                                                6
Mainframe
Computer algebra - CA, is a branch of Symbolic computation (or symbolic
mathematics - SM)

Symbolic mathematics relates to the use of computers to manipulate
mathematical equations and expressions in symbolic form, as opposed
to manipulating the approximations of specific numerical quantities
represented by those symbols. Such a system might be used for
symbolic integration or differentiation, substitution of one expression
into another, simplification of an expression, etc.
(Wikipedia Free encyclopedia - http://www.wikipedia.org


Related fields and domains :

- LISP and LISP programming
- Computational logic
- Automated theorem prover or Computer-aided proof
- Artificial intellingence

But what a Computer Algebra System is ?
                                                                          7
Mainframe

A computer algebra system ( CAS) is a software program that facilitates
symbolic mathematics. The core functionality of a CAS is manipulation of
mathematical expressions in symbolic form.

Types of expressions : The expressions manipulated by CAS typically
include polynomials in multiple variables; standard functions of expressions
(sine, exponential, etc.); various special functions (gamma, zeta, erf, Bessel,
etc.); arbitrary functions of expressions; derivatives, integrals, sums, and
products of expressions; truncated series with expressions as coefficients,
matrices of expressions, and so on. (This is a recursive definition.)

The symbolic manipulations supported typically include

* automatic simplification, including simplification with assumptions
* substitution of symbolic or numeric values for expressions
* change of form of expressions: expanding products and powers, rewriting as
partial fractions, rewriting trigonometric functions as exponentials, etc.
* differentiation with respect to one or all variables

                                                                                  8
Mainframe
The symbolic manipulations supported typically include also :

# symbolic constrained and unconstrained global optimization
# partial and full factorization
# solution of linear and some non-linear equations over various domains
# solution of some differential and difference equations
# taking some limits
# some indefinite and definite integration, including multidimensional integrals
# integral transforms
# expansion as truncated Taylor, Laurent and Puiseux series
# some infinite series expansion
# some series summation
# matrix operations including products, inverses, etc.
# display of mathematical expressions in two-dimensional mathematical form,
often using typesetting systems




                                                                               9
Mainframe
In addition, most CASs include numeric operations:

* evaluating for particular numeric values
* evaluating to high precision ( bignum arithmetic), allowing for instance the
evaluation of 21/3 to 10,000 digits
* numeric linear algebra
* plotting graphs and parametric plots of functions in two and three dimensions

Many also include a high level programming language, allowing users to
implement their own algorithms.

The study of algorithms useful for computer algebra systems is known as
computer algebra.

The run-time of numerical programs implemented in computer algebra systems
is normally longer than that of equivalent programs implemented in systems
such as MATLAB, GNU Octave, or directly in C, since they are programmed for
full symbolic generality and thus cannot use machine numerical operations
directly for most of their functions.

                                                                                  10
History
 Computer algebra systems began to appear in the early 1970s, and
 evolved out of research into artificial intelligence, though the fields are
 now regarded as largely separate.

 The first popular systems were Reduce, Derive, and Macsyma which are
 still commercially available; a copyleft version of Macsyma called Maxima
 is actively being maintained.

 The current market leaders are Maple and Mathematica; both are
 commonly used by research mathematicians, scientists, and engineers.

 MuPAD is a commercial system too. Some computer algebra systems
 focus on a specific area of application; these are typically developed in
 academia and free.




                                                                               11
List of CAS systems
Proprietary - Commercial
* Derive, DoCon
* Maple, MathCad, Mathematica
* MuMATH, MuPAD
* Reduce
* WIRIS

Free / open source software
* Axiom
* dcas
* Eigenmath
* GiNaC
* Mathomatic
* Maxima
* Yacas
* SHEEP

Algebraic geometry, polynomial computations
* CoCoA
* Macaulay
* SINGULAR                                    12
List of CAS systems




                      13
Computer algebra (systems) and General Relativity
 General Relativity is a theory of the dynamics of space-time, based on the
 differential geometry which implies long and complicated analytic
 computation, tensor manipulations, covariant derivatives and manny other
 geometrical ... ingredients !

 Thus the use of CA in this field was very interesting and challenging from
 the very early beginning of all CAS.

 CA is providing GRG new fast computational tools on the computer and on
 the other side, the developping of CA pushed also the research in GRG
 field.

 Several CAS were used during the precedent decades, following the
 developpment of computer technology, of course. Examples : REDUCE,
 Maple, Maxima and even Mathematica (?!)

 Some CAS were specially designed for their use in GRG : SHEEP as an
 example

 Two CAS proved to be the most viable, having the largest spectrum of
                                                                              14
 applicability and are now the most used : REDUCE and MAPLE.
Maple
Maple is a general-purpose commercial computer algebra system.
It was first developed in 1981 by the Symbolic Computation Group
at the University of Waterloo in Waterloo, Ontario, Canada.

Since 1988, it has been developed and sold commercially by
Waterloo Maple Inc. (also known as Maplesoft), a Canadian
company also based in Waterloo, Ontario. The current version is
Maple 12.

Maple is an interpreted, dynamically typed programming language.
As is usual with computer algebra systems, symbolic expressions
are stored in memory as directed acyclic graphs.

Since Maple 6 the language has permitted variables of lexical
scope.



                                                                  15
Maple + GrTensorII
GrTensor II is a computer algebra package for performing calculations in the
general area of differential geometry.
Authors : Peter Musgrave, Denis Pollney (!!!) and Kayll Lake

Its purpose is the calculation of tensor components on curved spacetimes
specified in terms of a metric or set of basis vectors.

Though originally designed for use in the field of general relativity, GRTensorII
is useful in many other fields.

GRTensor II is not a stand alone package, but requires an algebraic engine.
The program was originally developed for MapleV. GRTensorII runs with all
versions of Maple, Maple V Release 3 to Maple 11. A limited version
(GRTensorM) has been ported to Mathematica.

GRTensor II and related software and documentation are distributed
free of charge see at http://grtensor.org



                                                                                16
Maple + GrTensorII

 The geometrical environment of GrTensorII is a Riemannian
 manifold with connection compatible with the riemannian metric .

 Special commands and routines for calculating geometrical objects
 as :
 - the metric and the line element ( qload(), g(dn,dn),,makeg() )
 - Christoffel symbols and the covariant derivative (Chr(up,dn,dn))
 - Ricci tensor and Ricci scalar (R(dn,dn), Ricciscalar)
 - Einstein tensor (G(up,dn)) , etc.

 Other facilities are available, as :
 •Several predefined metrics and possibiliy to define new ones
 •Manipulating with indices
 •Extracting tensor components
 •Defining new tensors using their natural definitions
 •Advanced simplification routines...



                                                                      17
Maple + GrTensorII
An example : calculating the Bianchi identities :

                                 where


 Thus we have a simple sequence of Maple+ GrTensorII commands :
 > grtw();
 > qload(rob_sons);
 > grdef(`bia{ ^i }:=G{ ^i ^j ;j }`);
 > grcalc(bia(up));
 > gralter(bia(up),simplify);
 > grdisplay(bia(up));

If the metric is compatible with the riemannian connection the components
of the Bianchi tensor must vanish. For the Robertson-Walker metric above
(called quot;rob_sonsquot;) it gives:

                          For the rob_sons spacetime:
                                     bi a(up)
                      bi a(up) = All components are zero
                                                                            18
Maple + GrTensorII
 For recent results in applying GrTensor II in different areas of GRG see at :
 http://grtensor.org inside sections Papersquot; and quot;Demonstrationsquot;
 (examples : exact solutions of Einstein eqs, Newman-Penrose null tetrad
 formalism...)

 Application to canonical ADM formalism can be found at the same website
 (Vulcanov demonstrations)

 Application in the study of Dirac eq. on curved spacetimes
 with/without torsion see :

 D.N. Vulcanov - Comp. Phys. Comm., vol. 154, 205 (2003)

 In cosmology see :

 D.N. Vulcanov, V.D. Vulcanov - Maple+GrTensor libraries for cosmology,
 SYNASC conference, Timisoara, 2004


 Also see the contributions of Nigel Bishop !!!
                                                                                 19
End of part I




But before the break let’s have a demonstration !!!


                                                      20

More Related Content

What's hot

Circuit analysis i with matlab computing and simulink sim powersystems modeling
Circuit analysis i with matlab computing and simulink sim powersystems modelingCircuit analysis i with matlab computing and simulink sim powersystems modeling
Circuit analysis i with matlab computing and simulink sim powersystems modelingIndra S Wahyudi
 
Parallel algorithms
Parallel algorithmsParallel algorithms
Parallel algorithmsguest084d20
 
Parallel algorithms
Parallel algorithmsParallel algorithms
Parallel algorithmsguest084d20
 
PRAM algorithms from deepika
PRAM algorithms from deepikaPRAM algorithms from deepika
PRAM algorithms from deepikaguest1f4fb3
 
Image processing with matlab
Image processing with matlabImage processing with matlab
Image processing with matlabAman Gupta
 
Image processing with matlab
Image processing with matlabImage processing with matlab
Image processing with matlabminhtaispkt
 
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...Sunny Kr
 
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...IJMER
 
Graph Matching
Graph MatchingGraph Matching
Graph Matchinggraphitech
 
Accelerating Real Time Applications on Heterogeneous Platforms
Accelerating Real Time Applications on Heterogeneous PlatformsAccelerating Real Time Applications on Heterogeneous Platforms
Accelerating Real Time Applications on Heterogeneous PlatformsIJMER
 
Bivariatealgebraic integerencoded arai algorithm for
Bivariatealgebraic integerencoded arai algorithm forBivariatealgebraic integerencoded arai algorithm for
Bivariatealgebraic integerencoded arai algorithm foreSAT Publishing House
 
PREGEL a system for large scale graph processing
PREGEL a system for large scale graph processingPREGEL a system for large scale graph processing
PREGEL a system for large scale graph processingAbolfazl Asudeh
 
IJCER (www.ijceronline.com) International Journal of computational Engineerin...
IJCER (www.ijceronline.com) International Journal of computational Engineerin...IJCER (www.ijceronline.com) International Journal of computational Engineerin...
IJCER (www.ijceronline.com) International Journal of computational Engineerin...ijceronline
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentIJERD Editor
 
HDRF: Stream-Based Partitioning for Power-Law Graphs
HDRF: Stream-Based Partitioning for Power-Law GraphsHDRF: Stream-Based Partitioning for Power-Law Graphs
HDRF: Stream-Based Partitioning for Power-Law GraphsFabio Petroni, PhD
 
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...Fabio Petroni, PhD
 

What's hot (20)

Circuit analysis i with matlab computing and simulink sim powersystems modeling
Circuit analysis i with matlab computing and simulink sim powersystems modelingCircuit analysis i with matlab computing and simulink sim powersystems modeling
Circuit analysis i with matlab computing and simulink sim powersystems modeling
 
Parallel algorithms
Parallel algorithmsParallel algorithms
Parallel algorithms
 
Parallel algorithms
Parallel algorithmsParallel algorithms
Parallel algorithms
 
PRAM algorithms from deepika
PRAM algorithms from deepikaPRAM algorithms from deepika
PRAM algorithms from deepika
 
Parallel algorithm in linear algebra
Parallel algorithm in linear algebraParallel algorithm in linear algebra
Parallel algorithm in linear algebra
 
Slide1
Slide1Slide1
Slide1
 
Image processing with matlab
Image processing with matlabImage processing with matlab
Image processing with matlab
 
Image processing with matlab
Image processing with matlabImage processing with matlab
Image processing with matlab
 
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...
HyperLogLog in Practice: Algorithmic Engineering of a State of The Art Cardin...
 
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...
Design and Implementation of Multiplier Using Kcm and Vedic Mathematics by Us...
 
Graph Matching
Graph MatchingGraph Matching
Graph Matching
 
Accelerating Real Time Applications on Heterogeneous Platforms
Accelerating Real Time Applications on Heterogeneous PlatformsAccelerating Real Time Applications on Heterogeneous Platforms
Accelerating Real Time Applications on Heterogeneous Platforms
 
Bivariatealgebraic integerencoded arai algorithm for
Bivariatealgebraic integerencoded arai algorithm forBivariatealgebraic integerencoded arai algorithm for
Bivariatealgebraic integerencoded arai algorithm for
 
PREGEL a system for large scale graph processing
PREGEL a system for large scale graph processingPREGEL a system for large scale graph processing
PREGEL a system for large scale graph processing
 
IJCER (www.ijceronline.com) International Journal of computational Engineerin...
IJCER (www.ijceronline.com) International Journal of computational Engineerin...IJCER (www.ijceronline.com) International Journal of computational Engineerin...
IJCER (www.ijceronline.com) International Journal of computational Engineerin...
 
Bs25412419
Bs25412419Bs25412419
Bs25412419
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and Development
 
HDRF: Stream-Based Partitioning for Power-Law Graphs
HDRF: Stream-Based Partitioning for Power-Law GraphsHDRF: Stream-Based Partitioning for Power-Law Graphs
HDRF: Stream-Based Partitioning for Power-Law Graphs
 
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...
GASGD: Stochastic Gradient Descent for Distributed Asynchronous Matrix Comple...
 
Portfolio
PortfolioPortfolio
Portfolio
 

Similar to D. Vulcanov: Symbolic Computation Methods in Cosmology and General Relativity [1]

number system understand
number system  understandnumber system  understand
number system understandrickypatel151
 
[Ris cy business]
[Ris cy business][Ris cy business]
[Ris cy business]Dino, llc
 
Algorithm n problem solving x
Algorithm n problem solving xAlgorithm n problem solving x
Algorithm n problem solving xlaraibali21
 
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big Computing
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big ComputingEuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big Computing
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big ComputingJonathan Dursi
 
What Is Static Semantics
What Is Static SemanticsWhat Is Static Semantics
What Is Static SemanticsCasey Rodriguez
 
Intermachine Parallelism
Intermachine ParallelismIntermachine Parallelism
Intermachine ParallelismSri Prasanna
 
Matlab and artificial intelligence
Matlab and artificial intelligenceMatlab and artificial intelligence
Matlab and artificial intelligenceMuthu Kumar
 
Summer training in matlab
Summer training in matlabSummer training in matlab
Summer training in matlabArshit Rai
 
Matlab for Electrical Engineers
Matlab for Electrical EngineersMatlab for Electrical Engineers
Matlab for Electrical EngineersManish Joshi
 
Scalable machine learning
Scalable machine learningScalable machine learning
Scalable machine learningArnaud Rachez
 
Compoutational Physics
Compoutational PhysicsCompoutational Physics
Compoutational PhysicsSaad Shaukat
 
Digital image processing - What is digital image processign
Digital image processing - What is digital image processignDigital image processing - What is digital image processign
Digital image processing - What is digital image processignE2MATRIX
 

Similar to D. Vulcanov: Symbolic Computation Methods in Cosmology and General Relativity [1] (20)

Tutorial
TutorialTutorial
Tutorial
 
HPC and Simulation
HPC and SimulationHPC and Simulation
HPC and Simulation
 
Algorithm Pseudo
Algorithm PseudoAlgorithm Pseudo
Algorithm Pseudo
 
Matlab lecture
Matlab lectureMatlab lecture
Matlab lecture
 
251 - Alogarithms Lects.pdf
251 - Alogarithms Lects.pdf251 - Alogarithms Lects.pdf
251 - Alogarithms Lects.pdf
 
number system understand
number system  understandnumber system  understand
number system understand
 
[Ris cy business]
[Ris cy business][Ris cy business]
[Ris cy business]
 
Algorithm n problem solving x
Algorithm n problem solving xAlgorithm n problem solving x
Algorithm n problem solving x
 
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big Computing
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big ComputingEuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big Computing
EuroMPI 2016 Keynote: How Can MPI Fit Into Today's Big Computing
 
What Is Static Semantics
What Is Static SemanticsWhat Is Static Semantics
What Is Static Semantics
 
Intermachine Parallelism
Intermachine ParallelismIntermachine Parallelism
Intermachine Parallelism
 
Matlab and artificial intelligence
Matlab and artificial intelligenceMatlab and artificial intelligence
Matlab and artificial intelligence
 
Ijetr021215
Ijetr021215Ijetr021215
Ijetr021215
 
Ijetr021215
Ijetr021215Ijetr021215
Ijetr021215
 
Summer training in matlab
Summer training in matlabSummer training in matlab
Summer training in matlab
 
Matlab for Electrical Engineers
Matlab for Electrical EngineersMatlab for Electrical Engineers
Matlab for Electrical Engineers
 
Scalable machine learning
Scalable machine learningScalable machine learning
Scalable machine learning
 
Compoutational Physics
Compoutational PhysicsCompoutational Physics
Compoutational Physics
 
Chap 1(one) general introduction
Chap 1(one)  general introductionChap 1(one)  general introduction
Chap 1(one) general introduction
 
Digital image processing - What is digital image processign
Digital image processing - What is digital image processignDigital image processing - What is digital image processign
Digital image processing - What is digital image processign
 

More from SEENET-MTP

SEENET-MTP Booklet - 15 years
SEENET-MTP Booklet - 15 yearsSEENET-MTP Booklet - 15 years
SEENET-MTP Booklet - 15 yearsSEENET-MTP
 
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...SEENET-MTP
 
Ivan Dimitrijević "Nonlocal cosmology"
Ivan Dimitrijević "Nonlocal cosmology"Ivan Dimitrijević "Nonlocal cosmology"
Ivan Dimitrijević "Nonlocal cosmology"SEENET-MTP
 
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"SEENET-MTP
 
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...SEENET-MTP
 
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...SEENET-MTP
 
Dragan Huterer "Novi pogledi na svemir"
Dragan Huterer "Novi pogledi na svemir"Dragan Huterer "Novi pogledi na svemir"
Dragan Huterer "Novi pogledi na svemir"SEENET-MTP
 
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...SEENET-MTP
 
Sabin Stoica "Double beta decay and neutrino properties"
Sabin Stoica "Double beta decay and neutrino properties"Sabin Stoica "Double beta decay and neutrino properties"
Sabin Stoica "Double beta decay and neutrino properties"SEENET-MTP
 
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...SEENET-MTP
 
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"Predrag Milenović "Physics potential of HE/HL-LHC and future circular"
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"SEENET-MTP
 
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...SEENET-MTP
 
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...SEENET-MTP
 
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...SEENET-MTP
 
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...SEENET-MTP
 
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...SEENET-MTP
 
Nikola Godinović "The very high energy gamma ray astronomy"
Nikola Godinović "The very high energy gamma ray astronomy"Nikola Godinović "The very high energy gamma ray astronomy"
Nikola Godinović "The very high energy gamma ray astronomy"SEENET-MTP
 
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...SEENET-MTP
 
Cemsinan Deliduman "Astrophysics with Weyl Gravity"
Cemsinan Deliduman "Astrophysics with Weyl Gravity"Cemsinan Deliduman "Astrophysics with Weyl Gravity"
Cemsinan Deliduman "Astrophysics with Weyl Gravity"SEENET-MTP
 
Radu Constantinescu "Scientific research: Excellence in International context"
Radu Constantinescu "Scientific research: Excellence in International context"Radu Constantinescu "Scientific research: Excellence in International context"
Radu Constantinescu "Scientific research: Excellence in International context"SEENET-MTP
 

More from SEENET-MTP (20)

SEENET-MTP Booklet - 15 years
SEENET-MTP Booklet - 15 yearsSEENET-MTP Booklet - 15 years
SEENET-MTP Booklet - 15 years
 
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...
Milan Milošević "The shape of Fe Kα line emitted from relativistic accretion ...
 
Ivan Dimitrijević "Nonlocal cosmology"
Ivan Dimitrijević "Nonlocal cosmology"Ivan Dimitrijević "Nonlocal cosmology"
Ivan Dimitrijević "Nonlocal cosmology"
 
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"
Dragoljub Dimitrijević "Tachyon Inflation in the RSII Framework"
 
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...
Vesna Borka Jovanović "Constraining Scalar-Tensor gravity models by S2 star o...
 
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...
Elena Mirela Babalic "Generalized alpha-attractor models for hyperbolic surfa...
 
Dragan Huterer "Novi pogledi na svemir"
Dragan Huterer "Novi pogledi na svemir"Dragan Huterer "Novi pogledi na svemir"
Dragan Huterer "Novi pogledi na svemir"
 
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...
Mihai Visinescu "Action-angle variables for geodesic motion on resolved metri...
 
Sabin Stoica "Double beta decay and neutrino properties"
Sabin Stoica "Double beta decay and neutrino properties"Sabin Stoica "Double beta decay and neutrino properties"
Sabin Stoica "Double beta decay and neutrino properties"
 
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...
Yurri Sitenko "Boundary effects for magnetized quantum matter in particle and...
 
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"Predrag Milenović "Physics potential of HE/HL-LHC and future circular"
Predrag Milenović "Physics potential of HE/HL-LHC and future circular"
 
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
Marija Dimitrijević Ćirić "Matter Fields in SO(2,3)⋆ Model of Noncommutative ...
 
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...
Zvonimir Vlah "Lagrangian perturbation theory for large scale structure forma...
 
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...
Vitaly Vanchurin "General relativity from non-equilibrium thermodynamics of q...
 
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...
Sergey Sibiryakov "Galactic rotation curves vs. ultra-light dark matter: Impl...
 
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...
Radoslav Rashkov "Integrable structures in low-dimensional holography and cos...
 
Nikola Godinović "The very high energy gamma ray astronomy"
Nikola Godinović "The very high energy gamma ray astronomy"Nikola Godinović "The very high energy gamma ray astronomy"
Nikola Godinović "The very high energy gamma ray astronomy"
 
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...
Miroljub Dugić "The concept of Local Time. Quantum-mechanical and cosmologica...
 
Cemsinan Deliduman "Astrophysics with Weyl Gravity"
Cemsinan Deliduman "Astrophysics with Weyl Gravity"Cemsinan Deliduman "Astrophysics with Weyl Gravity"
Cemsinan Deliduman "Astrophysics with Weyl Gravity"
 
Radu Constantinescu "Scientific research: Excellence in International context"
Radu Constantinescu "Scientific research: Excellence in International context"Radu Constantinescu "Scientific research: Excellence in International context"
Radu Constantinescu "Scientific research: Excellence in International context"
 

Recently uploaded

Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...raviapr7
 
How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17Celine George
 
Easter in the USA presentation by Chloe.
Easter in the USA presentation by Chloe.Easter in the USA presentation by Chloe.
Easter in the USA presentation by Chloe.EnglishCEIPdeSigeiro
 
Human-AI Co-Creation of Worked Examples for Programming Classes
Human-AI Co-Creation of Worked Examples for Programming ClassesHuman-AI Co-Creation of Worked Examples for Programming Classes
Human-AI Co-Creation of Worked Examples for Programming ClassesMohammad Hassany
 
How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17Celine George
 
In - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxIn - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxAditiChauhan701637
 
Drug Information Services- DIC and Sources.
Drug Information Services- DIC and Sources.Drug Information Services- DIC and Sources.
Drug Information Services- DIC and Sources.raviapr7
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxraviapr7
 
How to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesHow to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesCeline George
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfTechSoup
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxEduSkills OECD
 
Benefits & Challenges of Inclusive Education
Benefits & Challenges of Inclusive EducationBenefits & Challenges of Inclusive Education
Benefits & Challenges of Inclusive EducationMJDuyan
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and stepobaje godwin sunday
 
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptx
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptxPractical Research 1: Lesson 8 Writing the Thesis Statement.pptx
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptxKatherine Villaluna
 
Practical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxPractical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxKatherine Villaluna
 
How to Add a New Field in Existing Kanban View in Odoo 17
How to Add a New Field in Existing Kanban View in Odoo 17How to Add a New Field in Existing Kanban View in Odoo 17
How to Add a New Field in Existing Kanban View in Odoo 17Celine George
 
What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?TechSoup
 
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...Nguyen Thanh Tu Collection
 
5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...CaraSkikne1
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxraviapr7
 

Recently uploaded (20)

Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...Patient Counselling. Definition of patient counseling; steps involved in pati...
Patient Counselling. Definition of patient counseling; steps involved in pati...
 
How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17How to Add a many2many Relational Field in Odoo 17
How to Add a many2many Relational Field in Odoo 17
 
Easter in the USA presentation by Chloe.
Easter in the USA presentation by Chloe.Easter in the USA presentation by Chloe.
Easter in the USA presentation by Chloe.
 
Human-AI Co-Creation of Worked Examples for Programming Classes
Human-AI Co-Creation of Worked Examples for Programming ClassesHuman-AI Co-Creation of Worked Examples for Programming Classes
Human-AI Co-Creation of Worked Examples for Programming Classes
 
How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17How to Add Existing Field in One2Many Tree View in Odoo 17
How to Add Existing Field in One2Many Tree View in Odoo 17
 
In - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptxIn - Vivo and In - Vitro Correlation.pptx
In - Vivo and In - Vitro Correlation.pptx
 
Drug Information Services- DIC and Sources.
Drug Information Services- DIC and Sources.Drug Information Services- DIC and Sources.
Drug Information Services- DIC and Sources.
 
Prescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptxPrescribed medication order and communication skills.pptx
Prescribed medication order and communication skills.pptx
 
How to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 SalesHow to Manage Cross-Selling in Odoo 17 Sales
How to Manage Cross-Selling in Odoo 17 Sales
 
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdfMaximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
Maximizing Impact_ Nonprofit Website Planning, Budgeting, and Design.pdf
 
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptxPISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
PISA-VET launch_El Iza Mohamedou_19 March 2024.pptx
 
Benefits & Challenges of Inclusive Education
Benefits & Challenges of Inclusive EducationBenefits & Challenges of Inclusive Education
Benefits & Challenges of Inclusive Education
 
General views of Histopathology and step
General views of Histopathology and stepGeneral views of Histopathology and step
General views of Histopathology and step
 
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptx
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptxPractical Research 1: Lesson 8 Writing the Thesis Statement.pptx
Practical Research 1: Lesson 8 Writing the Thesis Statement.pptx
 
Practical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptxPractical Research 1 Lesson 9 Scope and delimitation.pptx
Practical Research 1 Lesson 9 Scope and delimitation.pptx
 
How to Add a New Field in Existing Kanban View in Odoo 17
How to Add a New Field in Existing Kanban View in Odoo 17How to Add a New Field in Existing Kanban View in Odoo 17
How to Add a New Field in Existing Kanban View in Odoo 17
 
What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?What is the Future of QuickBooks DeskTop?
What is the Future of QuickBooks DeskTop?
 
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
CHUYÊN ĐỀ DẠY THÊM TIẾNG ANH LỚP 11 - GLOBAL SUCCESS - NĂM HỌC 2023-2024 - HK...
 
5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...5 charts on South Africa as a source country for international student recrui...
5 charts on South Africa as a source country for international student recrui...
 
Education and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptxEducation and training program in the hospital APR.pptx
Education and training program in the hospital APR.pptx
 

D. Vulcanov: Symbolic Computation Methods in Cosmology and General Relativity [1]

  • 1. Symbolic computation methods in cosmology and general relativity Part I - Using Maple and GrTensorII in general relativity Dumitru N. Vulcanov West University of Timişoara Theoretical and Applied Physics Dept.-“Mircea Zăgănescu” 1
  • 2. Some words before … • Computational physics – a new branch of physics and not only ! • Computational relativity – doing general relativity on the computer ! Computer algebra Numerical simulations for GR for GR 2
  • 3. Some words before … • Computational physics – a new branch of physics and not only ! • Computational relativity – doing general relativity on the computer ! Computer algebra Numerical simulations ?????? for GR for GR 3
  • 4. Some words before … • Computational physics – a new branch of physics and not only ! • Computational relativity – doing general relativity on the computer ! Computer algebra Numerical simulations ?????? for GR for GR Needs a human interface !!!! The spectacular developpment of computer technology makes possible to fill this gap in the very next future … 4
  • 5. Some words before … A 1956 quot;supercomputerquot; - Erma .... in 2009 ! A 2006 supercomputer - Cray .... in 2056 ?! 5
  • 6. Some words before … But how about the software ? It evolved a lot from the early days of programming, so today we have : - object oriented programming - visual techniques - integrated platforms (as Maple, Mathematica...) - graphical and visualisation software - games on the computer... But the programming languages did not moved so fast : - we are still using Fortran - we are still using C, C++ 6
  • 7. Mainframe Computer algebra - CA, is a branch of Symbolic computation (or symbolic mathematics - SM) Symbolic mathematics relates to the use of computers to manipulate mathematical equations and expressions in symbolic form, as opposed to manipulating the approximations of specific numerical quantities represented by those symbols. Such a system might be used for symbolic integration or differentiation, substitution of one expression into another, simplification of an expression, etc. (Wikipedia Free encyclopedia - http://www.wikipedia.org Related fields and domains : - LISP and LISP programming - Computational logic - Automated theorem prover or Computer-aided proof - Artificial intellingence But what a Computer Algebra System is ? 7
  • 8. Mainframe A computer algebra system ( CAS) is a software program that facilitates symbolic mathematics. The core functionality of a CAS is manipulation of mathematical expressions in symbolic form. Types of expressions : The expressions manipulated by CAS typically include polynomials in multiple variables; standard functions of expressions (sine, exponential, etc.); various special functions (gamma, zeta, erf, Bessel, etc.); arbitrary functions of expressions; derivatives, integrals, sums, and products of expressions; truncated series with expressions as coefficients, matrices of expressions, and so on. (This is a recursive definition.) The symbolic manipulations supported typically include * automatic simplification, including simplification with assumptions * substitution of symbolic or numeric values for expressions * change of form of expressions: expanding products and powers, rewriting as partial fractions, rewriting trigonometric functions as exponentials, etc. * differentiation with respect to one or all variables 8
  • 9. Mainframe The symbolic manipulations supported typically include also : # symbolic constrained and unconstrained global optimization # partial and full factorization # solution of linear and some non-linear equations over various domains # solution of some differential and difference equations # taking some limits # some indefinite and definite integration, including multidimensional integrals # integral transforms # expansion as truncated Taylor, Laurent and Puiseux series # some infinite series expansion # some series summation # matrix operations including products, inverses, etc. # display of mathematical expressions in two-dimensional mathematical form, often using typesetting systems 9
  • 10. Mainframe In addition, most CASs include numeric operations: * evaluating for particular numeric values * evaluating to high precision ( bignum arithmetic), allowing for instance the evaluation of 21/3 to 10,000 digits * numeric linear algebra * plotting graphs and parametric plots of functions in two and three dimensions Many also include a high level programming language, allowing users to implement their own algorithms. The study of algorithms useful for computer algebra systems is known as computer algebra. The run-time of numerical programs implemented in computer algebra systems is normally longer than that of equivalent programs implemented in systems such as MATLAB, GNU Octave, or directly in C, since they are programmed for full symbolic generality and thus cannot use machine numerical operations directly for most of their functions. 10
  • 11. History Computer algebra systems began to appear in the early 1970s, and evolved out of research into artificial intelligence, though the fields are now regarded as largely separate. The first popular systems were Reduce, Derive, and Macsyma which are still commercially available; a copyleft version of Macsyma called Maxima is actively being maintained. The current market leaders are Maple and Mathematica; both are commonly used by research mathematicians, scientists, and engineers. MuPAD is a commercial system too. Some computer algebra systems focus on a specific area of application; these are typically developed in academia and free. 11
  • 12. List of CAS systems Proprietary - Commercial * Derive, DoCon * Maple, MathCad, Mathematica * MuMATH, MuPAD * Reduce * WIRIS Free / open source software * Axiom * dcas * Eigenmath * GiNaC * Mathomatic * Maxima * Yacas * SHEEP Algebraic geometry, polynomial computations * CoCoA * Macaulay * SINGULAR 12
  • 13. List of CAS systems 13
  • 14. Computer algebra (systems) and General Relativity General Relativity is a theory of the dynamics of space-time, based on the differential geometry which implies long and complicated analytic computation, tensor manipulations, covariant derivatives and manny other geometrical ... ingredients ! Thus the use of CA in this field was very interesting and challenging from the very early beginning of all CAS. CA is providing GRG new fast computational tools on the computer and on the other side, the developping of CA pushed also the research in GRG field. Several CAS were used during the precedent decades, following the developpment of computer technology, of course. Examples : REDUCE, Maple, Maxima and even Mathematica (?!) Some CAS were specially designed for their use in GRG : SHEEP as an example Two CAS proved to be the most viable, having the largest spectrum of 14 applicability and are now the most used : REDUCE and MAPLE.
  • 15. Maple Maple is a general-purpose commercial computer algebra system. It was first developed in 1981 by the Symbolic Computation Group at the University of Waterloo in Waterloo, Ontario, Canada. Since 1988, it has been developed and sold commercially by Waterloo Maple Inc. (also known as Maplesoft), a Canadian company also based in Waterloo, Ontario. The current version is Maple 12. Maple is an interpreted, dynamically typed programming language. As is usual with computer algebra systems, symbolic expressions are stored in memory as directed acyclic graphs. Since Maple 6 the language has permitted variables of lexical scope. 15
  • 16. Maple + GrTensorII GrTensor II is a computer algebra package for performing calculations in the general area of differential geometry. Authors : Peter Musgrave, Denis Pollney (!!!) and Kayll Lake Its purpose is the calculation of tensor components on curved spacetimes specified in terms of a metric or set of basis vectors. Though originally designed for use in the field of general relativity, GRTensorII is useful in many other fields. GRTensor II is not a stand alone package, but requires an algebraic engine. The program was originally developed for MapleV. GRTensorII runs with all versions of Maple, Maple V Release 3 to Maple 11. A limited version (GRTensorM) has been ported to Mathematica. GRTensor II and related software and documentation are distributed free of charge see at http://grtensor.org 16
  • 17. Maple + GrTensorII The geometrical environment of GrTensorII is a Riemannian manifold with connection compatible with the riemannian metric . Special commands and routines for calculating geometrical objects as : - the metric and the line element ( qload(), g(dn,dn),,makeg() ) - Christoffel symbols and the covariant derivative (Chr(up,dn,dn)) - Ricci tensor and Ricci scalar (R(dn,dn), Ricciscalar) - Einstein tensor (G(up,dn)) , etc. Other facilities are available, as : •Several predefined metrics and possibiliy to define new ones •Manipulating with indices •Extracting tensor components •Defining new tensors using their natural definitions •Advanced simplification routines... 17
  • 18. Maple + GrTensorII An example : calculating the Bianchi identities : where Thus we have a simple sequence of Maple+ GrTensorII commands : > grtw(); > qload(rob_sons); > grdef(`bia{ ^i }:=G{ ^i ^j ;j }`); > grcalc(bia(up)); > gralter(bia(up),simplify); > grdisplay(bia(up)); If the metric is compatible with the riemannian connection the components of the Bianchi tensor must vanish. For the Robertson-Walker metric above (called quot;rob_sonsquot;) it gives: For the rob_sons spacetime: bi a(up) bi a(up) = All components are zero 18
  • 19. Maple + GrTensorII For recent results in applying GrTensor II in different areas of GRG see at : http://grtensor.org inside sections Papersquot; and quot;Demonstrationsquot; (examples : exact solutions of Einstein eqs, Newman-Penrose null tetrad formalism...) Application to canonical ADM formalism can be found at the same website (Vulcanov demonstrations) Application in the study of Dirac eq. on curved spacetimes with/without torsion see : D.N. Vulcanov - Comp. Phys. Comm., vol. 154, 205 (2003) In cosmology see : D.N. Vulcanov, V.D. Vulcanov - Maple+GrTensor libraries for cosmology, SYNASC conference, Timisoara, 2004 Also see the contributions of Nigel Bishop !!! 19
  • 20. End of part I But before the break let’s have a demonstration !!! 20