Fork me on GitHub
Math for the people, by the people.

User login

algorithm

Defines: 
computable function, Hilbert's 10th problem, Matiyasevi\v{c}'s theorem
Synonym: 
effective procedure, Matiyasevich's theorem
Type of Math Object: 
Definition
Major Section: 
Reference
Groups audience: 

Mathematics Subject Classification

68W01 no label found

Subscribe to Comments for "algorithm"