English
Related papers

Related papers: Specialized computer algebra system for applicatio…

200 papers

We consider some simple examples of supersymmetric quantum mechanical systems and explore their possible geometric interpretation with the help of geometric aspects of real Clifford algebras. This leads to natural extensions of the…

High Energy Physics - Theory · Physics 2008-11-26 Douglas Lundholm

An R-algebra A is called E(R)-algebra if the canonical homomorphism from A to the endomorphism algebra End_RA of the R-module {}_R A, taking any a in A to the right multiplication a_r in End_R A by a is an isomorphism of algebras. In this…

Logic · Mathematics 2007-11-21 Rüdiger Göbel , Saharon Shelah

We investigate the utility of geometric (Clifford) algebras (GA) methods in two specific applications to quantum information science. First, using the multiparticle spacetime algebra (MSTA, the geometric algebra of a relativistic…

Mathematical Physics · Physics 2011-08-08 Carlo Cafaro , Stefano Mancini

We present an approach to the computation of confluent systems of defining relations in associative conformal algebras based on the similar technique for modules over ordinary associative algebras.

Quantum Algebra · Mathematics 2018-07-24 Pavel Kolesnikov

The design and implementation of parallel algorithms is a fundamental task in computer algebra. Combining the computer algebra system Singular and the workflow management system GPI-Space, we have developed an infrastructure for massively…

Algebraic Geometry · Mathematics 2020-10-16 Janko Boehm , Anne Frühbis-Krüger , Mirko Rahn

This is the first paper in a series (of four) designed to show how to use geometric algebras of multivectors and extensors to a novel presentation of some topics of differential geometry which are important for a deeper understanding of…

Differential Geometry · Mathematics 2015-06-26 V. V. Fernandez , A. M. Moya , W. A. Rodrigues

We introduce operational semantics into games. And based on the operational semantics, we establish a full algebra of games, including basic algebra of games, algebra of concurrent games, recursion and abstraction. The algebra can be used…

Logic in Computer Science · Computer Science 2019-09-04 Yong Wang

Studies of issues related to computability and computational complexity involve the use of a model of computation. Pivotal to such a model are the computational processes considered. Processes of this kind can be described using an…

Logic in Computer Science · Computer Science 2024-06-24 C. A. Middelburg

We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups.

Representation Theory · Mathematics 2019-03-05 Christof Geiss , Bernard Leclerc , Jan Schröer

In this paper, we describe general characteristics of the MathPartner computer algebra system (CAS) and Mathpar programming language thereof. MathPartner can be used for scientific and engineering calculations, as well as in high schools…

Symbolic Computation · Computer Science 2022-04-26 Gennadi Malaschonok

This position paper delves into the transformative role of Geometric Algebra (GA) in advancing specific areas of Computer Graphics (CG) and Extended Reality (XR), particularly in character animation, rendering, rigging, neural rendering,…

Graphics · Computer Science 2025-11-20 Manos Kamarianakis , Antonis Protopsaltis , George Papagiannakis

Geometric Algebra and Calculus are mathematical languages encoding fundamental geometric relations that theories of physics seem to respect. We propose criteria given which statistics of expressions in geometric algebra are computable in…

Quantum Physics · Physics 2020-12-16 Ross N. Greenwood

Information technologies for studying physical-mathematical disciplines on base of mathematical modeling in the computer algebra system Maple are described.

Physics Education · Physics 2014-10-17 Yurii Ignat'ev , Alsu Samigullina

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…

Symbolic Computation · Computer Science 2019-06-07 D. S. Kulyabov , A. V. Korolkova , L. A. Sevastianov

This note is an expanded and updated version of our entry with the same title for the 2006 Encyclopedia of Mathematical Physics. We give a brief overview of graded Poisson algebras, their main properties and their main applications, in the…

Symplectic Geometry · Mathematics 2025-03-14 Alberto S. Cattaneo , Domenico Fiorenza , Riccardo Longoni

We describe the generic modules in each component of the spaces of representations of certain string algebras. In so doing, we calculate the dimensions of higher self-extension groups for generic modules. This algorithm lends itself for use…

Representation Theory · Mathematics 2011-11-23 Andrew Thomas Carroll

The Dirac quantization `procedure' for constrained systems is well known to have many subtleties and ambiguities. Within this ill-defined framework, we explore the generality of a particular interpretation of the Dirac procedure known as…

General Relativity and Quantum Cosmology · Physics 2008-11-26 Domenico Giulini , Donald Marolf

We introduce perfect resolving algebras and study their fundamental properties. These algebras are basic for our theory of differential graded schemes, as they give rise to affine differential graded schemes. We also introduce etale…

Algebraic Geometry · Mathematics 2007-05-23 Kai Behrend

This review is an up-to-date account of the use of numerical relativity to study dynamical, strong-gravity environments in a cosmological context. First, we provide a gentle introduction into the use of numerical relativity in solving…

General Relativity and Quantum Cosmology · Physics 2025-06-24 Josu C. Aurrekoetxea , Katy Clough , Eugene A. Lim

An important tool for the development of the next generation of extremely large telescopes (ELTs) is the Systems Engineering (SE). GMACS is the first-generation multi-object spectrograph working at visible wavelengths for the Giant Magellan…

Instrumentation and Methods for Astrophysics · Physics 2018-12-11 D. M. Faes , A. Souza , D. R. Bortoletto , M. C. P. Almeida