Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288113005> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W4288113005 abstract "$ $We study solutions of difference equations in the rings of sequences and, more generally, solutions of equations with a monoid action in the ring of sequences indexed by the monoid. This framework includes, for example, difference equations on grids (e.g., standard difference schemes) and difference equations in functions on words. On the universality side, we prove a version of strong Nullstellensatz for such difference equations under the assuption that the cardinality of the ground field is greater than the cardinality of the monoid and construct an example showing that this assumption cannot be omitted. On the undecidability side, we show that the following problems are undecidable: $bullet$ testing radical difference ideal membership or, equivalently, determining whether a given difference polynomial vanishes on the solution set of a given system of difference polynomials; $bullet$ determining consistency of a system of difference equations in the ring of real-valued sequences; $bullet$ determining consistency of a system of equations with action of $mathbb{Z}^2$, $mathbb{N}^2$, or the free monoid with two generators in the corresponding ring of sequences over any field of characteristic zero." @default.
- W4288113005 created "2022-07-28" @default.
- W4288113005 creator A5012130065 @default.
- W4288113005 creator A5027882126 @default.
- W4288113005 creator A5050796591 @default.
- W4288113005 date "2019-09-07" @default.
- W4288113005 modified "2023-09-23" @default.
- W4288113005 title "Solving difference equations in sequences: Universality and Undecidability" @default.
- W4288113005 doi "https://doi.org/10.48550/arxiv.1909.03239" @default.
- W4288113005 hasPublicationYear "2019" @default.
- W4288113005 type Work @default.
- W4288113005 citedByCount "0" @default.
- W4288113005 crossrefType "posted-content" @default.
- W4288113005 hasAuthorship W4288113005A5012130065 @default.
- W4288113005 hasAuthorship W4288113005A5027882126 @default.
- W4288113005 hasAuthorship W4288113005A5050796591 @default.
- W4288113005 hasBestOaLocation W42881130051 @default.
- W4288113005 hasConcept C118615104 @default.
- W4288113005 hasConcept C121332964 @default.
- W4288113005 hasConcept C124101348 @default.
- W4288113005 hasConcept C134306372 @default.
- W4288113005 hasConcept C153269930 @default.
- W4288113005 hasConcept C183992945 @default.
- W4288113005 hasConcept C192034797 @default.
- W4288113005 hasConcept C202444582 @default.
- W4288113005 hasConcept C206901836 @default.
- W4288113005 hasConcept C33923547 @default.
- W4288113005 hasConcept C41008148 @default.
- W4288113005 hasConcept C62520636 @default.
- W4288113005 hasConcept C87117476 @default.
- W4288113005 hasConcept C90119067 @default.
- W4288113005 hasConcept C9485509 @default.
- W4288113005 hasConceptScore W4288113005C118615104 @default.
- W4288113005 hasConceptScore W4288113005C121332964 @default.
- W4288113005 hasConceptScore W4288113005C124101348 @default.
- W4288113005 hasConceptScore W4288113005C134306372 @default.
- W4288113005 hasConceptScore W4288113005C153269930 @default.
- W4288113005 hasConceptScore W4288113005C183992945 @default.
- W4288113005 hasConceptScore W4288113005C192034797 @default.
- W4288113005 hasConceptScore W4288113005C202444582 @default.
- W4288113005 hasConceptScore W4288113005C206901836 @default.
- W4288113005 hasConceptScore W4288113005C33923547 @default.
- W4288113005 hasConceptScore W4288113005C41008148 @default.
- W4288113005 hasConceptScore W4288113005C62520636 @default.
- W4288113005 hasConceptScore W4288113005C87117476 @default.
- W4288113005 hasConceptScore W4288113005C90119067 @default.
- W4288113005 hasConceptScore W4288113005C9485509 @default.
- W4288113005 hasLocation W42881130051 @default.
- W4288113005 hasLocation W42881130052 @default.
- W4288113005 hasOpenAccess W4288113005 @default.
- W4288113005 hasPrimaryLocation W42881130051 @default.
- W4288113005 hasRelatedWork W1763792348 @default.
- W4288113005 hasRelatedWork W1976529759 @default.
- W4288113005 hasRelatedWork W1981909949 @default.
- W4288113005 hasRelatedWork W2009896212 @default.
- W4288113005 hasRelatedWork W2052875987 @default.
- W4288113005 hasRelatedWork W2069884999 @default.
- W4288113005 hasRelatedWork W2112648200 @default.
- W4288113005 hasRelatedWork W3040394833 @default.
- W4288113005 hasRelatedWork W4307688923 @default.
- W4288113005 hasRelatedWork W2583777943 @default.
- W4288113005 isParatext "false" @default.
- W4288113005 isRetracted "false" @default.
- W4288113005 workType "article" @default.