PIDS is an algorithm for symbolic simplification of expressions implemented in e-lisp. It has been developed as part of a computer lab course at the Mathematical Institute A, Stuttgart University. The current version is very simple and represents only the basic idea. It employs an intelligent search algorithm to find a simpler expression from a given expression using a set of given rules. It needs lots of improvements in order to be of any use. If you are interested have a look at the report and the code. If you have any suggestions, comments, improvements, etc. let me know.
The PIDS Algorithm
F. C. Langbein, S. G. Schirmer, K. Organtzoglou
Technical Report, Mathematical Institute A,
Stuttgart University, 1995.
[PDF]
This document describes the PIDS algorithm and its application. PIDS is an algorithm to simplify expressions which are given as nested lists. The simplification is done by a set of rules which can be applied to the expressions. However the rules just describe how the expression can be rewritten, the real simplification is driven by a merit function. The purpose of PIDS is to simplify mathematical expressions. There might be other applications, though. In this article we just give a few examples for mathematical expressions. Note that the whole algorithm and this document is still under development.
Further details are available at the PIDS development site.
Current releases of the PIDS sources:
@TECHREPORT{Langbein1995,
author = {Frank C. Langbein and Sonia G. Schirmer and Katarina
Organtzoglou},
title = {The PIDS Algorithm},
institution = {Mathematical Institute A, Stuttgart University},
year = 1995,
url = {http://www.langbein.org/research/algorithms/pids},
abstract = {This document describes the PIDS algorithm and its
application. PIDS is an algorithm to simplify
expressions which are given as nested lists. The
simplification is done by a set of rules which can
be applied to the expressions. However the rules
just describe how the expression can be rewritten,
the real simplification is driven by a merit
function. The purpose of PIDS is to simplify
mathematical expressions. There might be other
applications, though. In this article we just give a
few examples for mathematical expressions. Note that
the whole algorithm and this document is still under
development.},
}
PIDS,http://www.langbein.org/research/algorithms/pids by Frank C Langbein [ 1/November/2008, 15:13].
Copyright © 1995-2012, Frank C Langbein.
Except where otherwise stated, this web site, Ex Tenebris Scientia, by Frank C Langbein is licensed under a Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales License.
