Profile cover photo
Profile photo
William Stein
3,207 followers -
Mathematician, SageMath founder, Vert Skateboarder
Mathematician, SageMath founder, Vert Skateboarder

3,207 followers
About
William Stein's posts

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has attachment

Post has shared content
New report about what Bill Hart is up to!
I just wrote a new blog post on development of the new computer algebra system Oscar, that we are writing. I cover a new Julia module, called Singular.jl, written by Oleksandr Motsak and myself.

https://wbhart.blogspot.de/2017/01/singular-and-julia.html


Post has shared content
My post from yesterday, explaining that I found a mistake in Babai's proof of graph isomorphism in quasipolynomial time, and that his algorithm works in subexponential time:

https://valuevar.wordpress.com/2017/01/04/graph-isomorphism-in-subexponential-time/

I checked his paper thoroughly, and am confident that the new version is correct. My own notes on this will be made public very soon (in French).

Incidentally, implicit in [the correct part of] Babai's proof, you will find a [correct] proof that string isomorphism reduces to graph isomorphism in quasipolynomial time.

Post has attachment
Wait while more posts are being loaded