Comparisons of mathematical software | Computer algebra systems

List of computer algebra systems

The following tables provide a comparison of computer algebra systems (CAS). A CAS is a package comprising a set of algorithms for performing symbolic manipulations on algebraic objects, a language to implement them, and an environment in which to use the language. A CAS may include a user interface and graphics capability; and to be effective may require a large library of algorithms, efficient data structures and a fast kernel. (Wikipedia).

Video thumbnail

Linear Algebra Full Course for Beginners to Experts

Linear algebra is central to almost all areas of mathematics. For instance, linear algebra is fundamental in modern presentations of geometry, including for defining basic objects such as lines, planes and rotations. Also, functional analysis may be basically viewed as the application of l

From playlist Linear Algebra

Video thumbnail

What are the Types of Numbers? Real vs. Imaginary, Rational vs. Irrational

We've mentioned in passing some different ways to classify numbers, like rational, irrational, real, imaginary, integers, fractions, and more. If this is confusing, then take a look at this handy-dandy guide to the taxonomy of numbers! It turns out we can use a hierarchical scheme just lik

From playlist Algebra 1 & 2

Video thumbnail

19 Defining the types of binary operations

The two types of binary operations discussed in this video are commutative and associative. We saw them in the previous video and here we define them specifically so that we can build on our repertoire to use in proofs. Remember, it is by filling up our toolbox with these definitions that

From playlist Abstract algebra

Video thumbnail

Systems of linear equations -- Elementary Linear Algebra

This lecture is on Elementary Linear Algebra. For more see http://calculus123.com.

From playlist Elementary Linear Algebra

Video thumbnail

18 Types of binary operations

In this video we look at the commutative and associative types of operations on the two example sets from the previous video.

From playlist Abstract algebra

Video thumbnail

Algebra - Ch. 0.6: Basic Concepts (5 of 36) Number Sets and Set Notations

Visit http://ilectureonline.com for more math and science lectures! In this video I will show and explain number sets, set notations, subsets, elements in a set, and the lexicons associated with set vocabulary. Next video in this series can be seen at: https://youtu.be/_x3eE0_m6jQ

From playlist ALGEBRA 0.6 BASIC CONCEPTS

Video thumbnail

Algebra for Beginners | Basics of Algebra

#Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols and the rules for manipulating these symbols; it is a unifying thread of almost all of mathematics. Table of Conten

From playlist Linear Algebra

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

What We've Learned from NKS Chapter 12: The Principle of Computational Equivalence [Part 2]

In this episode of "What We've Learned from NKS", Stephen Wolfram is counting down to the 20th anniversary of A New Kind of Science with [another] chapter retrospective. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or th

From playlist Science and Research Livestreams

Video thumbnail

Rigidity and Flexibility of Schubert classes - Colleen Robles

Colleen Robles Texas A & M University; Member, School of Mathematics January 27, 2014 Consider a rational homogeneous variety X. The Schubert classes of X form a free additive basis of the integral homology of X. Given a Schubert class S in X, Borel and Haefliger asked: aside from the Schu

From playlist Mathematics

Video thumbnail

Ross Duncan: Quantum formal methods

CIRM VIRTUAL EVENT Recorded during the meeting "Spring School in Theoretical Computer Science" the May 25, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians

From playlist Virtual Conference

Video thumbnail

GAP - 1 by Alexander Hulpke

DATE & TIME 05 November 2016 to 14 November 2016 VENUE Ramanujan Lecture Hall, ICTS Bangalore Computational techniques are of great help in dealing with substantial, otherwise intractable examples, possibly leading to further structural insights and the detection of patterns in many abstra

From playlist Group Theory and Computational Methods

Video thumbnail

Kirsten Eisentraeger - Classical and quantum algorithms for isogeny problems - IPAM at UCLA

Recorded 26 January 2022. Kirsten Eisentraeger of Pennsylvania State University presents "Classical and quantum algorithms for isogeny problems" at IPAM's Quantum Numerical Linear Algebra Workshop. Abstract: Isogeny-based cryptography is one of a few candidates for post-quantum cryptograph

From playlist Quantum Numerical Linear Algebra - Jan. 24 - 27, 2022

Video thumbnail

Integrable combinatorics – Philippe Di Francesco – ICM2018

Mathematical Physics Invited Lecture 11.15 Integrable combinatorics Philippe Di Francesco Abstract: We explore various combinatorial problems mostly borrowed from physics, that share the property of being continuously or discretely integrable, a feature that guarantees the existence of c

From playlist Mathematical Physics

Video thumbnail

Gabriela Jeronimo 7/7/14

Title: On the Differential Nullstellensatz: Order and Degree Bounds

From playlist Spring 2014

Video thumbnail

The Log Tables of Napier, Burgi and Briggs | Algebraic Calculus One | Wild Egg

In this video we explore how the general relations Log and Exp between a point z on a central conic, and the signed area of the sector formed by that point z and a fixed point 1 on the conic are related, particularly in the green geometry. This general format allows us a larger view of the

From playlist Old Algebraic Calculus Videos

Video thumbnail

Lecture 02: Linear Algebra (P)Review (CMU 15-462/662)

Full playlist: https://www.youtube.com/playlist?list=PL9_jI1bdZmz2emSh0UQ5iOdT2xRHFHL7E Course information: http://15462.courses.cs.cmu.edu/ 0:00 Linear Algebra in Computer Graphics 3:27 Vector Spaces — 8:42 Cartesian Coordinates — 10:46 Vector Operations — 16:04 Vector Spaces — 19:4

From playlist Computer Graphics (CMU 15-462/662)

Video thumbnail

Quiz: Composition of Functions (Graph & Table)

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

From playlist Algebra 1: Dynamic Interactives!

Video thumbnail

Computing inverses of matrices | Linear Algebra MATH1141 | N J Wildberger

Matrix inverses are best computed by hand using a form of row reduction with a suitably augmented matrix. ************************ Screenshot PDFs for my videos are available at the website http://wildegg.com. These give you a concise overview of the contents of the lectures for various P

From playlist Higher Linear Algebra

Related pages

Quantifier elimination | Derive (computer algebra system) | Differential equation | Algebraic structure | Magnus (computer algebra system) | CoCoA | GiNaC | Linear algebra | List of numerical libraries | MATLAB | Comparison of statistical packages | PARI/GP | KANT (software) | Statistics | HP Prime | FriCAS | TI-Nspire series | Probability | Magma (computer algebra system) | Commutative algebra | Polynomial | Cadabra (computer program) | Reduce (computer algebra system) | Combinatorics | Mathematical software | Resultant | List of statistical software | Formula editor | FORM (symbolic manipulation system) | Graph theory | GAP (computer algebra system) | Expression (mathematics) | Julia (programming language) | Control theory | Equation | Maple (software) | List of information graphics software | Infinite group | MuPAD | Integral transform | Maxima (software) | Recurrence relation | SMath Studio | Algebraic geometry | Comparison of numerical-analysis software | Algebraic number theory | Group theory | SymbolicC++ | Number theory | Wolfram Research | Erable | SageMath | Mathomatic | Integral | Axiom (computer algebra system) | Calculus | Diophantine equation | Mathcad | Xcas | Macsyma | Complex number | MuMATH | Yacas | Differential geometry | Tensor field | Clojure | Inequality (mathematics) | Euler (software) | Fermat (computer algebra system) | Macaulay2 | Scilab | Elementary algebra | SymPy | Computer algebra system | Singularity theory