Mathematics
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar's user avatar
Michael Wehar
  • Member for 9 years, 11 months
  • Last seen more than a month ago
Profile Activity
Stats
185
reputation
5k
reached
3
answers
4
questions
Communities
View all
About

  • I am enthusiastic about automata theory.

  • I ran in the 2018 cstheory moderator election and lost by two votes.

  • Here is a short article that I wrote on "What to do if you have a proposed solution to P vs NP?" https://github.com/MichaelWehar/P-vs-NP-Community

Thank you for stopping by and please always feel welcome to contact me! :)

Badges
View all badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
12
bronze badges
Top tags
View all tags
2
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
Top posts
All Questions Answers
Score Newest
question
15
Are there any well known mathematicians who published very little?
Jul 14, 2014
question
5
Counting the expected number of strings with a given contiguous substring.
Aug 5, 2015
question
3
Problems with nesting proof predicates in first order logic.
Sep 3, 2014
question
1
Binary vectors defined by remainders modulo prime numbers. What is the dimension of their span?
Sep 18, 2019
answer
1
Mathematical logic/metamathematics project
Sep 3, 2014
answer
1
I there a rigorous, mathematical, approach to definitions (denotations)?
Sep 3, 2014
answer
0
Binary vectors defined by remainders modulo prime numbers. What is the dimension of their span?
Oct 9, 2019
Top network posts
View all network posts
25
Finding the smallest DFA that separates two words without using brute force search?
25
Deciding emptiness of intersection of regular languages in subquadratic time
24
Are there any open problems left about DFAs?
20
What is the minimum complexity oracle that separates PSPACE from the polynomial hierarchy?
19
Is there a non-deterministic linear time algorithm for CNF-SAT?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.