Displaying similar documents to “Galois lattice as a framework to specify building class hierarchies algorithms”

Galois Lattice as a Framework to Specify Building Class Hierarchies Algorithms

M. Huchard, H. Dicky, H. Leblanc (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

In the context of object-oriented systems, algorithms for building class hierarchies are currently receiving much attention. We present here a characterization of several algorithms. A global algorithm is one which starts with only the set of classes (provided with all their properties) and directly builds the hierarchy. The algorithms scrutinized were developped each in a different framework. In this survey, they are explained in a single framework, which takes advantage of a substructure...

Clausal relations and C-clones

Edith Vargas (2010)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We introduce a special set of relations called clausal relations. We study a Galois connection Pol-CInv between the set of all finitary operations on a finite set D and the set of clausal relations, which is a restricted version of the Galois connection Pol-Inv. We define C-clones as the Galois closed sets of operations with respect to Pol-CInv and describe the lattice of all C-clones for the Boolean case D = {0,1}. Finally we prove certain results about C-clones over a larger set. ...

Invariants and differential Galois groups in degree four

Julia Hartmann (2002)

Banach Center Publications

Similarity:

This note extends the algorithm of [hess] for computing unimodular Galois groups of irreducible differential equations of order four. The main tool is invariant theory.

Differential equations and algebraic transcendents: french efforts at the creation of a Galois theory of differential equations 1880–1910

Tom Archibald (2011)

Revue d'histoire des mathématiques

Similarity:

A “Galois theory” of differential equations was first proposed by Émile Picard in 1883. Picard, then a young mathematician in the course of making his name, sought an analogue to Galois’s theory of polynomial equations for linear differential equations with rational coefficients. His main results were limited by unnecessary hypotheses, as was shown in 1892 by his student Ernest Vessiot, who both improved Picard’s results and altered his approach, leading Picard to assert that his lay...

Remarks on the intrinsic inverse problem

Daniel Bertrand (2002)

Banach Center Publications

Similarity:

The intrinsic differential Galois group is a twisted form of the standard differential Galois group, defined over the base differential field. We exhibit several constraints for the inverse problem of differential Galois theory to have a solution in this intrinsic setting, and show by explicit computations that they are sufficient in a (very) special situation.