Displaying similar documents to “A note on Robinson's non-negativity criterion”

Solving Algebraic Equations Using Coalgebra

Federico De Marchi, Neil Ghani, Christoph Lüth (2010)

RAIRO - Theoretical Informatics and Applications

Similarity:

Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely presentable ...

A note on global Nash subvarieties and Artin-Mazur theorem

Alessandro Tancredi, Alberto Tognoli (2004)

Bollettino dell'Unione Matematica Italiana

Similarity:

It is shown that every connected global Nash subvariety of R n is Nash isomorphic to a connected component of an algebraic variety that, in the compact case, can be chosen with only two connected components arbitrarily near each other. Some examples which state the limits of the given results and of the used tools are provided.