-
Developing System MathNat for Automatic Formalization of Mathematical texts
There is a wide gap between the language of mathematics and itsformalized versions. The term "language of mathematics" or"mathematical language" refers to prose that... -
A formalization of geometric constraint systems and their decomposition
International audience -
The research on juridical information in french and german laws in the field ...
Cette thèse a été rédigée en cotutelle sous la direction de M. le professeur Michel BIBENT (Montpellier 1) et M. le professeur Maximilien HERBERGER : http://www.theses.fr/s46512 -
Formalization of scientific process and conceptual modelling for the study of...
International audience -
From Tarski to Hilbert
International audience -
Towards universality of growth grammars: Models of Bell, Pagès, and Takenaka ...
International audience -
Identifying Objective True/False from Subjective Yes/No Semantic based on OWA...
International audience
