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

Project Activity

See All Activity >

Categories

Mathematics, Machine Learning

License

GNU General Public License version 3.0 (GPLv3)

Follow Surikata

Surikata Web Site

Other Useful Business Software
Ship Agents Faster Icon
Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Get Started Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Surikata!

Additional Project Details

Operating Systems

BSD, Linux

Intended Audience

Advanced End Users, Science/Research

Programming Language

OCaml (Objective Caml)

Related Categories

OCaml (Objective Caml) Mathematics Software, OCaml (Objective Caml) Machine Learning Software

Registered

2011-01-19
Report inappropriate content