Adam Strzebonski

Symbolic Algorithms Developer
Wolfram Research, Inc.

e-mailadams@wolfram.com
Office Phone(217) 398-0700
Office AddressWolfram Research, Inc.
100 Trade Centre Drive
Champaign, IL 61820



I have been a 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, algebraic numbers and computation in algebraic extensions of rationals, roots of transcendental functions, assumptions, inference testing, theorem proving, expression simplification, mathematical function properties, asymptotic solutions of algebraic equations, function limits, Boolean algebra, and geometric computation.


Publications


Preprints and Unpublished Manuscripts


Conference Presentations

(with downloadable Mathematica notebooks)