| dc.contributor.author | Бусигіна, В. П. | uk |
| dc.contributor.author | Хом’юк, І. В. | uk |
| dc.contributor.author | Кирилащук, С. А. | uk |
| dc.date.accessioned | 2025-08-13T10:00:37Z | |
| dc.date.available | 2025-08-13T10:00:37Z | |
| dc.date.issued | 2025 | |
| dc.identifier.citation | | uk |
| dc.identifier.uri | https://ir.lib.vntu.edu.ua//handle/123456789/48422 | |
| dc.description.abstract | В роботі досліджено застосування ШІ в автоматичному доведенні математичних тверджень, детально розглянуто одну з найновіших та найуспішніших моделей - Gоеdel-Prover, розглянуто системи на основі GPT та | uk |
| dc.description.abstract | This paper examines the application of AI in automating mathematical proofs, with particular focus on three significant approaches: the Gоеdel-Prover model,Isabelle /HOL(developed by University of Cambridge) and , of course, | en |
| dc.language.iso | uk_UA | uk_UA |
| dc.publisher | ВНТУ | uk |
| dc.relation.ispartof | // Матеріали Всеукраїнської науково-практичної інтернет-конференції «Молодь в науці: дослідження, проблеми, перспективи (МН-2025)», 15-16 червня 2025 р. | uk |
| dc.relation.uri | https://conferences.vntu.edu.ua/index.php/mn/mn2025/paper/view/24867 | |
| dc.subject | Isabelle | uk |
| dc.subject | штучний інтелект | uk |
| dc.subject | логіка | uk |
| dc.subject | GPT | uk |
| dc.subject | мовні моделі | uk |
| dc.subject | Isabelle | uk |
| dc.subject | artificial intelligence | uk |
| dc.subject | logic | uk |
| dc.subject | GPT | uk |
| dc.subject | language models | uk |
| dc.title | Використання ai в автоматичному доведенні математичних тверджень | uk |
| dc.type | Thesis | |
| dc.identifier.udc | 004.421.2 | |
| dc.relation.references | Isabelle (proof assistant). [ ] : https://en.m.wikipedia.org/wiki/Isabelle_(proof_assistant) ( : 29.04.2025). | |
| dc.relation.references | The Isabelle/Isar Reference Manual. [ ] : https://isabelle.in.tum.de/doc/isarref.pdf ( : 29.04.2025). | |
| dc.relation.references | [ ] : https://isabelle.in.tum.de/overview.html ( : 29.04.2025). | |
| dc.relation.references | Isabelle/jEdit as IDE for domain-specific formal languages and informal text documents. [ ] : https://sketis.net/wp-content/uploads/2018/05/isabelle-jedit-fide2018.pdf ( : 29.04.2025). | |
| dc.relation.references | Proof Reconstruction for Z3 in Isabelle/HOL. [ ] : https://www21.in.tum.de/~boehmes/proofrec.pdf ( : 29.04.2025). | |
