|
ABOUT INSTITUTE FOR PROGRAMMING =============================== The Institute for Programming is Kazimir Majorinc's low profile project for research and development of the computer programs related to some fundamental areas of science and technology. The work is currently organized around the following sub-projects: AUTOMATED THEOREM FINDING
The Institute publishes rough results of the work in the form of articles and software currently available on the BLOG , PRODUCTS and other sections of this site. There is the list of blog articles. ------------------------- The goal of AUTOMATED THEOREM FINDING project is development of the software able to efficiently derive relatively interesting theorems, currently in the scope of limited, propositional logic and related theory. We plan that programming tool resulting from project will be available in early 2012. METAPROGRAMMING --------------- The goal of METAPROGRAMMING project is research and development of the metaprogramming techniques in Lisp family of languages, similar to Common Lisp techniques published by Paul Graham and Doug Hoyte . We plan that the project will result in the library and book published in early 2011. CONTACT -------
Use it without hesitation, please. |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | |
NEWS ====
|
