Chapter 3. Formalizing a problem

Table of Contents

Sections of a Gappa script
Logical formula
Definitions
Hints
Preferred expressions and other peculiarities
Absolute and relative errors
Global errors
Discrete values
Disjunction
Providing hints
Rewriting rules
Approximated expressions
Dichotomy search