From:  bykov@voshod.spb.su (Juri Bykov)
Subject: New short-size symbolic mathematics system
Reply-To: bykov@voshod.spb.su
Organization: VOSHOD Ltd. (St.Petersburg)
Date: Fri, 11 Dec 1992 19:05:33 GMT

    Dear Friend!

    I am Jura Bykov.  I give you some information about the new
short-size symbolic mathematics system ANALITICA.  The creation
of this program for IBM PC is my own initiative and nobody else
has the rights to this system.

    In nowadays ANALITICA is the library of procedures + user's
interface +  graphical module of formula output in natural form
(like writing on the paper).It is only beta-version because the
testing and verification of system  is  not  finished.  In more
cases it works correctly. The usage of this system is very easy
and do not require  any special knowledges.  The base language:
Pascal + Assembler; it is easy to repeat all algorithms by C.

    As my mind, the main merit of ANALITICA  -  it's agorithms.
During creation the system I never used any analogy and builded
it from the outset (I had not any information about the similar
ones). All conceptions of the program structure are invented by
me alone. The system is based on the principles of:
        - a standardizing of machine representation of formulas;
        - a formula input/output;
        - a decision making of inside formula transformations;
        - a rule base storage.
    The number of ANALITICA's algorithms are realy  interesting
for the specialists. There are uses the hypothetical functions,
multi-dimensional recursion,labeled trees,minimizing of variant
numbers.  It's quality can be estimated  by the comparison with
the similar ones only.  This system occupys very little area in
computer memory.  The program  with minimal user interface  has
EXE-file 38 Kbytes after compiling,and after squeezing the size
of EXE-file is less than 25 Kbytes, moreover it is able to:
        - simplify, reduce, expand any formula,
        - find derivative of any formula,
        - solve simple or quadratic equations,
        - find determinant of any size,
        - solve system of linear equations.
And  it is possible  to increase the number of system abilitys.
Therefore, this tecnology has a great potential for development
and perfection. Now I try to work for:
        - dividing of polinoms;
        - finding of integrals;
        - solveing the equations of 3 and 4 order;
        - solveing the system of unlinear equations;
        - solveing the differential equations.
This operations are not stable yet.

    Thanks to small size,ANALITICA can be used in the small-RAM
computers, like TSR program,  with powfull and comfortable user
interface or like a part of any Integrated Environment.
    Also, I suggest  the usage of separate system's procedures.
For example: the formula input/output routine, the substitution
of variable values and result computation modules.The graphical
representation of formulas can be usefull in evry program,where
is present the formula output.
    Some methods from ANALITICA can be used in creation another
AI systems.

    The area of this problem is too large for one man, but I am
afraid that ANALITICA will be lost for science  because I found
nobody who needs this kind of systems in Russia.    The Russian
specialists gave the high estimate to this system,but they also
has no possibilitys to support this creation.

    I hope that you will be interested to acquant more familiar
with my works. I will reply to any your questions. If ANALITICA
is not interesting for you,  be so kind  to send this letter to
somebody,who may interested in this problem or send to me their
address.

Many thanks in advance for your answers.


   Jura Bykov
   St.Petersburg          Email:          bykov@voshod.spb.su
   Russia                 Phone (home):   (812) 540-16-02

Xref: sparky comp.ai.edu:580 comp.software-eng:5011