Pde Solver Symbolic

GetDP is a general finite element solver using mixed elements to discretize de Rham-type complexes in one, two and three dimensions. The main feature of GetDP is the closeness between the input data defining discrete problems (written by the user in ASCII data files) and the symbolic mathematical...

This is a continuation of the FreeCell Java Solver, because I was not able to access my original account anymore (likely due to sourceforge glitches), and I need to make updates to the program.

Sudoku Solver is a small graphical application for solving any given Sudoku puzzle, almost instantaneously. It also provides the solution (the steps required to solve the puzzle). It is written in python.


Platforms: *nix

Math::Symbolic::Constant is a Perl module that offers constants in symbolic calculations. SYNOPSIS use Math::Symbolic::Constant; my $const = Math::Symbolic::Constant->new(25); my $zero = Math::Symbolic::Constant->zero(); my $one = Math::Symbolic::Constant->one(); my $euler =...


Platforms: *nix

Math::Symbolic::Variable is a Perl module which implements variables in symbolic calculations. SYNOPSIS use Math::Symbolic::Variable; my $var1 = Math::Symbolic::Variable->new('name'); $var1->value(5); my $var2 = Math::Symbolic::Variable->new('x', 2); my $var3 =...


Platforms: *nix

Rush Hour Puzzle Solver is a small C++ program that reads a Rush Hour board from a text file and produces a nice PostScript file that shows the shortest solution.


Platforms: *nix

Math Solver is a scientific calculator. Math Solver includes a step-by-step solution for any mathematical expression, to make work/homework more fun and easy. Also includes a Simple Mode, for smaller size on desktop. Features: - Scientific calculations - Paranthesis compatible - Graph...


Platforms: Windows

Math Solver II is a scientific calculator. Math Solver II includes a step-by-step solution for any mathematical expression, to make work/homework more fun and easy. Also includes a Simple Mode, for smaller size on desktop. This new version also includes many new an interesting features, like...


Platforms: Windows

Su Doku Solver - Ever played Su Doku, that silly game in the Times? This solves it for you.


Platforms: Windows, *nix

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high...


Platforms: Mac, Linux

Disc springs are used in many fields of the mechanical industry but, because of their geometry, it is very hard to make absolute predictions for their behaviour. Disc Spring Solver intends to help the disc springs users to foresee the performance of the springs that they are using by giving...


Platforms: Windows

Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. Maxima yields high...


Platforms: Windows

Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.


Platforms: Windows, Mac, Linux

Boolean Expression Solver is a command-line utility that generates a truth table for a given Boolean expression.


Platforms: Windows, Mac, Linux

Happy Cube Solver is an interactive environment based on OpenGL for designing and building cubes and formations from the Happy Cube 3D puzzles. It integrates a graphic engine for creating and viewing formations and a powerful AI engine for solving them.


Platforms: Windows, Mac

Math::Symbolic is a Perl module that aims at providing means of symbolic computation to the Perl programmer without resorting to any (non-Open Source) external libraries and/or applications.


Platforms: Windows, Mac, Linux

A Fast MAC based 3D Free surface fuid solver. Capable also of simulating viscoelastic fluids.Includes also wave equation solver for simulating shallow water phenomena.


Platforms: Windows, Mac, BSD, Linux

Python Sudoku solver - finds all solutions for a given Sudoku board.


Platforms: Windows, Mac, Linux

The Sudoku Solver is a project managed in Java programming language using open source choco (http://choco.sourceforge.net) constraint programming library which solves given Sudoku puzzles.


Platforms: Windows, Mac, Linux

This is a small project aiming to prove a theory that grids can be solved using only the "possible value" method, whereby the numbers are filled in according the condition that that position has only one possible value, in filling this in, possible values matching this number on the same x and y...


Platforms: C and C plus plus