We discuss the formal modelling of mathematical problems that are amenable to algorithms and software from symbolic computation; the models are based on the language of algebra and logic. In this lecture, we discuss particular examples from various application domains.
Subject
Logical Models of Problems and Computations.
Modelling in Kinematics and Mechanics.
Modelling and automated proving in geometry and discrete mathematics.
