Abstract:Computing the intersection between two parametric surfaces (SSI) is one of the most fundamental problems in geometric and solid modeling. Maintaining the SSI topology is critical to its computation robustness. We propose a topology-driven hybrid symbolic-numeric framework to approximate rational parametric surface-surface intersection (SSI) based on a concept of interval algebraic topology analysis (IATA), which configures within a 4D interval box the SSI topology. We map the SSI topology to an algebraic system's solutions within the framework, classify and enumerate all topological cases as a mixture of four fundamental cases (or their specific sub-cases). Various complicated topological situations are covered, such as cusp points or curves, tangent points (isolated or not) or curves, tiny loops, self-intersections, or their mixtures. The theoretical formulation is also implemented numerically using advanced real solution isolation techniques, and computed within a topology-driven framework which maximally utilizes the advantages of the topology maintenance of algebraic analysis, the robustness of iterative subdivision, and the efficiency of forward marching. The approach demonstrates improved robustness under benchmark topological cases when compared with available open-source and commercial solutions, including IRIT, SISL, and Parasolid.

ICS: a Package for Computing Involutive Characteristic Set of Algebraic Partial Differential Equation Systems

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Efficiently and easily integrating differential equations with JiTCODE, JiTCDDE, and JiTCSDE

On Iterative Learning Control of parabolic distributed parameter systems

Improved gene expression programming algorithm for solving inverse problems in partial differential equations

On Software Development of Characteristic Set Method

An effective computational approach based on new multi-step collocation method for solving integral-algebraic equations

Comprehensive Involutive Systems

Solving Parametric Semi-Algebraic Systems

The Implementation of an Algorithm in Macsyma - Computing the Formal Solutions of Differential-Systems in the Neighborhood of Regular Singular Point

Integral-Algebraic Equations: Theory of Collocation Methods II

Generating polynomial invariants with DISCOVERER and QEPCAD

Collocation methods for a class of integro-differential algebraic equations

Discontinuous Piecewise Polynomial Collocation Methods for Integral-Algebraic Equations of Hessenberg Type.

QICS: Quantum Information Conic Solver

Integrals and characteristic algebras for systems of discrete equations on a quadrilateral graph

Algorithmic integrability tests for nonlinear differential and lattice equations

Dual Systems of Algebraic Iterated Function Systems

An Algorithm for Isolating the Real Solutions of Semi-algebraic Systems

Identifiability and Global Stability Analysis on Some Partial Differential Algebraic System

Real Solution Classification for Parametric Semi-Algebraic Systems.