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
Mathematical Knowledge Management software survey (paper review)
In this video I talk about the paper "The Space of Mathematical Software Systems — A Survey of Paradigmatic Systems" found here: https://arxiv.org/abs/2002.04955 My notes on the text and all links shown on in the video can be found here: https://gist.github.com/Nikolaj-K/87371836d1dd1abfba
From playlist Reviews
Formal Definition of a Function using the Cartesian Product
Learning Objectives: In this video we give a formal definition of a function, one of the most foundation concepts in mathematics. We build this definition out of set theory. **************************************************** YOUR TURN! Learning math requires more than just watching vid
From playlist Discrete Math (Full Course: Sets, Logic, Proofs, Probability, Graph Theory, etc)
Maths for Programmers: Introduction (What Is Discrete Mathematics?)
Transcript: In this video, I will be explaining what Discrete Mathematics is, and why it's important for the field of Computer Science and Programming. Discrete Mathematics is a branch of mathematics that deals with discrete or finite sets of elements rather than continuous or infinite s
From playlist Maths for Programmers
Using Algebra and Geometry in the Real World
You hear terms like “algebra” and “geometry” and these theories we memorized in high school start to dance a jig in our heads – a jig many of us weren’t overly interested in! But the past decade has seen an explosion of applications of algebra, geometry, and topology to the real world, lik
From playlist What is math used for?
What It Takes To Be A Software Engineer
Are you a software engineer, a software developer, or perhaps a programmer? Is there a difference? This is a debate that has been going on for a very long time. For some people working in professional software development, engineering has become a devalued term “what we do isn’t engineerin
From playlist Software Engineering
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
Scotland Ruby 2011 - Real Software Engineering
by: Glenn Vanderburg Software engineering as it’s taught in universities simply doesn’t work. It doesn’t produce software systems of high quality, and it doesn’t produce them for low cost. Sometimes, even when practiced rigorously, it doesn’t produce systems at all. That’s od
From playlist Scotland Ruby 2011
I still don't get it evaluating expressions
👉 Learn how to evaluate mathematics expressions. A mathematics expression is a finite combination of numbers and symbols formed following a set of operations or rules. To evaluate a mathematics expression means to obtain the solution to the expression given the value(s) of the variable(s)
From playlist Simplify Expressions Using Order of Operations
Lone Star Ruby Conference 2010 Real Software Engineering by Glenn Vanderburg
Software engineering as it's taught in universities simply doesn't work. It doesn't produce software systems of high quality, and it doesn't produce them for low cost. Sometimes, even when practiced rigorously, it doesn't produce systems at all. That's odd, because in every other field, t
From playlist Lone Star Ruby Conference 2010
LoneStarRuby Conf 2010 - Real Software Engineering by: Glenn Vanderburg
Software engineering as it's taught in universities simply doesn't work. It doesn't produce software systems of high quality, and it doesn't produce them for low cost. Sometimes, even when practiced rigorously, it doesn't produce systems at all. That's odd, because in every other field, t
From playlist Lone Star Ruby Conference 2010
Homeschoolers!!! Who is really teaching your child math?
How to pick the best homeschool math program for your child. For more in-depth math help check out my catalog of courses. Every course includes over 275 videos of easy to follow and understand math instruction, with fully explained practice problems and printable worksheets, review notes
From playlist Homeschool Algebra
Advances in Native Wolfram Language Functions within Wolfram|Alpha
Wolfram|Alpha is an ever-increasing ensemble of expert-level knowledge and capabilities implemented in the Wolfram Language. In this talk, Nick Brunk highlights feature additions enhancing Wolfram|Alpha with the new functionality added in recent versions of the Wolfram Language. He emphasi
From playlist Wolfram Technology Conference 2020
RailsConf 2011, Glenn Vanderburg, "Craft, Engineering, and the Essence of Programming"
RailsConf 2011, Glenn Vanderburg, "Craft, Engineering, and the Essence of Programming"
From playlist RailsConf 2011
4 - Kick-off afternoon : Xavier Leroy, Proof assistants in computer science research
J'ai créé cette vidéo à l'aide de l'application de montage de vidéos YouTube (http://www.youtube.com/editor).
From playlist T2-2014 : Semantics of proofs and certified mathematics
Learn computer science terminology. We'll take a dive into understanding some of the terms used in computer science and software development. The video starts with the basics and then gets more advanced. Video from Forrest Knight. Check out his channel: https://www.youtube.com/channel/UC
From playlist Computer Science Concepts
Modeling Public Pensions with Mathematica & Python II
Defined benefit pension plans are the predominant method of retirement compensation for state government employees. They create entitlements to annuities whose value is determined by a plan-specific complex function of their salary trajectory and other parameters such as cost of living adj
From playlist Wolfram Technology Conference 2013