בתורת הסיבוכיות, מערכת הוכחה אינטראקטיבית היא דיאלוג בין שתי קבוצות משתתפים, שבמהלכו משכנעת קבוצה אחת את הקבוצה השנייה בנכונותה של טענה חישובית מסוימת. בדרך כלל, ההנחה היא שהמוודאים הם בעלי כוח חישובי סביר, בעוד שהמוכיחים הם בעלי כוח חישובי רב מאוד ואולי אף בלתי מוגבל, או שיש להם ידע שהמוודאים אינם מסוגלים לחשב בעצמם. מתוך ויקיפדיה

מערכת ההפעלה וההולכה החשמלית של הלב, מערכת ההפרשה החיצונית, מערכת ההפרשה הפנימית, מערכת הובלה בצמח, מערכת הוכחה אינטראקטיבית, מערכת הוכחת עבודה, מערכת הומוראלית, מערכת הזרקת דלק, מערכת החושים, מערכת החיזוק