You are not logged in.
for reference, this is from the mathcounts nationals 2011 sprint round
In theory you could create a program that validates proofs
I had an interesting thought: if the library of babel contains all books of a certain length, then could find solutions to everything (i.e. current world problems, unsolved problems in math like the collatz and goldbach conjecture and p vs np) by searching for relevant text, filtering out the books with nonsense, and using some method to find the solutions that work?
I didn't create this, but I found this interesting project which aims to expose higher math to high school students. It seems like some parts depend on math olympiad knowledge, but those don't seem to be too common.
https://web.evanchen.cc/napkin.html
I just found this and I don't understand why I made this 2 years ago
Anyways, what I meant to say for the group thing is (don't remember exactly what the expression was since it's been 2 years but i'll try):
Suggestion: More higher math like set theory, group theory, linear algebra, calculus, and others. There's already some stuff on set theory, group theory, and linear algebra and there is a decent amount of stuff about calculus but it would be nice if more was added.
Just wondering, what is the "fraction rule" mentioned in Solution 1310?
You forgot the value of x for point B.
198198
I was trying to find a solution to problem 1 of the 1959 IMO that didn't use the Euclidean Algorithm and I was wondering if someone could check my answer.
197901
Will researching abstract groups and rings actually help society? Is pure math research a waste of resources?
Ok this is weird, the links I posted yesterday have all disappeared
Sorry, I forgot to include the link.
Also the "POST Request" I'm talking about is not referring to some sort of post page, it's a internet internal (if you want to read more: https://en.wikipedia.org/wiki/POST_(HTTP)).
This is an old thread, but maybe the methods in these posts that I found could help (basically transforming the equation into a elliptic curve, and using rational points on the curve to find other rational points which will eventually lead to a integral point).
https://mlzeng.com/an-interesting-equation.html
https://www.quora.com/How-do-you-find-t … Alon-Amit/