Halmos ∎

ସ୍ଥିତି ଯାଞ୍ଚକାରୀ

ଏହା ବର୍ତ୍ତମାନ କଣ ଉପରେ କାମ କରୁଅଛି ତାହା ଦେଖନ୍ତୁ →

ଉଦ୍ଦେଶ୍ୟରେ ସାର୍ବଜନୀନ। ଗୋଟିଏ ସାଇଟ ଯାହାର ସମ୍ପୂର୍ଣ୍ଣ ଦାବି "ସର୍ଭର ଏହାକୁ ଯାଞ୍ଚ କରେ" ତାହା ସ୍ପଷ୍ଟ ଭାବରେ କହିବା ଉଚିତ ଯେ ଯାଞ୍ଚକାରୀମାନେ ସକ୍ରିୟ ଅଛନ୍ତି, ତେଣୁ ଆପଣ ସେମାନଙ୍କ ମଧ୍ୟରେ ଭିନ୍ନତା କହିପାରିବେ ପ୍ରମାଣିତ ହୋଇନାହିଁ ଏବଂ ଆମେ ଆଜି ପ୍ରମାଣକକୁ ଚଲାଇପାରିଲୁ ନାହିଁ.

ଭିନ୍ନକ୍ଷମ (କୌଣସି ଦାଖଲ ଚଲାଇବା ପୂର୍ବରୁ ଆବଶ୍ୟକ) ଉପଲବ୍ଧ
Lean 4 + Mathlib (କେବଳ ସାଧନ ଯାହାକି ସେଟ କରିପାରିବ ∎) ଉପଲବ୍ଧ
SageMathଉପଲବ୍ଧ
PARI/GPଉପଲବ୍ଧ
Z3 / SMTଉପଲବ୍ଧ
Python (ବରଫବାକ୍ସ)ଉପଲବ୍ଧ
ପ୍ଲଟଗୁଡ଼ିକ (matplotlib)ଉପଲବ୍ଧ
OEIS ସନ୍ଧାନ (କେହି ଜଣେ ଅନ୍ୟର ସର୍ଭର, ତେଣୁ ସର୍ବୋତ୍ତମ ପ୍ରୟାସ)ଉପଲବ୍ଧ

କଥାବାର୍ତ୍ତାରେ ଯୋଗ ଦିଅନ୍ତୁ ।

ଲେଖିବା ପାଇଁ ଲଗଇନ କରନ୍ତୁ, ଚିନ୍ତାଧାରା ସଂରକ୍ଷଣ କରନ୍ତୁ, ଏବଂ ଆପଣମାନଙ୍କୁ ପ୍ରେରିତ କରୁଥିବା ଲୋକମାନଙ୍କୁ ଅନୁସରଣ କରନ୍ତୁ।

ଖାତା ନିର୍ମାଣ କରନ୍ତୁ · ପ୍ରବେଶ ସଂକେତ ଭୁଲିଗଲେ?

ଆରମ୍ଭ କରିବା ପାଇଁ ଆପଣଙ୍କୁ କେବଳ ଗୋଟିଏ ଚାଳକ ନାମ ଏବଂ ପ୍ରବେଶ ସଂକେତ ଆବଶ୍ୟକ।

ଆମକୁ ପରାମର୍ଶ ପଠାନ୍ତୁ

ଆମକୁ କୁହନ୍ତୁ କିଏ କଣ ଘଟିଲା କିମ୍ବା ଆପଣ କଣ ଆଶା କରୁଥିଲେ । ଆମେ ପ୍ରତ୍ୟେକ ସନ୍ଦେଶକୁ ପଢୁଛୁ ।

ଧନ୍ୟବାଦ, ଆମେ ଏହାକୁ ପାଇଲୁ । ଯଦି ଆପଣ ଇମେଲ ଛାଡିଛନ୍ତି ଆମେ ଉତ୍ତର ଦେବୁ ।