SymbComp Files

+--------------+
| Introduction |
+--------------+
 SYMBCOMP is a research project (the outcome is unknown) and also a C++ library,
 hopes, in an a priori perspective of symbolic substitution, the knowledge of 
 the property of mathematics and logic, including problem description, problem
 solving can be improved via computer programs. Executables are important but
 considered by-products, hope not too difficult to build from the library.

 Actually, the fundamental of mathematics and logic still contain some issues,
 and are not so perfect(complete?logic?) as many people think. E.g. the meaning
 of equality '=' is not really generally applicable. SYMBCOMP hopes it can solve
 (or 'study' at least) these sort of fundamental issues via programming (E.g.
 testing the plausibility of defining '=' to mean bi-directional substitution
 (isomorphic)).

 Why is the project promising?
   1. (Scientific) Reproducibility: If mathematics/logic are going to be 
      scientifically reproducible, they are inevitably represented in discrete
      symbols. If the dynamics or semantics of those symbols are going to be
      clear, they should be a kind of substitution and thus, suitably studied
      in the realm of computation or programming.
   2. O(2^N), or more complicated kind of problems are less sensitive to the
      real machines than idea and algorithm. The way SYMBCOMP handles may look
      slow but will not be, if the idea is right.
   3. Theory is 'fabricated' after-events, starting entirely from current 
      theory totally misplaces the goal and the problem.
   4. The initial tries just look plausible.

 If you are reading/using this library the first time, you may want to look at
 example programs in example/ and manpage documentation in man/. Individual's
 capability is very limited, this project welcomes collaboration.