User Portlet
Adam Strzebonski
WOLFRAM Research
LOCATION: Not indicated
WEBSITE: http://members.wolfram.com/adams
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: Not indicated
ABOUT ME:
Member of the Wolfram Research R&D team since 1993. I work on development of algebraic capabilities of Mathematica. Things I have been working on include solving systems of equations and inequalities over specified number domains, quantifier elimination, exact optimization, geometric computation, algebraic numbers and computation in algebraic extensions of rationals, roots of transcendental functions, Boolean algebra, expression simplification, assumptions, inference testing and theorem proving.