Isotopic Meshing of a Real Algebraic Space Curve

Jin, Kai; Cheng, Jin-San

doi:10.1007/s11424-020-8378-7

Cited by 3 publications

(1 citation statement)

References 39 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…, f n−1 }, where J f is of full rank at nearly all points of the curve, one further difficulty is to trace across the singular points and get the correct topology around the singular points. Many work exist for handling such problems [13,8,6,11,5,14].…”

mentioning

confidence: 99%

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

Wu,

Chen

2021

Preprint

View full text Add to dashboard Cite

We propose a method for tracing implicit real algebraic curves defined by polynomials with rank-deficient Jacobians. For a given curve f −1 (0), it first utilizes a regularization technique to compute at least one witness point per connected component of the curve. We improve this step by establishing a sufficient condition for testing the emptiness of f −1 (0). We also analyze the convergence rate and carry out an error analysis for refining the witness points. The witness points are obtained by computing the minimum distance of a random point to a smooth manifold embedding the curve while at the same time penalizing the residual of f at the local minima. To trace the curve starting from these witness points, we prove that if one drags the random point along a trajectory inside a tubular neighborhood of the embedded manifold of the curve, the projection of the trajectory on the manifold is unique and can be computed by numerical continuation. We then show how to choose such a trajectory to approximate the curve by computing eigenvectors of certain matrices. Effectiveness of the method is illustrated by examples.

show abstract

mentioning

confidence: 99%

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

Wu,

Chen

2021

Preprint

View full text Add to dashboard Cite

show abstract

An improved complexity bound for computing the topology of a real algebraic space curve

Cheng,

Jin,

Pouget

et al. 2024

Journal of Symbolic Computation

Self Cite

View full text Add to dashboard Cite

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition

Brown

Kovács

Recio

2023

ACM Commun. Comput. Algebra

View full text Add to dashboard Cite

We present some current improvements, implemented in the software package GeoGebra Discovery, that combine symbolic computation and graphics algorithms to faithfully visualize (semi-)algebraic expressions. Our implementation allows fluid animation of set of (semi-)algebraic sets of dimension 1 in a desktop application or a web browser. We use the Tarski library to create a cylindrical algebraic decomposition of the input, and its plot2d command, which is processed further in GeoGebra Discovery, to provide the user with a familiar look and feel.

show abstract

Isotopic Meshing of a Real Algebraic Space Curve

Cited by 3 publications

References 39 publications

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

A Companion Curve Tracing Method for Rank-deficient Polynomial Systems

An improved complexity bound for computing the topology of a real algebraic space curve

Faithful Real-Time Animation of Parametrized (Semi-) Algebraic Expressions via Cylindrical Algebraic Decomposition

Contact Info

Product

Resources

About