Mathematical Induction Proofs

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.

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

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

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

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

K3DSurf is a program to visualize and manipulate Mathematical models in three, four, five and six dimensions. K3DSurf supports Parametric equations and Isosurfaces. Features Studying mathematical surfaces with K3DSurf include doing: Interactive visualization with mouse events (Right:...


Platforms: Mac

Math::Expr is a Perl module that parses mathematical expressions. SYNOPSIS require Math::Expr; $p=new Math::Expr; $e=$p->Parse("a+4*b-d/log(s)+f(d,e)"); Parses mathematical expressions into a tree structure. The expressions may contain integers, real numbers, alphanumeric variable names,...


Platforms: *nix

MaxEntropy is a Perl5 module for Maximum Entropy Modeling and Feature Induction. SYNOPSIS use Statistics::MaxEntropy; # debugging messages; default 0 $Statistics::MaxEntropy::debug = 0; # maximum number of iterations for IIS; default 100 $Statistics::MaxEntropy::NEWTON_max_it = 100; #...


Platforms: *nix

JavaView is a simple, easy to use application designed to offer you a 3D geometry viewer and a mathematical visualization software. The open API of JavaView enables a smooth integration as 3D viewer and advanced visualization toolkit into commercial software. Note: In order to use this...


Platforms: Windows

The Mathpad Draw application was designed to create static drawings of various mathematical objects. It is not a calculator, but there are some calculator aspects. Within the program, animation of several drawing types is possible. Not only is this fun to watch, it can be very informative about...


Platforms: Windows

TFunctionParser is an Automation/COM server that parses mathematical functions and evaluates them at runtime. About 100 functions and operations are predefined. The user can define variables, constants and functions. for WindowsAll


Platforms: Windows

The mathematical console SigmaConsole supports the most common and useful functions. It's easy to use: to evaluate an expression, simply write it, using operators (+ - * / ^), parenthesis and mathematical functions and press ENTER. You can also use the numeric keypad to enter numbers and...


Platforms: Windows

EqualX is a handy, easy to use tool specially designed to offer you an interactive equation editor that helps you create mathematical notation for word processing, web pages, desktop publishing, presentations, elearning in LaTeX. EqualX gives you the power and beauty of TeX/LaTeX for writing...


Platforms: Windows

Simple Math Parser is a small, effective parser specially designed for mathematical function that produces a tree to represent them. It is writen in Java and was mainly produced for use in the OpenPlotTool project, but is developed separately. for WindowsAll


Platforms: Windows

SMath Studio is a useful application that was designed to help you create your own sheets of mathematical operations and/or exercises. It supports many symbols and computing functions. SMath Studio is also available in several languages so you'll be able to easily choose the one you want to have...


Platforms: Windows

MathCast is an equation editor, an application that allows you to input mathematical equations. These equations can be used in written documents and webpages. The equations can be rendered graphically to the screen, to picture files, or to MathML - today's leading standard language for describing...


Platforms: Windows

SMath Studio is a useful application that was designed to help you create your own sheets of mathematical operations and/or exercises. It supports many symbols and computing functions. SMath Studio is also available in several languages so you'll be able to easily choose the one you want to have...


Platforms: Windows