Formal methods | Formal methods tools | Formal specification languages

B-Method

The B method is a method of software development based on B, a tool-supported formal method based on an abstract machine notation, used in the development of computer software. (Wikipedia).

Video thumbnail

Solving a trig function with sine and cosine

πŸ‘‰ Learn how to solve trigonometric equations. There are various methods that can be used to evaluate trigonometric equations, they include factoring out the GCF and simplifying the factored equation. Another method is to use a trigonometric identity to reduce and then simplify the given eq

From playlist Solve Trigonometric Equations by Factoring

Video thumbnail

How to solve a trig equation by factoring

πŸ‘‰ Learn how to solve trigonometric equations. There are various methods that can be used to evaluate trigonometric equations, they include factoring out the GCF and simplifying the factored equation. Another method is to use a trigonometric identity to reduce and then simplify the given eq

From playlist Solve Trigonometric Equations by Factoring

Video thumbnail

How to find all of the solutions to an equation as well as within the unit circle

πŸ‘‰ Learn how to solve trigonometric equations. There are various methods that can be used to evaluate trigonometric identities, they include by factoring out the GCF and simplifying the factored equation. Another method is to use a trigonometric identity to reduce and then simplify the give

From playlist Solve Trigonometric Equations

Video thumbnail

Solve a trig equation by factoring a perfect square trinomial

πŸ‘‰ Learn how to solve trigonometric equations. There are various methods that can be used to evaluate trigonometric equations, they include factoring out the GCF and simplifying the factored equation. Another method is to use a trigonometric identity to reduce and then simplify the given eq

From playlist Solve Trigonometric Equations by Factoring

Video thumbnail

Linear Regression Using R

How to calculate Linear Regression using R. http://www.MyBookSucks.Com/R/Linear_Regression.R http://www.MyBookSucks.Com/R Playlist http://www.youtube.com/playlist?list=PLF596A4043DBEAE9C

From playlist Linear Regression.

Video thumbnail

Linear regression

Linear regression is used to compare sets or pairs of numerical data points. We use it to find a correlation between variables.

From playlist Learning medical statistics with python and Jupyter notebooks

Video thumbnail

Least squares method for simple linear regression

In this video I show you how to derive the equations for the coefficients of the simple linear regression line. The least squares method for the simple linear regression line, requires the calculation of the intercept and the slope, commonly written as beta-sub-zero and beta-sub-one. Deriv

From playlist Machine learning

Video thumbnail

How to solve a trigonometric equation

πŸ‘‰ Learn how to solve trigonometric equations. There are various methods that can be used to evaluate trigonometric equations, they include factoring out the GCF and simplifying the factored equation. Another method is to use a trigonometric identity to reduce and then simplify the given eq

From playlist Solve Trigonometric Equations by Factoring

Video thumbnail

Brent's Method

Dekker's Method, Inverse Quadratic Interpolation, and Brent's Method including example, code, and discussion of order. GitHub https://github.com/osveliz/numerical-veliz Chapters 00:00 Intro 00:12 Secant Method Recap 00:37 Bisection Method Recap 00:54 Dekker's Method History 01:35 Dekker's

From playlist Root Finding

Video thumbnail

Mod-01 Lec-26 Solution of Non-linear Equations

Elementary Numerical Analysis by Prof. Rekha P. Kulkarni,Department of Mathematics,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist NPTEL: Elementary Numerical Analysis | CosmoLearning Mathematics

Video thumbnail

Mod-01 Lec-28 Jacobi Method

Elementary Numerical Analysis by Prof. Rekha P. Kulkarni,Department of Mathematics,IIT Bombay.For more details on NPTEL visit http://nptel.ac.in

From playlist NPTEL: Elementary Numerical Analysis | CosmoLearning Mathematics

Video thumbnail

CH1 Conclusion - Mathematics of Voting

Overview of methods for counting votes and the possibility of fair elections.

From playlist Discrete Math

Video thumbnail

Roger Heath-Brown: The Determinant Method I, Lecture I

Lecture 1 will set the background for the course, describing the problem of counting rational points on algebraic varieties, the phenomena that can arise, and some of the results which have been proved. Lecture 2 will prove the basic theorem of the p-adic Determinant Method. Lecture 3 will

From playlist Harmonic Analysis and Analytic Number Theory

Video thumbnail

Harvard AM205 video 4.9 - Quasi-Newton methods

Harvard Applied Math 205 is a graduate-level course on scientific computing and numerical methods. The previous video in this series discussed using the Newton method to find local minima of a function; while this method can be highly efficient, it requires the exact Hessian of the functio

From playlist Optimizers in Machine Learning

Video thumbnail

Partial Fraction Decomposition (Part 2)

Partial fraction decomposition is when a rational expression is written as the sum of simpler fractions. This video is part 2 - it will explain how to complete the proper decomposition form to find the partial fractions of a rational function. Partial fractions are very helpful in Calculu

From playlist Pre-Calculus / Trigonometry

Video thumbnail

Solve a System of Linear Equations Using Elimination

πŸ‘‰Learn how to solve a system (of equations) by elimination. A system of equations is a set of equations which are collectively satisfied by one solution of the variables. The elimination method of solving a system of equations involves making the coefficient of one of the variables to be e

From playlist Solve a System of Equations Using Elimination | Medium

Video thumbnail

RubyConf 2018 - Ruby is the Best Javascript by Kevin Kuchta

RubyConf 2018 - Ruby is the Best Javascript by Kevin Kuchta Some people love Ruby and some people love Javascript. Both will hate this talk. In a display of complete moral depravity, we'll abuse flexible syntax and metaprogramming to make valid Ruby code that's indistinguishable from Java

From playlist RubyConf 2018

Video thumbnail

Solve a System of Linear Equations Using Elimination

πŸ‘‰Learn how to solve a system (of equations) by elimination. A system of equations is a set of equations which are collectively satisfied by one solution of the variables. The elimination method of solving a system of equations involves making the coefficient of one of the variables to be e

From playlist Solve a System of Equations Using Elimination | Medium

Related pages

Formal specification | Formal methods | Safety-critical system | Set theory | Refinement (computing) | Mathematical proof | Abstract machine notation | Z User Group | Z notation