Tom Hanika

icon indicating a website link https://tomhanika.de icon indicating an email [email protected]

icon company University of Hildesheim icon location Göttingen, Germany icon location Researcher in the fields of artificial intelligence, data science, order theory, lattice theory, applied algebra, and more ;)

Results 5 issues of Tom Hanika

include draw gui in standard repl

new feature

Feature/relevant attributes

Function to compute the order dimension of a lattice (poset)

We need for multiple future projects the ability to efficiently compute the order dimension of a given poset (P,=

new feature

GUI: Second operand context exception

When clicking on 'Second operand context' in GUI, a exception 'no method in multmethod 'get-context' for dispatch value' is triggered. origin/db/remove-contrib 3e1ee94d

bug

Typical concepts via GUI

Typical concepts can be indicated in a concept lattice diagram via the valuation function, as shown in the documentation. Goal: Add this valuation to the drop-down menu for valuation such...

new feature