Tag: Algorithm

Algorithm for combinations

This is the Programm: public List<List<Fieldmatrix>> permute(List<Fieldmatrix> fields, int start, List<Fieldmatrix> prefix) { List<List<Fieldmatrix>> combinations = new ArrayList<>(); if (start ...

Higher-order unification

I'm working on a higher-order theorem prover, of which unification seems to be the most difficult subproblem. If Huet's algorithm ...

Page 1 of 83 1 2 83