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 automated-theorem-proving publishing questions feed
Hot Network Questions
How many types of Pound Sterling are there and what is the relationship between them?
Expression for losing something that you never really had
How can I make kittens-game run while not using that tab?
what does the '-1' superscript mean in units?
Begin Sentence with Gerund
How can I have a copy of this old paper?
A World Without Mathematics
Construct a sequence of time related names
Are researchers permitted to mislead subjects about the purpose of a trial?
How can native English speakers read an unknown word correctly?
Can I upload works from tutorials in my graphic design portfolio?
How can I verify if TLS 1.2.0 is supported on a remote web server from the RHEL shell?
Find absolute maximum and minimum with domain
Is the price per person affected by searching a flight for more than one person?
Is "Needless to say" ever worth saying?
Which Amplifier Should I Use After my DAC (what are I am doing wrong)?
GCC options for strict C90 code?
Can you cancel out a term if equal to zero?
A word to make something bad sound good
Is there a fastest way to shutdown the system?
Would have gotten?
Empty tag is replaced with unicode replacement character
Quicksort implementation seems too slow with large data
How do I modify my .bst to accomodate both "and" and "\&" as bbl.and?
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