Browse Code
SURIKATA (Syntactic Universal Reasoning for Inducing Kolmogorov Abstract Theories Automatically) is a system for searching large spaces of artifacts and inducing algorithms for generating similar artifacts.
Features
- [AUTOMATED] automatically form theories in pure Mathematics, either from axioms alone or from some background theory
- [UNIVERSAL] use any logic or axiomatic system; first-order and ZFC axiomatic system pre-packed with Surikata
- [INTERACTIVE] inteact with the theory formation process by rating artifacts (definitions, theorems), adding meta-tags, establishing links between artifacts or by writing your own artifacts
- [FRIENDLY] browse mathematical theories in HTML, order and filter concepts by any user-defined function; search the produced theory as in a search engine
- [COOPERATIVE] contribute to the worldwide theory produced by the Surikata network by running a Surikata server which shares your findings with the community
License
GNU General Public License version 3.0 (GPLv3)Follow Surikata
Other Useful Business Software
PikMyKid is the first and only safe & smart dismissal solution for school districts, charter/private schools, after-school programs, YMCAs, JCCs, Summer camps, and daycare facilities. It connects schools, teachers, and parents through real-time tools to make dismissals safer and more efficient. PikMyKid schools are able to confidently organize their dismissals with ease and no longer rely on paper notes or tedious phone calls to the front office.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of Surikata!