Theorem Proving தேற்றம் நிரூபித்தல்

பொருள்

கணித விதிகளையும் சமன்பாடுகளையும் தர்க்கரீதியாகச் சரிபார்த்து நிரூபிக்கும் கணினி முறை.