Computer algebra systems

Magnus (computer algebra system)

Magnus was a computer algebra system designed to solve problems in group theory. It was designed to run on Unix-like operating systems, as well as Windows. The development process was started in 1994 and the first public release appeared in 1997. The project was abandoned in August 2005. The unique feature of Magnus was that it provided facilities for doing calculations in and about infinite groups. Almost all symbolic algebra systems are oriented toward finite computations that are guaranteed to produce answers, given enough time and resources. By contrast, Magnus was concerned with experiments and computations on infinite groups which in some cases are known to terminate, while in others are known to be generally recursively unsolvable. (Wikipedia).

Video thumbnail

Group Definition (expanded) - Abstract Algebra

The group is the most fundamental object you will study in abstract algebra. Groups generalize a wide variety of mathematical sets: the integers, symmetries of shapes, modular arithmetic, NxM matrices, and much more. After learning about groups in detail, you will then be ready to contin

From playlist Abstract Algebra

Video thumbnail

What is Abstract Algebra? (Modern Algebra)

Abstract Algebra is very different than the algebra most people study in high school. This math subject focuses on abstract structures with names like groups, rings, fields and modules. These structures have applications in many areas of mathematics, and are being used more and more in t

From playlist Abstract Algebra

Video thumbnail

Quiz: Composition of Functions (Graph & Table)

Link: https://www.geogebra.org/m/QgN7nwCh

From playlist Algebra 1: Dynamic Interactives!

Video thumbnail

Linear algebra for Quantum Mechanics

Linear algebra is the branch of mathematics concerning linear equations such as. linear functions and their representations in vector spaces and through matrices. In this video you will learn about #linear #algebra that is used frequently in quantum #mechanics or #quantum #physics. ****

From playlist Quantum Physics

Video thumbnail

Linear Algebra for Computer Scientists. 1. Introducing Vectors

This computer science video is one of a series on linear algebra for computer scientists. This video introduces the concept of a vector. A vector is essentially a list of numbers that can be represented with an array or a function. Vectors are used for data analysis in a wide range of f

From playlist Linear Algebra for Computer Scientists

Video thumbnail

SDS 575: Optimizing Computer Hardware with Deep Learning — with Magnus Ekman

#NVIDIAComputerArchitecture #DeepLearning #HardwareMachineLearning In this episode, the Director of Architecture at NVIDIA, Dr. Magnus Ekman, joins Jon Krohn to discuss how machine learning, including deep learning, can optimize computer hardware design. The pair also review his exception

From playlist Super Data Science Podcast

Video thumbnail

The equilibrium landscape of the Heisenberg spin chain by Enej Ilievski

PROGRAM THERMALIZATION, MANY BODY LOCALIZATION AND HYDRODYNAMICS ORGANIZERS: Dmitry Abanin, Abhishek Dhar, François Huveneers, Takahiro Sagawa, Keiji Saito, Herbert Spohn and Hal Tasaki DATE : 11 November 2019 to 29 November 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore How do is

From playlist Thermalization, Many Body Localization And Hydrodynamics 2019

Video thumbnail

Mechthild Thalhammer: High-order Magnus integrators for non-autonomous linear evolution equations

Abstract: The class of commutator-free Magnus integrators is known to provide a favourable alternative to standard interpolatory Magnus integrators, in particular for large-scale applications arising in the time integration of non-autonomous linear evolution equations. A high-order commuta

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Free Group Rings by I. B. S. Passi

PROGRAM GROUP ALGEBRAS, REPRESENTATIONS AND COMPUTATION ORGANIZERS: Gurmeet Kaur Bakshi, Manoj Kumar and Pooja Singla DATE: 14 October 2019 to 23 October 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore Determining explicit algebraic structures of semisimple group algebras is a fund

From playlist Group Algebras, Representations And Computation

Video thumbnail

B18 Plane autonomous systems

In this section I introduce plane autonomous systems, which form beautiful and useful vector fields.

From playlist A Second Course in Differential Equations

Video thumbnail

Gravitational radiation from post-Newtonian sources.... by Luc Blanchet (Lecture - 4)

PROGRAM SUMMER SCHOOL ON GRAVITATIONAL WAVE ASTRONOMY ORGANIZERS : Parameswaran Ajith, K. G. Arun and Bala R. Iyer DATE : 15 July 2019 to 26 July 2019 VENUE : Madhava Lecture Hall, ICTS Bangalore This school is part of the annual ICTS summer schools on gravitational-wave (GW) astronomy.

From playlist Summer School on Gravitational Wave Astronomy -2019

Video thumbnail

Function Composition: Dynamic Graphical Illustrator

Link: https://www.geogebra.org/m/nqymeFc4

From playlist Algebra 1: Dynamic Interactives!

Video thumbnail

Winter Theory School 2022: Roderich Moessner

Floquent Systems and time crystals

From playlist Winter Theory 2022

Video thumbnail

(Pre)thermalization in periodically driven systems: a quantum by Marin Bukov

PROGRAM THERMALIZATION, MANY BODY LOCALIZATION AND HYDRODYNAMICS ORGANIZERS: Dmitry Abanin, Abhishek Dhar, François Huveneers, Takahiro Sagawa, Keiji Saito, Herbert Spohn and Hal Tasaki DATE : 11 November 2019 to 29 November 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore How do is

From playlist Thermalization, Many Body Localization And Hydrodynamics 2019

Video thumbnail

Robin Deeley: The K-theory of the stable algebra and stable Ruelle algebra of a Wieler solenoid

Talk by Robin Deeley in Global Noncommutative Geometry Seminar (Americas) http://www.math.wustl.edu/~xtang/NCG-Seminar.html on May 13, 2020.

From playlist Global Noncommutative Geometry Seminar (Americas)

Video thumbnail

What is linear algebra?

This is part of an online course on beginner/intermediate linear algebra, which presents theory and implementation in MATLAB and Python. The course is designed for people interested in applying linear algebra to applications in multivariate signal processing, statistics, and data science.

From playlist Linear algebra: theory and implementation

Video thumbnail

Linear algebra: Prove the Sherman-Morrison formula for computing a matrix inverse

This is part of an online course on beginner/intermediate linear algebra, which presents theory and implementation in MATLAB and Python. The course is designed for people interested in applying linear algebra to applications in multivariate signal processing, statistics, and data science.

From playlist Linear algebra: theory and implementation

Video thumbnail

Collapse and revival of quantum many-body scars via Floquet engineering by Arnab Sen

PROGRAM THERMALIZATION, MANY BODY LOCALIZATION AND HYDRODYNAMICS ORGANIZERS: Dmitry Abanin, Abhishek Dhar, François Huveneers, Takahiro Sagawa, Keiji Saito, Herbert Spohn and Hal Tasaki DATE : 11 November 2019 to 29 November 2019 VENUE: Ramanujan Lecture Hall, ICTS Bangalore How do is

From playlist Thermalization, Many Body Localization And Hydrodynamics 2019

Related pages

Computer algebra system | Group theory