در این پایان نامه ابتدا الگوریتم گوسپر که در به وجود آمدن روش ویلف- زیلبرگر نقشی اساسی دارد را معرفی کردیم.بعد از آن به توضیح روش ویلف- زیلبرگر پرداخته و چگونگی استفاده از بسته های نرم افزاری اخاد و مارکوف دبلیوزد در میپل را بیان می کنیم. با کمک این روش اثبات هایی کاملا کوتاه برای اتحادهای کوچر, لشچینر و بیلی- بوروین- برادلی می آوریم در ادامه کار اتحاد های جدیدی برای مقادیر تابع زتای ریمان بیان...
