Jonathan D. Hauenstein

Orcid: 0000-0002-9252-8210

Affiliations:
  • University of Notre Dame, USA


According to our database1, Jonathan D. Hauenstein authored at least 92 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Robust Numerical Algebraic Geometry.
CoRR, 2024

2023
Computing Geometric Feature Sizes for Algebraic Manifolds.
SIAM J. Appl. Algebra Geom., December, 2023

Special issue on Algebraic Geometry and Machine Learning.
J. Symb. Comput., September, 2023

Trifocal Relative Pose From Lines at Points.
IEEE Trans. Pattern Anal. Mach. Intell., June, 2023

Machine learning the real discriminant locus.
J. Symb. Comput., 2023

A numerical method for solving elliptic equations on real closed algebraic curves and surfaces.
CoRR, 2023

HomOpt: A Homotopy-Based Hyperparameter Optimization Method.
CoRR, 2023

LINFA: a Python library for variational inference with normalizing flow and annealing.
CoRR, 2023

Max-convolution through numerics and tropical geometry.
CoRR, 2023

Numerical Nonlinear Algebra.
CoRR, 2023

Output Mode Switching for Parallel Five-bar Manipulators Using a Graph-based Path Planner.
Proceedings of the IEEE International Conference on Robotics and Automation, 2023

NCQS: Nonlinear Convex Quadrature Surrogate Hyperparameter Optimization.
Proceedings of the IEEE/CVF International Conference on Computer Vision, 2023

2022
On Computing the Nonlinearity Interval in Parametric Semidefinite Optimization.
Math. Oper. Res., November, 2022

The Loss Surface of Deep Linear Networks Viewed Through the Algebraic Geometry Lens.
IEEE Trans. Pattern Anal. Mach. Intell., 2022

Probabilistic Saturations and Alt's Problem.
Exp. Math., 2022

Some interesting birational morphisms of smooth affine quadric 3-folds.
CoRR, 2022

AdaAnn: Adaptive Annealing Scheduler for Probability Density Approximation.
CoRR, 2022

Finding Straight Line Generators Through the Approximate Synthesis of Symmetric Four-Bar Coupler Curves.
Proceedings of the Advances in Robot Kinematics 2022, 2022

2021
A numerical toolkit for multiprojective varieties.
Math. Comput., 2021

Solving determinantal systems using homotopy techniques.
J. Symb. Comput., 2021

On some configurations of oppositely charged trapped vortices in the plane.
Adv. Appl. Math., 2021

Excess intersections and numerical irreducible decompositions.
Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Designing Rotary Linkages for Polar Motions.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

2020
Smooth points on semi-algebraic sets.
ACM Commun. Comput. Algebra, 2020

Real monodromy action.
Appl. Math. Comput., 2020

Certified Evaluations of Hölder Continuous Functions at Roots of Polynomials.
Proceedings of the Maple in Mathematics Education and Research - 4th Maple Conference, 2020

Using Monodromy to Statistically Estimate the Number of Solutions.
Proceedings of the 2nd IMA Conference on Mathematics of Robotics, 2020

Evaluating and Differentiating a Polynomial Using a Pseudo-witness Set.
Proceedings of the Mathematical Software - ICMS 2020, 2020

TRPLP - Trifocal Relative Pose From Lines at Points.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019
Singular Value Decomposition of Complexes.
SIAM J. Appl. Algebra Geom., 2019

Trifocal Relative Pose from Lines at Points and its Efficient Solution.
CoRR, 2019

Using Numerical Insights to Improve Symbolic Computations.
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019

Solving Critical Point Conditions for the Hamming and Taxicab Distances to Solution Sets of Polynomial Equations.
Proceedings of the 21st International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2019

Decomposing the Parameter Space of Biological Networks via a Numerical Discriminant Approach.
Proceedings of the Maple in Mathematics Education and Research - Third Maple Conference, 2019

Sampling Real Algebraic Varieties for Topological Data Analysis.
Proceedings of the 18th IEEE International Conference On Machine Learning And Applications, 2019

2018
Exceptional Stewart-Gough Platforms, Segre Embeddings, and the Special Euclidean Group.
SIAM J. Appl. Algebra Geom., 2018

Locating and Counting Equilibria of the Kuramoto Model with Rank-One Coupling.
SIAM J. Appl. Algebra Geom., 2018

Certifying solutions to overdetermined and singular polynomial systems over ℚ.
J. Symb. Comput., 2018

Numerical Computation of Galois Groups.
Found. Comput. Math., 2018

Optimal Configurations in Coverage Control with Polynomial Costs.
CoRR, 2018

Adaptive strategies for solving parameterized systems using homotopy continuation.
Appl. Math. Comput., 2018

Certifying Reality of Projections.
Proceedings of the Mathematical Software - ICMS 2018, 2018

polyTop: Software for Computing Topology of Smooth Real Surfaces.
Proceedings of the Mathematical Software - ICMS 2018, 2018

