Search Results for "cai"

The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).

JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...

The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and...

The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.

Haz ejercicios de matematicas de forma repetitiva para mejorar tu nivel de calculo basico en precision y en velocidad. Basado en método Kumon. Do math exercises repeatedly to improve your level of basic calculus in precision and speed. Kumon based.

Geoplan-Geospace is a 2D and 3D interactive geometry software to create and manipulate interactive figures for eLearning. It features euclidean geometry objects (lines, circles), numerical functions, numerical sequences, geometrical transformations.

G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.

Quad Genius Pro is an interactive java-based graphical software designed by me at IIT Guwahati for school students of classes sixth to ninth to help them solve quadratic and linear equations and learn through the process.

We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.

Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.

yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.

FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics

A logic based educational game.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

Guided Logic Exercises is a tool that can be used for simplifying logical expressions. It is a java applet that makes use of underlying packages designed for the applet.

GoGraph is a tutorial software giving informatics students an easy, interactive and ergonomic way to learn and exercise the graph theory. It is based on JGraph, an open-source graph component for Java.

JFD is an educational Java tool for computing the formal derivative of an expression. It recognizes the regular operators, parentheses and functions. It can also be extended with custom functions and/or operators.

Web Assisted Teaching Environment. Software system for creating, updating, distributing, and reusing Electronic Teaching Resources, (particularly Multiple Choices Quizzes).

The MathForge Application Environment provides users a broad range of Java-based math tools (calculation, visualization, presentation and communication via MathML) and allows developers to leverage existing code while extending MathForge.

EcoLab is a collection of java libraries to run statistical and financial analysis, mathematical optimization, etc...

This is a project meant to provide users a series of tools to perform various mathematical actions

Personal research achievements from the authors presented here in the form of symbolic Algebra and non-numerical analysis algorithms implemented in C/C++, Java, and/or Pascal. As part of a more wide, simple, powerful and robust CAS enviroment under development, new code will be continuously added up to this repository. The authors give their welcome and encouragement to everyone interested in bring some kind of collaboration.

RunAsApproximator es un programa java multilenguaje que implementa algoritmos numéricos. Los datos de entrada son aquellos requeridos por cada algoritmo y los de salida son resultado final y los datos intermedios necesarios para alcanzar su resolución.