Computer algebra system software for Linux | Computer algebra systems

KANT (software)

KANT is a computer algebra system for mathematicians interested in algebraic number theory, performing sophisticated computations in algebraic number fields, in global function fields, and in local fields. KASH is the associated command line interface. They have been developed by the Algebra and Number Theory research group of the Institute of Mathematics at Technische Universität Berlin under the project leadership of Prof. Dr . Kant is free for non-commercial use. (Wikipedia).

Video thumbnail

Michael Joswig - What is Mathematical Software

What Is Mathematical Software? A short answer to this question is: Mathematical Software is what mathematics receives as a benefit from the digital age. This is relevant because Mathematical Software is useful in many ways. For instance, Mathematical Software serves as a tool to support

From playlist Research Spotlight

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Don't Build Perfect Software

Many of us strive for perfection in software development, is this really an appropriate target to aim for? Perfect code is an illusion. Software engineering is an empirical discipline, and the software we create is only ever correct in a narrow context, from a technical and a social perspe

From playlist Software Engineering

Video thumbnail

Quantum Computer in a Nutshell (Documentary)

The reservoir of possibilities offered by the fundamental laws of Nature, is the key point in the development of science and technology. Quantum computing is the next step on the road to broaden our perspective from which we currently look at the Universe. The movie shows the history of pr

From playlist Quantum computing

Video thumbnail

Unix for Programmers - My Computer Science Degree in the Real World

I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu

From playlist Computer Science

Video thumbnail

APIs for Beginners - How to use an API (Full Course / Tutorial)

⚠️ Watch the UPDATED version of this course: https://youtu.be/WXsD0ZgxjRw What is an API? Learn all about APIs (Application Programming Interfaces) in this full tutorial for beginners. You will learn what APIs do, why APIs exist, and the many benefits of APIs. APIs are used all the time i

From playlist Computer Science Concepts

Video thumbnail

What Is Infrastructure As Code?

Infrastructure as code is a central idea in Continuous Delivery. The environment in which our software exists is a dependency of our software, so we need to control that environment as far as we can. If our aim is to release software reliably and repeatedly we need to control the variables

From playlist Software Engineering

Video thumbnail

What Is Quantum Computing | Quantum Computing Explained | Quantum Computer | #Shorts | Simplilearn

🔥Explore Our Free Courses With Completion Certificate by SkillUp: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=QuantumComputingShorts&utm_medium=ShortsDescription&utm_source=youtube Quantum computing is a branch of computing that focuses on developing computer tech

From playlist #Shorts | #Simplilearn

Video thumbnail

Do We Need Ethical Principles? Richard Rorty (1994)

Richard Rorty gives a talk on ethics and ethical principles at the Vancouver Institute in 1994. Note, the introduction to the speaker has been edited out and the audio has been slightly improved. More details will be added later. 00:00 Talk 50:59 Q&A #Philosophy #Rorty #Ethics

From playlist Social & Political Philosophy

Video thumbnail

The Philosophy of Science - Hilary Putnam & Bryan Magee (1978)

In this program, Hilary Putnam discusses the philosophy of science with Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. Hilary Putnam was an influential American philosopher, as well as a mathematician and computer scientist. As a major figure in analytic

From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)

Video thumbnail

Can you read my mind? - Philosophy Tube

Is telepathy actually possible, or is it logically contradictory? Metaphysics Playlist: https://www.youtube.com/playlist?list=PLvoAL-KSZ32cX32PRBl1D4b4wr8DwhRQ4 The comment music this week is MC Hammer's "Can't Touch This". Twitter: https://twitter.com/PhilosophyTube 200 subscribers! Aw

From playlist KNOWLEDGE, LOGIC, & RELIGION

Video thumbnail

13. Deontology

Philosophy and the Science of Human Nature (PHIL 181) Professor Gendler opens with a final criticism of Utilitarianism from Bernard Williams: in some cases, a good person should feel reluctant to do an act which brings about the greatest happiness, even if it is the right thing to do. T

From playlist Philosophy and the Science of Human Nature w/ Tamar Gendler

Video thumbnail

PHILOSOPHY: Immanuel Kant

Immanuel Kant was acutely aware of living in an age when philosophy would need to supplant the role once played by religion. This helped him to arrive at his most famous concept: the ‘categorical imperative.’ If you like our films, take a look at our shop (we ship worldwide): https://goo.

From playlist WESTERN PHILOSOPHY

Video thumbnail

2 The Broader Philosophical Context - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 2nd lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw The significant advances in physics in the 17th century stood in vivid contrast to the stagnation of tr

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

3 Space, Time & the "Analogies of Experiences" - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 3rd lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Kant's so-called "Copernican" revolution in metaphysics begins with the recognition of the observer's c

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

4 Synthetic A Priori Judgments - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 4th lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Kant claims that, "our sense representation is not a representation of things in themselves, but of th

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

1 Just What is Kant's "Project"? - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 1st lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Both sense and reason are limited. Kant must identify the proper mission and domain of each, as well as

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

14. The Trolley Problem

Philosophy and the Science of Human Nature (PHIL 181) The discussion of Kant from last lecture continues with a statement and explication of his first formulation of the categorical imperative: act only in such a way that you can will your maxim to be a universal law. Professor Gendler

From playlist Philosophy and the Science of Human Nature w/ Tamar Gendler

Video thumbnail

Logic for Programmers: Propositional Logic

Logic is the foundation of all computer programming. In this video you will learn about propositional logic. 🔗Homework: http://www.codingcommanders.com/logic.php 🎥Logic for Programmers Playlist: https://www.youtube.com/playlist?list=PLWKjhJtqVAbmqk3-E3MPFVoWMufdbR4qW 🔗Check out the Cod

From playlist Logic for Programmers

Related pages

Algebraic number field | Local field | Algebraic number theory | Computer algebra system | List of computer algebra systems