Next:
Introduction
Up:
toto
Previous:
Generating program without running
Contents
Simplification procedures
Subsections
Introduction
Filtering simplification procedures
The
HullConsistency
,
Simp2B
and
HullIConsistency
procedures
The
HullConsistencyTaylor
procedure
The
BiCenteredForm
procedure
The
GlobalConsistencyTaylor
procedure
The
SimpAngle
procedure
The
SimplexConsistency
procedure
The
IntervalNewton
procedure
Roots simplification procedures
TryNewton
Rouche
Concatenation of simplification procedures
Using the 3B method
Principle
Repeating the 3B method
Other parameters for the 3B method
Simplification procedures for matrix
Jean-Pierre Merlet 2012-12-20
