Search Results for "formula"

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL). The toolbox intends to leverage the NuSMV model checker. Models...

...It consists in incorporating a new belief, changing as few as possible of the original beliefs while preserving consistency. Revision always considers new evidence as a better belief. Such new evidence is usually represented in the form of a propositional formula which must be preserved after the revision. Here, the Δps (PS-Merge) belief merging operator is extended in order to consider constraints, and this extension is used as a strategy for belief revision. The new evidence is treated as a constraint so the extended merging operator can obtain the revised belief base.

.... (3) Conversion of a formula to Disjunctive Normal Form (DNF) and Conjunctive Normal Form (CNF): In this mode the user inserts a logic formula and the Logic Calculator outputs its representation in both a DNF and CNF.

MathOCR try to recognize printed scientific document including mathematical formula , result is available in LaTeX and HTML.

With this applet you'll be able to visualize formulas by building a tree with your mouse.

A program for exploring complex functions, much like the now out-dated f(z). Domain colored plots of complex functions. Click evaluate. Uses reflection so you can code almost anything for your formula. All java. Please help.

iso2l (ˈaisəutuːl, spoken isotool) is a software to calculate the isotopic distribution of a chemical formula or a amino acid chain. The development has been MOVED TO https://github.com/binfalse/iso2l

This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.

A open source, multiplatform, fractal generator and explorer. Includes Mandelbrot, Julia, Lambda and others popular formulas. Also includes formula reader to create new fractals. It can save PNG images. Requires Java Virtual Machine.

Processes boolean functions which can be provided either as a list of 0s and 1s or which can be provided as a formula in first-order logic (using disjunctive or conjunctive normal forms). Internally the Quine McCluskey algorithm is used.

The project Formula can be used for the computation of numeric expressions that is written as string. Main features of the project are high computation speed and simplicity of use. Formula can be used for writing of calculators, plotters and etc.

J2ME program for calculating Body Mass Index (BMI). The formula is: BMI = weight / (height ^ 2) weight can be expressed in the unit kg or libbra height can be expressed in the unit meter or inch

Parse a simple math formula and validates it. Has a very comprehensive Type checking and Var substitution.

A program that makes Graphics and Tables of a formula for giving the aproximated value of a root.

Burkhard Heim's Mass Formula - A collection of programs that calculate the mass of a variety of sub-atomic particles, based on work by the late Burkhard Heim. http://www.heim-theory.com/

PAVIAN - PArsing and VIsualization of Arithmetic Notations is a Java-applet, used to embed a visualization of a formula into websites. PAVIAN parses LaTeX, mathML-based or an intuitive notation on the client to display them.