Publication:3787980

zbMath0645.03017MaRDI QIDQ3787980

V. B. Alekseev

Publication date: 1987

zbMATH Keywords

linear forms; recognition algorithms; approximate algorithms; k-valued logic

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

11E04: Quadratic forms over general fields

03D15: Complexity of computation (including implicit computational complexity)

03B50: Many-valued logic

03-04: Software, source code, etc. for problems pertaining to mathematical logic and foundations