5 Questions 86 Answers 0 Followers
Questions related from Davood Rezaeipour
Post-quantum cryptographic schemes have been developed in the last decade in response to the rise of quantum computers. So why do we need to worry now about the threat of quantum computers?Why not...
12 December 2016 1,759 2 View
As we know, an elliptic curve defined over Fq with a rational 2-torsion subgroup can be expressed in the special form (up to twists). Accordingly a natural question arises about the number of...
09 September 2016 9,215 3 View
Let HT denotes the statement of Hindman’s theorem. Within RCA0 one can prove that:1. HT implies ACA02. HT can be proved in ACA0+. An open question is the strength of Hindman’s theorem. Is HT...
07 July 2016 5,347 1 View
Any strongly anti-Pasch STS which we are known of is a Hall STS. This motivates us to ask some questions. A STS is the strongly anti-Pasch if and only if it contains neither Pasch nor the...
07 July 2016 2,721 1 View
The XL (eXtended Linearization) technique is considered as a combination of bounded degree Grobner bases and linearization.
06 June 2016 1,356 1 View