Knowledge in mathematics (definitions, theorems, proofs, etc.) is usually expressed in a way
that combines natural language and mathematical expressions (eg equations). Using an …

Optimal utilization of complex processes involves realtime operational optimization and
scheduling, especially in cases where the production line consists of both continuous and …

This work is motivated by the challenging problem of the computer-aided generation of
approximations (viewed as a series of transformations) of partial derivative equations. In this …

The general context of this article is the incremental design of complex models using a
notion of extension. The models we are considering are described by abstract terms and …

Motivated by an ongoing project on computer aided derivation of asymptotic models
governed by partial differential equations, we introduce a class of term transformations that …

Motivated by an ongoing project on the computer aided derivation of multiscale partial
differential equation models, we introduce a class of term transformations that consists in …

We introduce a new class of extensions of terms that consists in navigation strategies and
insertion of contexts. We introduce an operation of combination on this class which is …

MEMSALab is a software in development that will al-low the generation of multiscale multi-
physics model families based on their derivation. Here, we present a mini-language to …

Optimal utilization of complex processes involves real-time operational optimization and
scheduling, especially in cases where the production line consists of both continuous and …