ユーリ・マチャセビッチ(露: Юрий Владимирович Матиясевич, 英: Yuri Matiyasevich, 1947年3月2日 - )は、ロシアの数学者、計算機科学者。サンクトペテルブルク生まれ(当時はレニングラード)。ヒルベルトの23の問題の中の第10問題を否定的に解いたことで知られている。
経歴
受賞歴
主な業績
著書
論文
- Yuri Matiyasevich, Real-time recognition of the inclusion relation (オンライン版), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), ISSN 0090-4104.
- Yuri Matiyasevich and Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns (オンライン版), Acta Arithmetica, XXVII (1975), 521-549.
- Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules (オンライン版), LICS'96.
- Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (オンライン版), Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, (オンライン版), Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, (オンライン版), Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture (オンライン版), Journal of Graph Theory, 2003.
参考文献
外部リンク