ISSAC 2018 Conference, New York, USA, July 2018

Comparison of CAD-based Methods for Computation
of Rational Function Limits

Wolfram Technology Conference, October 2017

What's New in Calculus & Algebra (with Devendra Kapadia)

Asymptotic Expansions (with Devendra Kapadia)

Limits Unlimited
(with Devendra Kapadia)

ISSAC 2017 Conference, Kaiserslautern, Germany, July 2017

CAD Adjacency Computation Using Validated
Numerics

Wolfram Technology Conference, October 2016

Function Singularities and Their Applications

Wolfram Technology Conference, October 2015

Symbolic Computing with Geometric Regions

Wolfram Technology Conference, October 2014

Examples for Workshop:
Symbolic Computation with Mathematica

ISSAC 2014 Conference, Kobe, Japan, July 2014

Cylindrical Algebraic Decomposition Using Local Projections

A look at some new features in Wolfram
Mathematica (a modified version of talk prepared by Daniel Lichtblau)

Wolfram Technology Conference, October 2013

ISSAC 2012 Conference, Grenoble, France, July 2012

Solving Polynomial Systems over Semialgebraic Sets
Represented by Cylindrical Algebraic Formulas

Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, Waterloo, ON, Canada, November 2011

Solving equations and inequalities using
validated numeric methods

Wolfram Technology Conference, October 2011

Getting the Most from Algebraic
Solvers in Mathematica

SIAM Conference on Applied Algebraic Geometry (SIAM AG-11), Raleigh, NC, October 2011

A Divide-and-conquer Method for Computing
Cylindrical Algebraic Decomposition

Wolfram Technology Conference, October 2010

Solving Equations and Inequalities

ISSAC 2010 Conference, Munich, Germany, July 2010

Computation with Semialgebraic Sets Represented
by Cylindrical Algebraic Formulas

(Mathematica Player version)

International Mathematica User Conference, October 2009

ISSAC 2009 Conference, Seoul, South Korea, July 2009

Real Root Isolation for Tame Elementary Functions

Poland Mathematica Conference, Kraków, May 2009

Rozwiązywanie systemów równań i
nierówności przy pomocy Matematyki 7

International Mathematica User Conference, October 2008

ACA 2008 Conference, Hagenberg, Austria, July 2008

Cylindrical Decomposition for Systems Transcendental in the First Variable

ISSAC 2008 Conference, Hagenberg, Austria, July 2008

Real Root Isolation for Exp-Log Functions

Wolfram Technology Conference, October 2007

Symbolic Computation with Roots of Transcendental Functions

Wolfram Technology Conference, October 2006

New algebraic functionality in Mathematica 6

Wolfram Technology Conference, October 2005

Exact Global Constrained Optimization

ACA 2005 Conference, Nara, Japan, August 2005

Exact Global Constrained Optimization with Mathematica

A3L Conference, Passau, Germany, April 2005

Applications of Algorithms for Solving Equations and Inequalities in Mathematica

Wolfram Technology Conference, October 2004

Piecewise functions in Mathematica

Solving systems of equations and inequalities over specified domains

2003

New algebraic features in Mathematica 5.0

ACA 2002 Conference, Volos, Greece

Cylindrical Algebraic Decomposition Using Validated Numerics

An Improved Algorithm for Diophantine Equations in One Variable

Effective Real Root Isolation Using Continued Fractions (with Alkiviadis G. Akritas)

Solving Systems of Equations and Inequalities over Specified Domains

2001

Solving systems of equations and inequalities over specified domains

Kernel Developer Meeting, May 2001

SIAM Geometric Design Conference, Albuquerque, 1999

Applications of Symbolic Inequality Solving in Geometry

1999

Solving equations and inequalities with *Mathematica*

1998 Worldwide

Solving Inequalities and Using Assumptions

1997

New Symbolic Features in *Mathematica 3.1*

adams@wolfram.com