2017
Algorithm 976: Bertini_real: Numerical Decomposition of Real Algebraic Curves and Surfaces.
ACM Trans. Math. Softw., 2017

A hybrid symbolic-numerical approach to the center-focus problem.
J. Symb. Comput., 2017

On deflation and multiplicity structure.
J. Symb. Comput., 2017

Unification and extension of intersection algorithms in numerical algebraic geometry.
Appl. Math. Comput., 2017

Certification Using Newton-Invariant Subspaces.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

Homotopies for Connected Components of Algebraic Sets with Application to Computing Critical Sets.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2017

2016
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials.
Numer. Algorithms, 2016

Certified predictor-corrector tracking for Newton homotopies.
J. Symb. Comput., 2016

Numerically deciding the arithmetically Cohen-Macaulayness of a projective scheme.
J. Symb. Comput., 2016

A Primal-Dual Formulation for Certifiable Computations in Schubert Calculus.
Found. Comput. Math., 2016

Complexity of Linear Circuits and Geometry.
Found. Comput. Math., 2016

Investigating the Maximum Number of Real Solutions to the Power Flow Equations: Analysis of Lossless Four-Bus Systems.
CoRR, 2016

Numerically validating the completeness of the real solution set of a system of polynomial equations.
CoRR, 2016

Validating the Completeness of the Real Solution Set of a System of Polynomial Equations.
Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation, 2016

Decomposing Solution Sets of Polynomial Systems Using Derivatives.
Proceedings of the Mathematical Software - ICMS 2016, 2016

2015
Experiments on the Zeros of Harmonic Polynomials Using Certified Counting.
Exp. Math., 2015

Numerically Testing Generically Reduced Projective Schemes for the Arithmetic Gorenstein Property.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Numerical Local Irreducible Decomposition.
Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015

Certifying Isolated Singular Points and their Multiplicity Structure.
Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, 2015

A hybrid symbolic-numeric approach to exceptional sets of generically zero-dimensional systems.
Proceedings of the 2015 International Workshop on Parallel Symbolic Computation, 2015

2014
Newton Polytopes and Witness Sets.
Math. Comput. Sci., 2014

A bootstrapping approach for computing multiple solutions of differential equations.
J. Comput. Appl. Math., 2014

Global Newton Iteration over Archimedean and non-Archimedean Fields.
CoRR, 2014

Certified counting of roots of random univariate polynomials.
CoRR, 2014

Comparison of probabilistic algorithms for analyzing the components of an affine algebraic variety.
Appl. Math. Comput., 2014

An <i>a posteriori</i> certification algorithm for Newton homotopies.
Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2014

Bertini_real: Software for One- and Two-Dimensional Real Algebraic Sets.
Proceedings of the Mathematical Software - ICMS 2014, 2014

On Computing a Cell Decomposition of a Real Surface Containing Infinitely Many Singularities.
Proceedings of the Mathematical Software - ICMS 2014, 2014

A Note on Global Newton Iteration Over Archimedean and Non-Archimedean Fields.
Proceedings of the Computer Algebra in Scientific Computing - 16th International Workshop, 2014

2013
Cell decomposition of almost smooth real algebraic surfaces.
Numer. Algorithms, 2013

A homotopy method based on WENO schemes for solving steady state problems of hyperbolic conservation laws.
J. Comput. Phys., 2013

Computing steady-state solutions for a free boundary problem modeling tumor growth by Stokes equation.
J. Comput. Appl. Math., 2013

Isosingular Sets and Deflation.
Found. Comput. Math., 2013

Equations for Lower Bounds on Border Rank.
Exp. Math., 2013

Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry.
Exp. Math., 2013

Computer aided methods for lower bounds on the border rank
CoRR, 2013

Numerically intersecting algebraic varieties via witness sets.
Appl. Math. Comput., 2013

Membership tests for images of algebraic sets by linear projections.
Appl. Math. Comput., 2013

Numerically Solving Polynomial Systems with Bertini.
Software, environments, tools 25, SIAM, ISBN: 978-1-611972-69-6, 2013

2012
Algorithm 921: alphaCertified: Certifying Solutions to Polynomial Systems.
ACM Trans. Math. Softw., 2012

Continuation Along Bifurcation Branches for a Tumor Model with a Necrotic Core.
J. Sci. Comput., 2012

2011
Efficient path tracking methods.
Numer. Algorithms, 2011

Regeneration homotopies for solving systems of polynomials.
Math. Comput., 2011

Regenerative cascade homotopies for solving polynomial systems.
Appl. Math. Comput., 2011

A three-dimensional steady-state tumor system.
Appl. Math. Comput., 2011

2010
alphaCertified: certifying solutions to polynomial systems
CoRR, 2010

Witness sets of projections.
Appl. Math. Comput., 2010

2009
A Numerical Local Dimension Test for Points on the Solution Set of a System of Polynomial Equations.
SIAM J. Numer. Anal., 2009

2008
Adaptive Multiprecision Path Tracking.
SIAM J. Numer. Anal., 2008


  Loading...