Finite Fields and Their Applications
Finite Fields and Their Applications
Recent Symbolic Computation Developments in Mathematica (Invited talk)
CAD Adjacency Computation Using Validated Numerics (Session CASinLife)
High-Performance Polynomial Algebra
Advances in Equation Solving and Symbolic Optimization
Breakthroughs in Symbolic Optimization
Mathematical Function Properties
Algebraic Computation in Version 12
What's New in Calculus & Algebra (with Devendra Kapadia)
Asymptotics Solvers
(with Devendra Kapadia)
Comparison of CAD-based Methods for Computation
of Rational Function Limits
What's New in Calculus & Algebra (with Devendra Kapadia)
Asymptotic Expansions (with Devendra Kapadia)
Limits Unlimited
(with Devendra Kapadia)
CAD Adjacency Computation Using Validated
Numerics
Function Singularities and Their Applications
Symbolic Computing with Geometric Regions
Examples for Workshop:
Symbolic Computation with Mathematica
Cylindrical Algebraic Decomposition Using Local Projections
A look at some new features in Wolfram
Mathematica (a modified version of talk prepared by Daniel Lichtblau)
Solving Polynomial Systems over Semialgebraic Sets
Represented by Cylindrical Algebraic Formulas
Solving equations and inequalities using
validated numeric methods
Getting the Most from Algebraic
Solvers in Mathematica
A Divide-and-conquer Method for Computing
Cylindrical Algebraic Decomposition
Solving Equations and Inequalities
Computation with Semialgebraic Sets Represented
by Cylindrical Algebraic Formulas
(Mathematica Player version)
Real Root Isolation for Tame Elementary Functions
Rozwiązywanie systemów równań i
nierówności przy pomocy Matematyki 7
Cylindrical Decomposition for Systems Transcendental in the First Variable
Real Root Isolation for Exp-Log Functions
Symbolic Computation with Roots of Transcendental Functions
New algebraic functionality in Mathematica 6
Exact Global Constrained Optimization
Exact Global Constrained Optimization with Mathematica
Applications of Algorithms for Solving Equations and Inequalities in Mathematica
Piecewise functions in Mathematica
Solving systems of equations and inequalities over specified domains
New algebraic features in Mathematica 5.0
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
Solving systems of equations and inequalities over specified domains
Applications of Symbolic Inequality Solving in Geometry
Solving equations and inequalities with Mathematica
Solving Inequalities and Using Assumptions
New Symbolic Features in Mathematica 3.1