Krein spaces numerical ranges and their computer generation.
La différentiation automatique et son utilisation en optimisation
In this work, we present an introduction to automatic differentiation, its use in optimization software, and some new potential usages. We focus on the potential of this technique in optimization. We do not dive deeply in the intricacies of automatic differentiation, but put forward its key ideas. We sketch a survey, as of today, of automatic differentiation software, but warn the reader that the situation with respect to software evolves rapidly. In the last part of the paper, we present some...
Lambda-Upsilon-Omega : an Assistant Algorithms Analyzer
Machine calculations in Weyl groups.
Matrix rank certification.
Mémoire sur l'intégration d'une classe de fonctions transcendantes.
Minimal resolutions of lattice ideals and integer linear programming.
A combinatorial description of the minimal free resolution of a lattice ideal allows us to the connection of Integer Linear Programming and Al1gebra. The non null reduced homology spaces of some simplicial complexes are the key. The extremal rays of the associated cone reduce the number of variables.
Minimum complexity of automatic non sturmian sequences
MOP -- algorithmic modality analysis for parabolic actions.
Nestandardní zápisy čísel
Non-commutative reduction rings.
Nonlinear analysis of flexible beams undergoing large rotations via symbolic computations.
Nonlinear reduction for solving deficient polynomial systems by continuation methods.
Numerical Bounds for Inverses of Linear Operators
Numerical results for the Metropolis algorithm.
Object oriented institutions to specify symbolic computation systems
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution encodings. These morphisms define a commutative diagram which shows three possible views of the same construction, placing it in an equational algebraic...
On an algorithm to decide whether a free group is a free factor of another
We revisit the problem of deciding whether a finitely generated subgroup is a free factor of a given free group . Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of and exponential in the rank of . We show that the latter dependency can be made exponential in the rank difference rank - rank, which often makes a significant change.
On an algorithm to decide whether a free group is a free factor of another
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be made exponential in the rank difference rank(F) - rank(H), which often makes a significant change.
On Graph-Based Cryptography and Symbolic Computations
We have been investigating the cryptographical properties of in nite families of simple graphs of large girth with the special colouring of vertices during the last 10 years. Such families can be used for the development of cryptographical algorithms (on symmetric or public key modes) and turbocodes in error correction theory. Only few families of simple graphs of large unbounded girth and arbitrarily large degree are known. The paper is devoted to the more general theory of directed graphs of large...
On homotopy types of limits of semi-algebraic sets and additive complexity of polynomials
We prove that the number of distinct homotopy types of limits of one-parameter semi-algebraic families of closed and bounded semi-algebraic sets is bounded singly exponentially in the additive complexity of any quantifier-free first order formula defining the family. As an important consequence, we derive that the number of distinct homotopy types of semi-algebraic subsets of defined by a quantifier-free first order formula , where the sum of the additive complexities of the polynomials appearing...