Search Results for "mathematics"

...The project has never seen the light of day due to various bugs and lack of usability, even after attempts at reviving the project in the forms of STEMCalcR2 and R3Boot editions. Determined, not giving up, me, one of the original co-authors of STEMCalcR, has brought to you STEMCalc IV, the swiss knife of mathematics. I am determined to drive this project further, turning it into a powerful program , more than just your average calculator.

Welcome to the Volunteer-Based System for Research on the Internet! This system is designed to provide detail data about applications used in the Internet. This information can be used for: - obtaining the knowledge which applications are most frequently used in the network - providing the users some basic statistics about their Internet connection usage (for example for which kinds of applications their connection is used the most) - creating scientific profiles of traffic generated...

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,...

Gavrog stands for "Generation, Analysis and Visualization of Reticular Ornaments using Gavrog". It is a Java library together with a suite of interactive applications for the study of periodic net-like structures in space and their applications.

A simple little program, that can convert quaternions from a exponential form to a usual form. I will argue for this method, which I find very natural and quite intuitive.

GoldenOrb is a java library under the Apache License V2.0 for correlation, summarization and clustering of text information.

This is an implementation of the Granular Neural Network architecture defined by S. Dick, A. Tappenden, C. Badke, O. Olarewaju. It is provided for the use of the public, and the convenience of researchers who may wish to develop or use this new system.

This is meant to be a powerful, but easy to use math software. It's by the user and for the users.

MIC* comes with a new vision of multi-agent system engineering: The multi-agent system is devided explicitly into two dimensions: the deployment environment and the autonomous agents. MIC* is an algebraic model of a deployment environment (container of a

The Wolfram Machine project is an effort to create a set of documentation and useful modules (both hardware and software) for a computing architecture based on the mathematical theories presented in Steven Wolfram's book _A_New_Kind_of_Science_.

Active Networking provides a framework in which executable code within data packets can execute upon intermediate network nodes. The goal of this research is to develop active networks that are capable of predicting their own behavior and to use this ca

Project VDW serves as a repository for all things pertaining to Van Der Waerden sequences. Volunteers to run the distributed client, mathematicians to help with theory, and anyone interested in VDW sequences are welcome!

RandService is a Web Service which supplies pseudo- or true- random numbers through JAX-RPC API. Any random number generators can be used behind this Web Service.

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.

A Kron server can assings some informations to its website. Assinging under discussion based on a mathematical model, a dynamics model.