Halmos ∎
ஒரு பதிவை எழுதுக நுழை

நிலையை சரிபார்

இது இப்போது என்ன வேலை செய்கிறது என்பதை பார்க்கவும் →

பொதுவாக பொதுவாக. ஒரு தளத்தின் முழுமையான கோரிக்கை "சேவையகம் அதை சரிபார்க்கிறது" என்பது தான். இது எந்த சரிபார்ப்பாளர்கள் செயல்படுகின்றன என்பதை தெளிவாக கூற வேண்டும், இதனால் நீங்கள் இவற்றின் வேறுபாட்டை அறிய முடியும் நிரூபிக்கப்படவில்லை மற்றும் நாம் இன்று சோதனையை இயக்க முடியவில்லை.

தனிமைப்படுத்தல் (எந்தவொரு சமர்ப்பிக்கும் செயல்களுக்கு முன்னும் தேவை) கிடைக்கும்
Lean 4 + Mathlib (அமைக்கக்கூடிய ஒரே கருவி ∎) கிடைக்கும்
SageMathகிடைக்கும்
PARI/GPகிடைக்கும்
Z3 / SMTகிடைக்கும்
Python (மணல்பெட்டி)கிடைக்கும்
வரைபடங்கள் (matplotlib)கிடைக்கும்
OEIS தேடல் (மற்றவரின் சேவையகம், எனவே சிறந்த முயற்சி)கிடைக்கும்

உரையாடலில் இணையவும்.

எழுத, சிந்தனைகளை சேமிக்க, உங்களை ஊக்குவிக்கும் மக்களை பின்பற்ற உள்நுழையவும்.

கணக்கை உருவாக்கு · கடவுச்சொல் மறந்துவிட்டதா?

ஒரு பயனர் பெயர் மற்றும் கடவுச்சொல்லை நீங்கள் தொடங்க வேண்டும்.

கருத்துகளை அனுப்பு

என்ன நடந்தது அல்லது நீங்கள் என்ன எதிர்பார்த்தீர்கள் என்று எங்களுக்குச் சொல்லுங்கள். நாங்கள் ஒவ்வொரு செய்திகளையும் படிக்கிறோம்.

நன்றி, நாங்கள் அதை கிடைத்தது. நீங்கள் ஒரு மின்னஞ்சல் விட்டு நாம் பதிலளிப்பேன் என்றால்.