Free mathematics software

Number Theory Library

NTL is a C++ library for doing number theory. NTL supports arbitrary length integer and arbitrary precision floating point arithmetic, finite fields, vectors, matrices, polynomials, lattice basis reduction and basic linear algebra. NTL is free software released under the GNU Lesser General Public License v2.1. (Wikipedia).

Video thumbnail

Number theory Full Course [A to Z]

Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio

From playlist Number Theory

Video thumbnail

Introduction to number theory lecture 27. Groups and number theory

This lecture is part of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 We show how many of the theorems of number theory are special cases of theorems of groups t

From playlist Introduction to number theory (Berkeley Math 115)

Video thumbnail

Prove that there is a prime number between n and n!

A simple number theory proof problem regarding prime number distribution: Prove that there is a prime number between n and n! Please Like, Share and Subscribe!

From playlist Elementary Number Theory

Video thumbnail

How to Learn Number Theory

In this video I go over a book that I read to help teach myself some Number Theory. I have never taken a course in number theory and I was able to read this book and learn some of the material on my own. This is the book on amazon: https://amzn.to/2MNoex4 (note this is an affiliate link,

From playlist Cool Math Stuff

Video thumbnail

A Short Course in Algebra and Number Theory - Elementary Number Theory

To supplement a course taught at The University of Queensland's School of Mathematics and Physics I present a very brief summary of algebra and number theory for those students who need to quickly refresh that material or fill in some gaps in their understanding. This is the fourth lectu

From playlist A Short Course in Algebra and Number Theory

Video thumbnail

Introduction to number theory lecture 43 Gaussian integers

This lecture is part of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 We give some applications of Gaussian integers to the binary quadratic form x^2+y^2. The t

From playlist Introduction to number theory (Berkeley Math 115)

Video thumbnail

Introduction to number theory lecture 1.

This lecture is the first lecture of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 This lecture gives a survey of some of the topics covered later in the course,

From playlist Introduction to number theory (Berkeley Math 115)

Video thumbnail

Intro to Number Theory and The Divisibility Relation

This video introduces the divisibility relation and provided several examples. mathispower4u.com

From playlist Additional Topics: Generating Functions and Intro to Number Theory (Discrete Math)

Video thumbnail

Theory of numbers:Introduction

This lecture is part of an online undergraduate course on the theory of numbers. This is the introductory lecture, which gives an informal survey of some of the topics to be covered in the course, such as Diophantine equations, quadratic reciprocity, and binary quadratic forms.

From playlist Theory of numbers

Video thumbnail

SummerSchool "Arithmetic geometry" Tschinkel - Introduction | 2006

lecture notes: https://drive.google.com/file/d/1VLucSK53-iLrVUbPAanNZ6Lb7nAAgaQ1/view?usp=sharing Clay Mathematics Institute Summer School 2006 on "Arithmetic geometry" survey lectures given at the 2006 Clay Summer School on Arithmetic Geometry at the Mathematics Institute of the Univer

From playlist Clay Mathematics Institute Summer School 2006 on "Arithmetic geometry"

Video thumbnail

10/25/19, Fabian Immler

Fabian Immler, Carnegie Mellon University Formal mathematics and a proof of chaos Formal proof has been successfully applied to the verification of hardware and software systems. But formal proof is also applicable to mathematics: proofs can be checked with ultimate rigor and one can bui

From playlist Fall 2019 Kolchin Seminar in Differential Algebra

Video thumbnail

Benedikt Ahrens - Univalent Foundations and the UniMath library - IPAM at UCLA

Recorded 13 February 2023. Benedikt Ahrens of Delft University of Technology presents "Univalent Foundations and the UniMath library" at IPAM's Machine Assisted Proofs Workshop. Abstract: Univalent Foundations (UF) were designed by Voevodsky as a foundation of mathematics that is "invarian

From playlist 2023 Machine Assisted Proofs Workshop

Video thumbnail

Egbert Rijke: Daily applications of the univalence axiom - lecture 3

HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 24, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M

From playlist Combinatorics

Video thumbnail

Books You Can (Never) Read

You never know, you might only have a narrow window to enjoy something before its gone. After 7 months, I have returned. In this long installment of Trey the Explainer, I discuss the history of books, literacy, and lost media. Are you ready to learn what you can never know? Thumbnail art

From playlist Anthropology Profile

Video thumbnail

Egbert Rijke: Daily applications of the univalence axiom - lecture 1

HYBRID EVENT Recorded during the meeting "Logic and Interactions" the February 21, 2022 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual M

From playlist Combinatorics

Video thumbnail

Math Talk! Dr Kevin Buzzard, Langlands, diversity, and proof assistants.

In this interview I chat with Dr. Kevin Buzzard about Langlands, diversity and getting more women in mathematics, and proof assistants, particularly Lean. The natural number game: https://www.ma.imperial.ac.uk/~buzzard/xena/natural_number_game/ Lean community: https://leanprover.githu

From playlist Math Talk!

Video thumbnail

NOTACON 9: Code That Sounds Good: Music Theory and Algorithmic Composition (EN) | enh. audio

Speaker: nicolle "rogueclown" neulist Whether you are interested in using code to develop or adapt musical ideas, turn mathematical functions or data into music, or generally explore the intersection of music and programming, this talk will give you a place to start. This talk will introd

From playlist Notacon 9

Video thumbnail

The Video EVERY Math Student Should Watch

In this video I interview a wonderful mathematician and author. He discusses learning to write proofs, advice for math students, career advice, his research area, why he became a mathematician, his new book, etc. His name is Thomas Garrity and he has just written a new book: https://amzn.

From playlist Interviews

Video thumbnail

NOTACON 9: Code That Sounds Good: Music Theory and Algorithmic Composition (EN)

Speaker: nicolle "rogueclown" neulist Whether you are interested in using code to develop or adapt musical ideas, turn mathematical functions or data into music, or generally explore the intersection of music and programming, this talk will give you a place to start. This talk will introd

From playlist Notacon 9

Video thumbnail

Introduction to number theory lecture 28. Products of groups

This lecture is part of my Berkeley math 115 course "Introduction to number theory" For the other lectures in the course see https://www.youtube.com/playlist?list=PL8yHsr3EFj53L8sMbzIhhXSAOpuZ1Fov8 We define products of groups, and rephrase some earlier results in terms of these products.

From playlist Introduction to number theory (Berkeley Math 115)

Related pages

Vector space | Linear algebra | Integer | Matrix (mathematics) | Arithmetic | Number theory