Tujuan dari pertanyaan ini adalah untuk mengumpulkan contoh-contoh dari ilmu komputer teoretis di mana penggunaan komputer secara sistematis sangat membantu
- dalam membangun dugaan yang mengarah pada teorema,
- memalsukan pendekatan dugaan atau bukti,
- membangun / memverifikasi (bagian dari) bukti.
Jika Anda memiliki contoh spesifik, tolong jelaskan bagaimana itu dilakukan. Mungkin ini akan membantu orang lain menggunakan komputer secara lebih efektif dalam penelitian sehari-hari mereka (yang tampaknya masih menjadi praktik yang tidak biasa di TCS sampai hari ini).
(Ditandai sebagai komunitas wiki, karena tidak ada jawaban "benar" tunggal.)