相关论文: Maple+GrTensorII libraries for cosmology
In certain scientific domains, there is a need for tensor operations. To facilitate tensor computations,computer algebra systems are employed. In our research, we have been using Cadabra as the main computer algebra system for several…
We describe a Maple package that serves at least four purposes. First, one can use it to compute whether or not a given polyhedral structure is Zometool constructible. Second, one can use it to manipulate Zometool objects, for example to…
We offer a Maple package {\tt Poincare\_Series} for calculating the Poincar\'e series for the algebras of invariants/covariants of binary forms, for the algebras of joint invariants/covariants of several binary forms, for the kernel of…
We suggest a new, alternative algebraic method for computation of geometrical quantities by means of the embedding of local loops into Lie groups.
It is given an algorithm to obtain generalized power asymptotic expansions of the solutions of the Einstein equations arising for several homogeneous cosmological models. This allows to investigate their behavior near the initial…
Homogeneous isotropic models with two torsion functions built in the framework of the Poincare gauge theory of gravity based on general expression of gravitational Lagrangian by certain restrictions on indefinite parameters are analyzed…
We consider cosmological models in scalar tensor theories of gravity that describe an accelerating universe, and we study a family of inverse power law potentials, for which exact solutions of the Einstein equations are known. We also…
We give a concise, self-contained introduction to perturbation theory in cosmology at linear and second order, striking a balance between mathematical rigour and usability. In particular we discuss gauge issues and the active and passive…
We motivate the use of differentiable probabilistic programming techniques in order to account for the large model-space inherent to astrophysical $\gamma$-ray analyses. Targeting the longstanding Galactic Center $\gamma$-ray Excess (GCE)…
We consider theories of gravity that include many coupled scalar fields with arbitrary couplings, in the geometric framework of wave maps. We examine the possibility of obtaining acceptable cosmological solutions without the inclusion of a…
This is an expository version of our paper [arXiv:1902.07384]. Our aim is to present recent Macaulay2 algorithms for computation of mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over…
A method to compute several scalar quantities of Cosmic Microwave Background maps on the sphere is presented. We consider here four type of scalars: the Hessian matrix scalars, the distortion scalars, the gradient related scalars and the…
In this work, we have explored the advantages and drawbacks of using GPUs instead of CPUs in the calculation of a standard 2-point correlation function algorithm, which is useful for the analysis of Large Scale Structure of galaxies. Taking…
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
An array of large observational programs using ground-based and space-borne telescopes is planned in the next decade. The forthcoming wide-field sky surveys are expected to deliver a sheer volume of data exceeding an exabyte. Processing the…
The interpretation of cosmological observables requires the use of increasingly sophisticated theoretical models. Since these models are becoming computationally very expensive and display non-trivial uncertainties, the use of standard…
The NumericalHilbert package for Macaulay2 includes algorithms for computing local dual spaces of polynomial ideals, and related local combinatorial data about its scheme structure. These techniques are numerically stable, and can be used…
We present a package 'MixedMultiplicity' for computing mixed multiplicities of ideals in a Noetherian ring which is either local or a standard graded algebra over a field. This enables us to find mixed volumes of convex lattice polytopes…
I will briefly present my work on cosmological parameters estimation. Classical methods for parameters estimation involve the exploration of the parameter space on a precalculated grid of cosmological models. Here we try to estimate the…
GPL Maxima is an open-source computer algebra system based on DOE-MACSYMA. GPL Maxima included two tensor manipulation packages from DOE-MACSYMA, but these were in various states of disrepair. One of the two packages, CTENSOR, implemented…