About: This paper is part of our ongoing research on the adaptation of Lazard’s CAD to benefit from equational constraints in formulae. In earlier work we combined the CAD methods of McCallum and Lazard so as to produce an efficient algorithm for decomposing a hypersurface rather than the whole of [Formula: see text] (exploiting an equational constraint [Formula: see text]). That method, however, fails if f is nullified (in McCallum’s terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: This paper is part of our ongoing research on the adaptation of Lazard’s CAD to benefit from equational constraints in formulae. In earlier work we combined the CAD methods of McCallum and Lazard so as to produce an efficient algorithm for decomposing a hypersurface rather than the whole of [Formula: see text] (exploiting an equational constraint [Formula: see text]). That method, however, fails if f is nullified (in McCallum’s terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains. Goto Sponge NotDistinct Permalink

An Entity of Type : fabio:Abstract, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	abstract
value	This paper is part of our ongoing research on the adaptation of Lazard’s CAD to benefit from equational constraints in formulae. In earlier work we combined the CAD methods of McCallum and Lazard so as to produce an efficient algorithm for decomposing a hypersurface rather than the whole of [Formula: see text] (exploiting an equational constraint [Formula: see text]). That method, however, fails if f is nullified (in McCallum’s terminology): we call the set where this happens a curtain. Here we provide a further modification which, at the cost of a trade off in terms of complexity, is valid for any hypersurface, including one containing curtains.
subject	Computer-aided design Computer-aided design software Multi-dimensional geometry Companies listed on the New York Stock Exchange Design engineering »more»
part of	Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
is abstract of	Curtains in CAD: Why Are They a Problem and How Do We Fix Them?
is hasSource of	covid:ann/target/aa2f100b10b1ca961da733b000cdccfcc97b8c31 covid:ann/target/dbbc95a968650c68060c0493652f29b28de7bf69 covid:ann/target/7e7b52029b5bacbfb0e948357fdb222252d2cccd covid:ann/target/8d8bed05aece88b1f934b805a0c9167d4f4f2cc1 covid:ann/target/10f7caf43bfbb5cbcf92e13e9853a07c5554df08 »more»

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software