Conference Talk Notebooks


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

Basic and Formula Regions

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

Symbolic Regions

Symbolic Solvers over Regions



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

New Solve



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

Transcendental Roots



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 Mathematica Developer Conference

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 Mathematica Developer Conference

Solving systems of equations and inequalities over specified domains



Kernel Developer Meeting, May 2001

New number field functions



SIAM Geometric Design Conference, Albuquerque, 1999

Applications of Symbolic Inequality Solving in Geometry



1999 Mathematica Developer Conference

Solving equations and inequalities with Mathematica



1998 Worldwide Mathematica Conference

Solving Inequalities and Using Assumptions



1997 Mathematica Developer Conference

New Symbolic Features in Mathematica 3.1




adams@wolfram.com