BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Jose Capco

Jose Capco appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.AGmath.RARoboticsSymbolic Computation

Catalog footprint

What is connected

5works
5topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

Necessary and sufficient condition for a generic 3R serial manipulator to be cuspidal

Cuspidal robots can travel from one inverse kinematic solution to another without meeting a singularity. The name cuspidal was coined based on the existence of a cusp point in the workspace of 3R serial robots. The existence of a cusp point was proved to be a necessary and sufficient condition for orthogonal robots to be cuspidal, but it was not possible to extend this condition to non-orthogonal robots. The goal of this paper is to prove that this condition stands for any generic 3R robot. This result would give the designer more flexibility. In the presented work, the geometrical interpretation of the inverse kinematics of 3R robots is revisited and important observations on the nonsingular change of posture are noted. The paper presents a theorem regarding the existence of reduced aspects in any generic 3R serial robot. Based on these observations and on this theorem, we prove that the existence of a cusp point is a necessary and sufficient condition for any 3R generic robot to be cuspidal.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Two remarks on sums of squares with rational coefficients

There exist homogeneous polynomials $f$ with $\mathbb Q$-coefficients that are sums of squares over $\mathbb R$ but not over $\mathbb Q$. The only systematic construction of such polynomials that is known so far uses as its key ingredient totally imaginary number fields $K/\mathbb Q$ with specific Galois-theoretic properties. We first show that one may relax these properties considerably without losing the conclusion, and that this relaxation is sharp at least in a weak sense. In the second part we discuss the open question whether any $f$ as above necessarily has a (non-trivial) real zero. In the minimal open cases $(3,6)$ and $(4,4)$, we prove that all examples without a real zero are contained in a thin subset of the boundary of the sum of squares cone.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Robots, computer algebra and eight connected components

Answering connectivity queries in semi-algebraic sets is a long-standing and challenging computational issue with applications in robotics, in particular for the analysis of kinematic singularities. One task there is to compute the number of connected components of the complementary of the singularities of the kinematic map. Another task is to design a continuous path joining two given points lying in the same connected component of such a set. In this paper, we push forward the current capabilities of computer algebra to obtain computer-aided proofs of the analysis of the kinematic singularities of various robots used in industry. We first show how to combine mathematical reasoning with easy symbolic computations to study the kinematic singularities of an infinite family (depending on paramaters) modelled by the UR-series produced by the company ``Universal Robots''. Next, we compute roadmaps (which are curves used to answer connectivity queries) for this family of robots. We design an algorithm for ``solving'' positive dimensional polynomial system depending on parameters. The meaning of solving here means partitioning the parameter's space into semi-algebraic components over which the number of connected components of the semi-algebraic set defined by the input system is invariant. Practical experiments confirm our computer-aided proof and show that such an algorithm can already be used to analyze the kinematic singularities of the UR-series family. The number of connected components of the complementary of the kinematic singularities of generic robots in this family is $8$.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Real Closed Rings and Real Closed * Rings

Here we try to distinguish and compare different notions of real closedness mainly one developed by N. Schwartz in his Habilitationschrift and the other developed by A. Sankaranand K. Varadarajan which we shall call real closed *. We stick to the definition of real closed rings as defined and characterized N. Schwartz and we try to determine and characterize real closed rings that are real closed *. The main result is that real closed rings have unique real closure * and that real closure of real closed * rings arent necessarily real closed *.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Uniqueness of real closure * of Baer regular rings

It was pointed out in my last paper that there are rings whose real closure * are not unique. In [4] we also discussed some example of rings by which there is a unique real closure * (mainly the real closed rings). Now we want to determine more classes of rings by which real closure * is unique. The main results involve characterisations of domains and Baer regular rings having unique real closure *, and an example showing that regular rings need not be f-rings in order to have a unique real closure *. The main objective here is to find characterisation for uniqueness of real closure * for real regular rings that will primarily only require information of the prime spectrum and the real spectrum of the ring.

0 citations0 reviewsNo code linkedOpen access