Open Source Linux Mathematics Software - Page 36

The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.

Easy Equations is a utility using which one can write the mathematical equations. The focus of this utility is to provide user friendly access to write mathematical equations which is helpful for students, lecturers, mathematicians and Research persons who prefer using mathematical equations in a document, PowerPoint or web sites. Works on Windows as well as Linux platforms. Software Requirements: JDK 7 or higher. Linux Platform with kernel version 2.7 or higher.(for Linux users).python necessary only in linux environment to use COPY functionality.python is pre installed in recent linux distributions.

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

A Java application that controls and simulates the flow of containers at the Rotterdam harbour.

Eclipse plugin capable of displaying OpenMath, Content MathML and Presentation MathML with some kind of interactivity

The econ theory is the value of buy and sell are usually equal, at whatever free market price at the time, so if we trade between 2 things, holding the total of those 2 equal eachother, then you can buy without anyone selling, or sell without anyone buying. Just change from one equal valued type to the other, and the total of all the A's and all the B's are scaled instantly to be the same amounts. Those who change to the majority side lose, and those who change to the minority side win, since it is scaled to the average. Its the same math as Matching Pennies and Odds And Evens game which are Rock Paper Scissors with 2 choices instead of 3 (buy vs sell). You see this in the size of balls changing depending where they move. Think of it as a 2d seesaw surface that never tilts because the masses of balls are adjusted to always balance. This is the early start of a game based on that econ theory. Econ is boring in number and symbol form, but as a realtime game its more like dancing.

The EconoMind is a utility that simulates the economy of a city, state, country, or planet at a specific level of technological development. It runs behind the scenes and provides supply, demand, and other information for games and other projects.

The package edmonds-alg contains a C++-implementation of Edmonds's optimum branching algorithm as described by Tarjan in 1977.

What is? Students with learning difficulties or mental disabilities have knowledge level and teaching methods similar to students in the first cycle of basic education. This software aims to help in the learning of these pupils and students of primary. Why Ellie? Ellie name comes from the software mascot is an owl (symbol of knowledge) red, interacting with people and help using software. Authors and Contributors Originally the software was developed by Pedro Luzio @pedroluzio, Programming student in Portugal Support or Contact Having trouble with software? Contact pedro.luzio.cloud@gmail.com and we’ll help you sort it out. 2016-06-13

An OpenGL GUI for the inspection and segmentation of 3D surface meshes

Eirik is a tool for exploring large data sets, by using statistical analyses and multiple linked visualizations for data reduction. It relies on R, QT4 and OpenGL. Developed as part of AstroGrid/VOTech, Eirik uses Ice and xmlrpc for distributed computing.

Emily is a friendly name for the Machine Learning Environment (MLE). This project is at an early stage of development, and no alpha code is yet available.

A code for fast multi-dimensional density estimation . Instead of assuming an a-priori metric definition, it calculates a locally adaptive metric for each data point by using, a Shannon Entropy based, binary space partitioning scheme.

PHP implementation of General Purpouse Surveys Editor, Collector and Analizer of Data.

A Scheme (guile) interface to a local version of the Encyclopedia of integer Sequences with many features for complex queries. URL of the encyclopedia (where the database can be downloaded from) is: www.research.att.com/~njas/sequences/

Platform independend, multithreaded fractal generator. Fine control over thread/CPU usage; unlimited precision; smooth/random/function coloring; supports color map files (over 1600 available); many image file formats. For any Java 1.5+ (32/64 Bit) VM.

This is a project that simulates the German Military Enigma machine during WWII.. It is a project for beginers to learn to program and to meet people. If anyone is interested in helping, please email me @ dustin@rockhill.org

NPM URL: https://www.npmjs.com/package/entitytocode Source Forge: https://entity-to-code.sourceforge.io WIKI Git: https://github.com/BSW-G-D-iph6/Entity-To-Code/wiki

Calculadora científica para resolver tus problemas más complicados. Hecha por Pablo Jiménez Juárez, Marco Testa Moreno y Christopher González Martín.

EnvStats is an R package for environmental statistics. It is the open-source successor to the commercial module for S-Plus© called "EnvironmentalStats for S-Plus", which was first released in April, 1997. The EnvStats package, along with the R software environment, provides comprehensive and powerful software for environmental data analysis. EnvStats brings the major environmental statistical methods found in the literature and regulatory guidance documents into one statistical package, along with an extensive hypertext help system that explains what these methods do, how to use these methods, and where to find them in the environmental statistics literature. Also included are numerous built-in data sets from regulatory guidance documents and the environmental statistics literature. EnvStats combined with other R packages (e.g., for spatial analysis) provides the environmental scientist, statistician, researcher, and technician with tools to “get the job done!”

Equalculator is an equation calculator. It is currently in the "pre-alpha" stage of development, so don't expect it to do miracles. You type in your equation, it will ask you for the variables and Voila!, it gives you the answer.

This App solves a system of simultaneous equations (liner or nonlinear) by using a matrix root solver. Iterations and solutions are provided by GSL (GNU science library).

Concurrent version of the Life-like cellular automaton written in Erlang. Infinite board, flexible rules, color cells.

A scientific calculator with the possibility to propagate errors.

Esos is a GTK2-based program for converting values expressed in one unit into another. It supports conversion between multiple types of units, falling into categories such as temperature, distance, volume, mass, etc.