Search Results for "note for windows 10"

gretl is a cross-platform software package for econometric analysis, written in the C programming language.

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).

NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as arbitrary...

VisualIntFactor will be an interactive educational and scientific tool demonstrating multiply, factor, conversion between unary counting and binary integers, all in the same grid of hexagons. This grid is based on pascals triangle, which is a 1d cellular automata that calculates (X choose Y) factorials by each cell being the sum of the 2 cells upleft and upright. Draw a binary integer from a cell going upright, then explore the allowed transforms which may lead you to a factored state in 2...

A java library for geometry applications. Provides a general framework for manipulating and creating geometric primitives, computing intersection points between shapes, composing them to create new shapes, and performing some measurements. Important note: the repository has now moved to GitHub: https://github.com/dlegland/javaGeom Please update bookmarks!

The Yupana was an ancient calculating device of the Incas. This simple program compares different theories: - positional notation * Base 10 by H. Wassen (representation, addition) * Base 10 by C. Radicati di Primeglio (representation, addition, subtraction, multiplication) * Base 10 by W. Burns Glynn (representation, addition, multiplication) * Base 40 by N. De Pasquale (representation) - sign-value notation * Powers of ten by C. Florio...

GLPKMEX - a Matlab MEX interface for the GLPK library Note: GLPKMEX is not currently compatible with glpk-4.49, or later. please use with glpk 4.40 - 4.48.

blitzwave is a c++ wavelet library building on the blitz++ array classes. NOTE: blitzwave has moved to GitHub - the new project URL is http://github.com/oschulz/blitzwave/ .

Nan.System.Platform v.1.1 (Beta) Platform-level utilities on .NET Framework 4.0 (C#) NOTE: Requires the MS Visual C++ Run-Time (msvcrt.dll).

The Lightweight Integrating Multiphysics Environment for coupling codes (LIME) is a small software package for creating multiphysics simulation codes. LIME is intended to be especially useful when separate computer codes (which may be written in any standard computer language) already exist to solve different parts of a multiphysics problem. LIME provides the key high-level software (written in C++), a well defi ned approach (with example templates), and interface requirements to enable the...

GLUT Complex Function Plotter (GCFP) is an open-source tool for visualizing complex functions using OpenGL. It can be customized using LUA. Please note: I wrote GCFP while learning for an exam in complex analysis to understand the behavior of some complex functions. As it has proven useful to me I thought I would share it though obviously GCFP could be improved in many ways..

NoteLab is an advanced "digital notebook" specifically designed for tablet computers. With its stroke smoothing, antialiasing, and "smart rendering," NoteLab provides a beautiful and powerful note taking environment on any operating system.

DragMath is a drag and drop equation editor in the form of a Java applet. Once an expression is created the user can convert it into a variety of different linear syntax for mathematics, including MathML, LaTeX, Maple, Maxima or any user defined style. PLEASE NOTE: active code development has moved to GitHub. https://github.com/maths/dragmath

A MATLAB package to simulate sample paths of the solution of a Itô or Stratonovich stochastic differential equation (SDE), compute statistics and estimate the parameters from data. A note of caution: SDE Toolbox is no more developed but it's still downloadable. Its inferential capabilities can be considered surpassed (at best). Actually the parameter estimation methods were already far from the state-of-art when the project began in 2007 (!). The considered implemented parametric and non...

GLARE is a library and a software for product based optimization of reagent lists in the context of a chemical combinatorial library design. Large virtual combinatorial libraries containing 10^12 products have been optimized within a second.

PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.