Mathematical Induction Proofs

Rules:1. Use L-Shaped Trominoes to fill 4x4 Checker Board.2. Use directions for [Linear] or (Angular) movements.about:1. The inspiration of this game is from Mathematical Problem/Puzzle.2. This Math Problem is very famous and mostly used in Mathematical Induction and also in Algorithm Lectures... Platforms: Matlab

The first application we released, this is a simple playground environment for introducing students to the notion of formality and rigor in mathematical proofs. It comes with HTML documentation that explains the progression of lessons through three increasingly mathematical games. Platforms: Mac

The 3 phase induction motor is modeled to accept the No-Load & Blocked rotor test results for determining the equivalent circuit parameters. The model is used to simulate various performance characteristics. these characteristics can be viewed using a scope. Platforms: Matlab

Here we have modelled a five-phase induction motor and we have applied DTC control technique to the machine Platforms: Matlab

design SVPWM for 3 level inverter for speed control of Induction motor based on V/F methodV/F control of Induction motor with SVPWM based 3-level inverter Platforms: Matlab

this is a simple GUI program to plot a beautiful graphs from mathematical equations Platforms: Matlab

Mathematical Assistant on Web is an online service written by Robert Marik and Miroslava Tihlarikova for people who have problems with mathematics people who want to solve typical mathematical problems for their own data people who want to see steps how to find the solution Platforms: *nix

Free Hypnosis Induction Scripts. 3 complete hypnosis induction scripts ready for for you to use either in your own recordings or when you are practising hypnosis on other people. Platforms: Windows

Numerical Mathematical Utilities offer powerful, specialized, mathematical capabilities, they are for immediate online use, and since they run within a web browser, they work on all the operating systems. Among the tools offered are utilities for solving the Quadratic, Cubic, and Quartic... Platforms: Any Browser+Javascript

Software for teaching and learning mathematical proofs Where most mathematical proof software concentrates on formal logic (or some other specialty area of mathematics), Lurch aims to be truly general-purpose, with an attracitve user interface. Platforms: Windows, Mac, BSD, Linux

Demo files from March 10, 2011 webinar titled 'Mathematical Modeling with MATLAB Products'.The first demo features a drug interaction example where MATLAB's surface fitting capabilities are used to model anesthetic response based on opioid and sedative concentrations.The second demo features a... Platforms: Matlab

Written for undergraduate students in mathematics, engineering, and science programs, this book provides an introduction to basic terminology and concepts found in mathematical studies of wave phenomena.For a full book description and ordering information, please refer to... Platforms: Matlab

Constructional details of various sub-modelsfor the induction motor are given and their implementation in SIMULINK is outlined. Direct-onlinestarting of a 7.5-kW induction motor is studied using the simulation model developed. Platforms: Matlab

This model simulates three phase induction motor model in rotor frame of reference.It is helpful in simulation of induction motor drives.Electrical system equations:Vs = Rs is + (1/wb) (dfs/dt) + wf M(pi/2) fswhere the variables is, vs, and fs are 2-dimensional space vectors and M(pi/2)... Platforms: Matlab

The most popular induction motor models is the Kraused-deOaos model. This model is implemented from the equations derived from the equivalent circuit in Krause's model. To simulate the model in Simulink, the model has to be initialized first. A file containing all the machine parameters has to be... Platforms: Matlab

Mathematical model of a mini-helicopter robot using Simulink blocks, which allows the automatic code generation without using c-code S-functions.There is a complete toolbox that includes more subsystems and more features: detailed help in every block, governor model, analysis and design tools,... Platforms: Matlab

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. Platforms: *nix

SplineCalc is multipurpose scientific calculator for implementation of various mathematical operations with maps (grids), data tables, lines, polygons and numbers. You can use arithmetical and logical operations with any above data types. It is possible to specify some surface with usage... Platforms: Windows

TTCalc is an open source mathematical calculator. It features arithmetical functions, trigonometric functions, inverse trigonometric functions, hyperbolic functions, inverse hyperbolic functions, logical operators, logarithms, functions for converting between degrees and radians and so on.... Platforms: Windows

ChemMaths is a engineering,mathematical and chemistry program. In addition interfaces with media player to allow playing of music,videos, ripping,burning cd's and includes a web browser to further solve problems, obtain information using the web. Software suitable for... Platforms: Windows, Windows 7, Windows Server