to customize your list.
more stack exchange communities
Start here for a quick overview of the site
Detailed answers to any questions you might have
Discuss the workings and policies of this site
Idea: Resource to avoid publishing something someone else published [closed]
Researchers often prove theorems but they don't know whether somebody else already published the same result. One strategy is to read papers on the topic or search keywords, however it would take way ...
Dec 20 '11 at 4:19
newest publishing automated-theorem-proving questions feed
Please welcome jmac, Community Manager of the Rising Sun
Two points determine a line, three a quadratic — what has that got to do with…
Hot Network Questions
Find the limit of using L'Hopital's Rule
Reducing the salary after job offer?
What is the meaning of the word “regenfleckige”?
How to express "X sounds like Y"
What to do with the "last" button in pagination?
Examples of famous 'workhorse' theorems
How do expert writers avoid using "I" when they have to refer to themselves in their article?
What is a good analogy to explain to a layman why passwords should be hashed?
How to secure a public device against abuse?
Carrying Pizza on a Bicycle
How can I justify complete failure of an elven village's magic as a plot point?
Does the "Nonstop Elevator Hack" work?
Should a progressbar go both ways?
Do I really have a car in my garage?
How do you make an encounter actually match its CR level?
How useful/useless is the indefinite integral
Bibliography with names separated by a comma, not by "and"?
Parsing ARP cache in C
Better term for “intellectual jokes”
Are computers with more RAM potentially faster if not all memory is usually in use?
Do the standard cosmology models spontaneously break Lorentz symmetry?
Caveman Duels (or: Me poke you with sharp stick)
What is the best way to repair a large crumbling block on a corner of the house wall?
What to do about a teammate who is burnt out
more hot questions
Life / Arts
Culture / Recreation
TeX - LaTeX
Unix & Linux
Ask Different (Apple)
Geographic Information Systems
Science Fiction & Fantasy
Seasoned Advice (cooking)
Personal Finance & Money
English Language & Usage
Mi Yodeya (Judaism)
Cross Validated (stats)
Theoretical Computer Science
Meta Stack Exchange
Stack Overflow Careers
site design / logo © 2014 stack exchange inc; user contributions licensed under
cc by-sa 3.0