هلبرت دوم به راحت قضه ها و مدار را در ااه دانش قرار دهد
انون بارر ن

هلبرت دوم رتبه بند و خلاصه

هلبرت دوم برسب ها

تاد ند دانش دانش محور درج ردن درج قضه تئور را تأد ند

هلبرت دوم شرح

به راحت قضه ها و مدار را در ااه دانش قرار دهد Hilbert II مجموعه برنامه منبع آزاد و باز است ه راضدان را قادر م سازد تا قضه ها و مدار را به ان ااه دانش تبدل ند. ان اثبات ها به صورت خودار توسط ننده اثبات تاد م شوند. همنن متون در "زبان راض راج" م تواند اره شود. اصول راض، تعارف و زاره ها به ماول ها QEDEQ متصل م شوند. نن ماول م تواند به عنوان تاب درس راض دده شود ه شامل اثبات رسم صحح است. از آنجا ه ان سستم به طور مرز اداره نم شود و مراجع به هر مان در انترنت امان ذر است، ااه دانش جهان راض م تواند ساخت شود. هر مدر از قضه در ان "وب راض" م تواند به قوانن و مقررات بسار ابتدا حفر شود. فر م نم تعداد باور نردن از تاب ها درس راض با لن ها و هر از مدار خود را م توان توسط Hilbert II تاد رد. برا هر قضه وابست قضه ها در، تعارف و محورها را م توان به راحت مشتق رد. الزامات: جاوا

هلبرت دوم نرم افزارها مرتبط