Showing 1–2 of 2 results for author: Thierry, C
-
Revisiting Zariski Main Theorem from a constructive point of view
Authors:
Alonso M. Emilia,
Coquand Thierry,
Lombardi Henri
Abstract:
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be interpreted as an algorithm for constructing explicitly the conclusion from the hypothesis. The main non-constructive argument in the proof of Peskine is the use of m…
▽ More
This paper deals with the Peskine version of Zariski Main Theorem published in 1965 and discusses some applications. It is written in the style of Bishop's constructive mathematics. Being constructive, each proof in this paper can be interpreted as an algorithm for constructing explicitly the conclusion from the hypothesis. The main non-constructive argument in the proof of Peskine is the use of minimal prime ideals. Essentially we substitute this point by two dynamical arguments; one about gcd's, using subresultants, and another using our notion of strong transcendence. In particular we obtain algorithmic versions for the Multivariate Hensel Lemma and the structure theorem of quasi-finite algebras.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
Design of Cooperative Processes in a Customer-Supplier Relationship: An Approach Based on Simulation and Decision Theory
Authors:
François Galasso,
Caroline Thierry
Abstract:
Performance improvement in supply chains, taking into account customer demand in the tactical planning process is essential. It is more and more difficult for the customers to ensure a certain level of demand over a medium term horizon as their own customers ask them for personalisation and fast adaptation. It is thus necessary to develop methods and decision support systems to reconcile the ord…
▽ More
Performance improvement in supply chains, taking into account customer demand in the tactical planning process is essential. It is more and more difficult for the customers to ensure a certain level of demand over a medium term horizon as their own customers ask them for personalisation and fast adaptation. It is thus necessary to develop methods and decision support systems to reconcile the order and book processes. In this context, this paper intends firstly to relate decision under uncertainty and the industrial point of view based on the notion of risk management. This serves as a basis for the definition of an approach based on simulation and decision theory that is dedicated to the design of cooperative processes in a customer-supplier relationship. This approach includes the evaluation, in terms of risk, of different cooperative processes using a simulation-dedicated tool. The evaluation process is based on an exploitation of decision theory concepts and methods. The implementation of the approach is illustrated on an academic example typical of the aeronautics supply chain.
△ Less
Submitted 22 October, 2008;
originally announced October 2008.
