Content Tabs Impressum Privacy Policy

Messages

- Activate Javascript in order to enable all functions of this site.


Sections

About Contact Gallery Impressum Licensing Main Page Post Archive Privacy Policy Programs Projects Search

Local Instances

Refresh layout. Public Site Local Public Site Local Private Site Local Hugo Site

Mārtiņš Avots's Support System

Root Discovery

Additional Functions

Atom feed Rss feed

Interesting Third Party Sites

This Site Uses Amongst Others

SyntaxHighlighter for Code Syntax Highlighting

Metadata About This Document

Unless otherwise noted, the content of this html file is licensed under the Creative Commons Attribution-ShareAlike 4.0 International Public License.

Files and other contents, which are linked to by this HTML file, have their own rulings.

Validation

HTML Validation basic.themed.css basic.css theme.white.variables.css layout.column.main.fullscreen.css den.css layout.default.css theme.css

Footer Functions

back to top
Menu
Tabs
Impressum
Privacy Policy
wide screen
Optimization Software
    d:todo
    • reference
      • name
        • TPTP Problem Library
      • link
        • http://www.cs.miami.edu/~tptp/
      • tag
        • open source
      • tag
        • automated theorem proving
      • tag
        • ATP
    d:todo
    • reference
      • name
        • Weka
      • link
        • https://www.cs.waikato.ac.nz/ml/weka/
      • tag
        • open source
      • tag
        • data mining