 Status: 3  Alpha ×
Mathematics
Showing page 7 of 28.

Hilbert II  QEDEQ proof verifier for mathematical proofs and documentation generator
2 weekly downloads 
Impression Math Expression Parser Impression is the flexible and extensible parser of mathematical expressions written in Java. It supports user defined operators, single or multi parameter functions and unlimited number of parameters. It is designed to use with numerical methods.
2 weekly downloads 
JEquation JEquation provides an intuitive and fast way to input mathematical expressions into latex documents by using prestructured neural network based handwriting recognition.
2 weekly downloads 
JQuantity: Precision Math Java Framework JQuantity is a set of Java classes which enable developers to build scientific applications using quantities which are either exact or have known (bounded) errors. Quantities may include units, may be complex, nonscalar, etc. Extends java.math classes
2 weekly downloads 
KStochastic KStochastic gives the user the ability to create pictures of stochastic processes based on arbitrary probability distributions. Those pictures can then be used for illustration purposes in various publications treating random phenomena.
2 weekly downloads 
Ket An algebra editor
2 weekly downloads 
LogicCalculus A logic IDE for the sentential logic and the predicate logic.
2 weekly downloads 
Mad Math Mad Math is a Math API for Java that is aimed at adding needed math functions and formulas that are not in the regular Java Math API, such as fibonacci sequence, is prime, area formulas, greatest common factor, least common multiple etc.
2 weekly downloads 
Mathniac Mathniac is a computer algebra system and a small, portable C++ library with symbolic math capabilities. Features:  Symbolic math with multivariable functions and expresions.  Symbolic derivation.  Matrix algebra, etc...
2 weekly downloads 
Matrix package for Python MatPy is a Python package for numerical linear algebra and plotting with a MatLablike interface. It currently consists of wrappers around Numeric and Gnuplot packages, but eventually may be implemented directly in C/C++, or as interface to Octave.
2 weekly downloads 
Peklo Peklo is a graph editor and an environment for visualizing and comparing different algorithms for some graphtheoretic problems, e.g. flows, shortest path, minimum spanning tree.
2 weekly downloads 
Plexus Graph Library Plexus is a Java library with specifications and implementations for generic graph data structures. Like the Java Collections Framework, vertices and edges are containers for arbitrary userdefined objects.
2 weekly downloads 
Programmable RPN calculator A programmable RPN calculator for various PDAs. It features a programming language that resembles the original RPL found in HP48, along with other \"standard\" features such as matrices, complex numbers, binary arithmetic etc.
2 weekly downloads 
PropLogicAPI This Java project intends to implement a set of functions allowing a user to manipulate classical propositional logic statements and reason about their properties and connections.
2 weekly downloads 
Puzzled  Logic Problem Solver This java program will ultimately solve gridtype logic problems if given enough clues in a pseudo english language. Features a user friendly GUI letting the user know the progression of the solving process based on the clues entered.
2 weekly downloads 
Quality Control Assistant .net (QCA) The Quality Control Assistant is a utility for quality assurance. Included are shipment analysis functions (confidence interval calculation) and a production control module (error band calculation)
2 weekly downloads 
ResPol Respol: A software package for computing projections of resultant polytopes Description: Respol is C++ software to compute a projection of the Newton polytope of the resultant of a given polynomial system. These are indirectly defined highdimensional polytopes. Related Papers: [1] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. An oraclebased, output sensitive algorithm for projections of resultant polytopes. International J. Computational Geometry & Applications (Special issue) World Scientific, 2013. [2] I.Z.Emiris, V.Fisikopoulos, C.Konaxis, L.Peñaranda. An outputsensitive algorithm for computing projections of resultant polytopes. In Proc. 28th Annual Symposium on Computational Geometry (SoCG 2012), pp.179188, Chapel Hill, USA.
2 weekly downloads 
SPHear SPHear is a coupled smoothed particle hydrodynamics (SPH), finite element (FE) fluidsolid interaction analysis code for dynamic problems.
2 weekly downloads 
SicHer <b>SicHer</b> is an encryption client that will allow secure chat across the internet using AES and a DiffeHellman key exchange.
2 weekly downloads 
Sierpinski's Triangle Sierpinski's triangle in various forms and languages.
2 weekly downloads 
Simplex Calculator An innovative calculator project.
2 weekly downloads 
Snowflake fractal constructor Constructs and renders two and three dimentional Sierpinski fractals (socalled snowflakes). Renderers support antialiasing, output is in PNG files. 3D renderer supports change of colors, point of view, light direction.
2 weekly downloads 
Statty A statistics extension for Open Office with a feel of SPSS. Primarily meant for students of social sciences as well as other in a need of easytouse statistics software.
2 weekly downloads 
Symtree Symtree is a library to create, search, and modify sets. An example of a practical application for symtee is a dictionary.
2 weekly downloads 
The GraPE Graphical Proof Editor A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support stepbystep proof construction, automatic proof search with various strategies, proof transformations and analysis.
2 weekly downloads