Automating the Construction of Stationary Multiple-Point Classes

In this paper, we describe an algorithm to compute arbitrary stationary multiple-point formulas. We report its full implementation in Maple and show some examples matching formulas found by hand computation. We also present an application to the enumeration of lines having speci ed contact with a projective surface.

• Type: Conference
• Year: 1994
• Where: ISSAC
• Authors: Sylvain Petitjean
• Keywords: Examples Matching Formulas, ISSAC 1994, Lines Having Speci, Mathematics, Stationary Multiple-point Formulas