Omar León Sánchez

According to our database, Omar León Sánchez authored at least 10 papers between 2015 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2022

Model theory of differential fields with finite group actions.

Daniel Max Hoffmann, Omar León Sánchez

J. Math. Log., 2022

2021

On Coincidence of Dimensions in Closed Ordered Differential Fields.

Pantelis E. Eleftheriou, Omar León Sánchez, Nathalie Regnault

Notre Dame J. Formal Log., 2021

On the Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry.

François Boulier, Sebastian Falkensteiner, Marc Paul Noordman, Omar León Sánchez

Proceedings of the Computer Algebra in Scientific Computing - 23rd International Workshop, 2021

2019

Estimates for the coefficients of differential dimension polynomials.

Omar León Sánchez

Math. Comput., 2019

2018

Effective bounds for the consistency of differential equations.

Richard Gustavson, Omar León Sánchez

J. Symb. Comput., 2018

2017

An upper bound for the order of a differential algebraic variety.

Omar León Sánchez

ACM Commun. Comput. Algebra, 2017

Some Definable Galois Theory and Examples.

Omar León Sánchez, Anand Pillay

Bull. Symb. Log., 2017

2016

The Model Companion of differential Fields with Free operators.

Omar León Sánchez, Rahim Moosa

J. Symb. Log., 2016

2015

Parametrized logarithmic equations and their Galois theory.

Omar León Sánchez

ACM Commun. Comput. Algebra, 2015

A New Bound for the Existence of Differential Field Extensions.

Richard Gustavson, Omar León Sánchez

Proceedings of the Mathematical Aspects of Computer and Information Sciences, 2015