75 reputation
4
bio website
location MIT
age 23
visits member for 2 years, 4 months
seen Dec 8 '12 at 1:44

I'm a PhD student studying cryptography


Nov
3
awarded  Autobiographer
Oct
27
comment Symbolic FindInstance
At this point, I think that I will just implement a function which uses CylindricalDecomposition. If I do successfully do that, I'll post it as an answer here.
Oct
26
asked Symbolic FindInstance
Aug
24
accepted Using EdgeList on a once empty Graph crashes the kernel
Aug
22
comment Using EdgeList on a once empty Graph crashes the kernel
Sorry, I apologize for the implication of any incompetence on WRI's part. I meant to only express wonder at the strangeness of this bug in what seems like it ought to be a simple function.
Aug
22
comment Using EdgeList on a once empty Graph crashes the kernel
@ruebenko, sorry, I messed up typing the second example. Previously it didn't crash on my machine either - now it is updated to what I meant to put, and does.
Aug
22
revised Using EdgeList on a once empty Graph crashes the kernel
fixed second example of crash
Aug
22
awarded  Editor
Aug
22
revised Using EdgeList on a once empty Graph crashes the kernel
Clarified
Aug
22
asked Using EdgeList on a once empty Graph crashes the kernel
Jul
29
comment Incompleteness of FindInstance
Thanks, this was the problem.
Jul
29
asked Incompleteness of FindInstance
Jul
23
awarded  Scholar
Jul
23
accepted Buggy Reduce/Resolve function?
Jul
23
comment Buggy Reduce/Resolve function?
The same thing happens when I move the Integers constraint to the condition part of the quantifiers, and change the Resolve domain to Reals, as in Resolve[ForAll[n, n \[Element] Integers, Exists[p, p \[Element] Integers, Exists[q, q \[Element] Integers, p*q == n]]], Reals]
Jul
22
awarded  Student
Jul
22
asked Buggy Reduce/Resolve function?