In algebra, the theory of equations is the analysis of the nature and algebraic solutions of algebraic equations (also called polynomial equations… (More)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2013

Highly Cited

2013

- Boris Dubrovin
- 2013

These lecture notes are devoted to the theory of “equations of associativity” describing geometry of moduli spaces of 2D… (More)

Is this relevant?

2010

2010

- A B Coble
- 2010

Ordinary protective geometry has long been recognized as an important instrument of investigation in other and apparently quite… (More)

Is this relevant?

2006

2006

PACS. 64.10.+h – General theory of equations of state and phase equilibria. Abstract. – A density functional theory of two… (More)

Is this relevant?

2004

2004

- Jeremy Avigad
- Bulletin of Symbolic Logic
- 2004

At the turn of the nineteenth century, mathematics exhibited a style of argumentation that was more explicitly computational than… (More)

Is this relevant?

2004

2004

- Lei Yang
- 2004

Geometry is one of the oldest and most basic branches of mathematics, as is algebra. Nowhere is the interplay between the two… (More)

Is this relevant?

2002

2002

- Volker Diekert, Markus Lohrey
- Theory of Computing Systems
- 2002

We prove that the existential theory of equations with normalized rational constraints in a fixed graph product of finite monoids… (More)

Is this relevant?

2002

2002

- Volker Diekert, Markus Lohrey
- IJAC
- 2002

Based on a PSPACE-completeness result for free monoids with involution [4] it is shown that the existential theory of equations… (More)

Is this relevant?

2001

2001

- Volker Diekert, Claudio Gutiérrez, Christian Hagenah
- STACS
- 2001

It is known that the existential theory of equations in free groups is decidable. This is a famous result of Makanin. On the… (More)

Is this relevant?

2001

2001

- Volker Diekert, Anca Muscholl
- ICALP
- 2001

Trace monoids are well-studied objects in computer science where they serve as a basic algebraic tool for analyzing concurrent… (More)

Is this relevant?

Highly Cited

1976

Highly Cited

1976

- George E. Collins, Alkiviadis G. Akritas
- SYMSACC
- 1976

Uspensky's 1948 book on the theory of equations presents an algorithm, based on Descartes' rule of signs, for isolating the real… (More)

Is this relevant?