Search Results for "note-taking"

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

**NOTE**: This project has been moved to https://github.com/timothytylee/brl2mml brl2mml is a library that can perform conversion between braille and MathML. It currently supports UK Maths braille.

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.

...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!

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).

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.

...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-parametric Monte Carlo likelihood methods were chosen for their ability to treat both one-dimensional and multivariate SDE systems, although the quality of the inferential results can't match those obtained using more advanced techniques. ...

LFMat is an open source template fast C++ linear algebra library with storage compatible and asm specializations for 3DNow!, SSE, SSE2 and Altivec (e.g. for solvers) taking cache into account. There's a wide variety of structure and storage styles...

JRVFSim (Jarvis) is a simulator of a fluid dynamics phenomenon known as radial viscous fingering. Its main feature consists of taking jordan curves and simulating their evolution subject to various parameters. Includes a partial API for numerical methods

MatGen is a matrix generator. It outputs matrices in MatrixMarket file format, taking as input a file describing the matrices´ properties. Currently it supports only random sparse matrices.