1 citations · 2 across the 2 of their papers we have counts for
3 papers
math.AT2020
A randomized greedy algorithm for piecewise linear motion planning
Carlos Ortiz, Adriana Lara, Jesus Gonzalez +1
We describe and implement a randomized algorithm that inputs a polyhedron, thought of as the space of states of some automated guided vehicle , and outputs an explicit…
math.LO1999★ 1 cited
Uniform Versions of Infinitary Properties in Banach Spaces
Carlos Ortiz
In functional analysis it is of interest to study the following general question: Is the uniform version of a property that holds in all Banach spaces also valid in all Banach spac…
math.LO1998★ 1 cited
A Model Existence Theorem for Infinitary Formulas in Metric Spaces
Carlos Ortiz
We prove a Model Existence Theorem for a fully infinitary logic for metric structures. This result is based on a generalization of the notions of approximate formulas and approxima…