Computer algebra system software for Linux | Free computer algebra systems

FriCAS

FriCAS is a general purpose computer algebra system with a strong focus on mathematical research and development of new algorithms. It comprises an interpreter, a compiler and a still-growing libraryof more than 1,000 domains and categories. FriCAS provides a strongly typed high-level programming language called SPAD and a similar interactive languagethat uses type-inferencing for convenience. Aldor was intentionally developed being the next generation compiler for the Axiom CAS and its forks. FriCAS (optionally) allows running Aldor programs. Both languagesshare a similar syntax and a sophisticated (dependent) type system. FriCAS is comprehensively documented and available as source code and as a binary distribution for the most commonplatforms. Compiling the sources requires besides other prerequisites a Common Lisp environment (wherebymany of the major implementations are supported and freely available as open source). FriCAS runs on many POSIX platforms such as Linux, macOS, Unix,BSD as well as under Cygwin andMicrosoft Windows (WSL). (Wikipedia).

Video thumbnail

C73 Introducing the theorem of Frobenius

The theorem of Frobenius allows us to calculate a solution around a regular singular point.

From playlist Differential Equations

Video thumbnail

Geometry of Frobenioids - part 2 - (Set) Monoids

This is an introduction to the basic properties of Monoids. This video intended to be a starting place for log-schemes, Mochizuki's IUT or other absolute geometric constructions using monoids.

From playlist Geometry of Frobenioids

Video thumbnail

Dimensions (1 of 3: The Traditional Definition - Directions)

More resources available at www.misterwootube.com

From playlist Exploring Mathematics: Fractals

Video thumbnail

DesmosLIVE: An Exploration of Desmos + Mathalicious

Kate Nowak of Mathalicious explores a few Mathalicious lessons with Desmos

From playlist Desmos LIVE

Video thumbnail

ROUND FRESNEL LENS ON A STICK

http://www.greenpowerscience.com/ DEMONSTRATION MODEL OF A FRESNEL LENS PERFECT FOR FAST DEMOS

From playlist FRESNEL LENS

Video thumbnail

Geometry of Frobenioids - part 3 - What is a Frobenioid?

We will talk about the construction of Frobenioids in Mochizuki's Geometry of Frobenioids 1. Some nice links: https://plus.google.com/+lievenlebruyn/posts/Y1XVCDLWRP5https://plus.google.com/+lievenlebruyn/posts/Y1XVCDLWRP5 http://mathoverflow.net/questions/195353/what-is-a-frobenioid

From playlist Geometry of Frobenioids

Video thumbnail

How To Do Medical Image Classification With Deep Learning | Session 05 | #AI

Don’t forget to subscribe! In this project series, you will learn how to do medical image classification with deep learning. This series will cover all the necessary steps for medical image classification using Keras. You will learn to employ the Keras Deep Learning library and an Effici

From playlist Medical Image Classification With Deep Learning

Video thumbnail

How To Do Image Recognition With Neural Networks | Session 09 | #AI

Don’t forget to subscribe! In this project series, you will learn how to do image recognition with neural networks. This series will cover all the important steps that you need to learn to do image recognition with neural networks. This series will guide you step by step about how you ca

From playlist Image Recognition With Neural Networks

Video thumbnail

How To Do Image Recognition With Neural Networks | Session 08 | #AI

Don’t forget to subscribe! In this project series, you will learn how to do image recognition with neural networks. This series will cover all the important steps that you need to learn to do image recognition with neural networks. This series will guide you step by step about how you ca

From playlist Image Recognition With Neural Networks

Video thumbnail

Medusa and Athena - Ancient Greek Goddesses - Greek Mythology

Based on a story by Lin and Don Donn - https://ancienthistory.mrdonn.org/myths.html, used with permission. Medusa and Athena - Ancient Greek Goddesses - Greek Mythology In later myths (mainly in Ovid) Medusa was the only Gorgon to possess snake locks because they were a punishment from A

From playlist Ancient Greek Mythology

Video thumbnail

Ignorance & Censorship | Philosophy Tube

A video about ignorance, something I'm a world expert in ❓🤫 ❓ https://www.patreon.com/PhilosophyTube Subscribe! http://tinyurl.com/pr99a46 Paypal.me/PhilosophyTube Twitter: @PhilosophyTube Email: philosophytubebusiness@gmail.com Facebook: http://tinyurl.com/jgjek5w realphilosophytube

From playlist The Main Show

Video thumbnail

Dynamics on character varieties - William Goldman

Character Varieties, Dynamics and Arithmetic Topic: Dynamics on character varieties Speaker: William Goldman Affiliation: University of Maryland; Member, School of Mathematics Date: November 17, 2021 In these two talks, I will describe how the classification of locally homogeneous geomet

From playlist Mathematics

Video thumbnail

Dynamics on character varieties - William Goldman

Character Varieties, Dynamics and Arithmetic Topic: Dynamics on character varieties Speaker: William Goldman Affiliation: University of Maryland; Member, School of Mathematics Date: November 10, 2021 In these two talks, I will describe how the classification of locally homogeneous geomet

From playlist Mathematics

Video thumbnail

FRESNEL LENS FIBER OPTIC OPTICAL CABLE Solar Lighting

This is a Spot Fresnel Lens focused on composite Fiber Optic Cable. This is a fiber optic ponytail.

From playlist THE FRESNEL LENS SOLAR POWER

Video thumbnail

Arithmetic and Dynamics on Varieties of Markoff Type -Alexander Gamburd

Arithmetic Groups Topic: Arithmetic and Dynamics on Varieties of Markoff Type Speaker: Alexander Gamburd Affiliation: The City University of New York Date: April 13, 2022 The Markoff equation x2+y2+z2=3xyz, which arose in his spectacular thesis (1879), is ubiquitous in a tremendous varie

From playlist Mathematics

Video thumbnail

mandelbrot fractal animation 5

another mandelbrot/julia fractal animation/morph.

From playlist Fractal

Video thumbnail

Strong approximation for the Markoff equation via nonabelian level structures...- William Chen

Joint IAS/Princeton University Number Theory Seminar Topic: Strong approximation for the Markoff equation via nonabelian level structures on elliptic curves Speaker: William Chen Affiliation: Columbia University Date: November 5, 2020 For more video please visit http://video.ias.edu

From playlist Mathematics

Related pages

Axiom (computer algebra system) | Type inference | Type system | Risch algorithm | Mathematical software | Strong and weak typing | Algorithm | Computer algebra system | Dependent type | List of computer algebra systems