Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000852057> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2000852057 endingPage "119" @default.
- W2000852057 startingPage "119" @default.
- W2000852057 abstract "The holonomic systems approach was proposed in the early 1990s by Doron Zeilberger. It laid a foundation for the algorithmic treatment of holonomic function identities. Frédéric Chyzak later extended this framework by introducing the closely related notion of ∂-finite functions and by placing their manipulation on solid algorithmic grounds. For practical purposes it is convenient to take advantage of both concepts which is not too much of a restriction: The class of functions that are holonomic and ∂-finite contains many elementary functions (such as rational functions, algebraic functions, logarithms, exponentials, sine function, etc.) as well as a multitude of special functions (like classical orthogonal polynomials, elliptic integrals, Airy, Bessel, and Kelvin functions, etc.). In short, it is composed of functions that can be characterized by sufficiently many partial differential and difference equations, both linear and with polynomial coefficients. An important ingredient is the ability to execute closure properties algorithmically, for example addition, multiplication, and certain substitutions. But the central technique is called creative telescoping which allows to deal with summation and integration problems in a completely automatized fashion. Part of this thesis is our Mathematica package HolonomicFunctions in which the above mentioned algorithms are implemented, including more basic functionality such as noncommutative operator algebras, the computation of Gröbner bases in them, and finding rational solutions of parameterized systems of linear differential or difference equations. Besides standard applications like proving special function identities, the focus of this thesis is on three advanced applications that are interesting in their own right as well as for their computational challenge. First, we contributed to translating Takayama's algorithm into a new context, in order to apply it to an until then open problem, the proof of Ira Gessel's lattice path conjecture. The computations that completed the proof were of a nontrivial size and have been performed with our software. Second, investigating basis functions in finite element methods, we were able to extend the existing algorithms in a way that allowed us to derive various relations which generated a considerable speed-up in the subsequent numerical simulations, in this case of the propagation of electromagnetic waves. The third application concerns a computer proof of the enumeration formula for totally symmetric plane partitions, also known as Stembridge's theorem. To make the underlying computations feasible we employed a new approach for finding creative telescoping operators." @default.
- W2000852057 created "2016-06-24" @default.
- W2000852057 creator A5057169112 @default.
- W2000852057 date "2010-06-24" @default.
- W2000852057 modified "2023-09-30" @default.
- W2000852057 title "Advanced applications of the holonomic systems approach" @default.
- W2000852057 doi "https://doi.org/10.1145/1823931.1823954" @default.
- W2000852057 hasPublicationYear "2010" @default.
- W2000852057 type Work @default.
- W2000852057 sameAs 2000852057 @default.
- W2000852057 citedByCount "55" @default.
- W2000852057 countsByYear W20008520572012 @default.
- W2000852057 countsByYear W20008520572013 @default.
- W2000852057 countsByYear W20008520572015 @default.
- W2000852057 countsByYear W20008520572016 @default.
- W2000852057 countsByYear W20008520572017 @default.
- W2000852057 countsByYear W20008520572018 @default.
- W2000852057 countsByYear W20008520572019 @default.
- W2000852057 countsByYear W20008520572020 @default.
- W2000852057 countsByYear W20008520572021 @default.
- W2000852057 countsByYear W20008520572023 @default.
- W2000852057 crossrefType "journal-article" @default.
- W2000852057 hasAuthorship W2000852057A5057169112 @default.
- W2000852057 hasBestOaLocation W20008520572 @default.
- W2000852057 hasConcept C110812573 @default.
- W2000852057 hasConcept C11413529 @default.
- W2000852057 hasConcept C134306372 @default.
- W2000852057 hasConcept C136119220 @default.
- W2000852057 hasConcept C14036430 @default.
- W2000852057 hasConcept C154945302 @default.
- W2000852057 hasConcept C165464430 @default.
- W2000852057 hasConcept C202444582 @default.
- W2000852057 hasConcept C2777964439 @default.
- W2000852057 hasConcept C28826006 @default.
- W2000852057 hasConcept C33923547 @default.
- W2000852057 hasConcept C41008148 @default.
- W2000852057 hasConcept C50757856 @default.
- W2000852057 hasConcept C75190567 @default.
- W2000852057 hasConcept C78458016 @default.
- W2000852057 hasConcept C86803240 @default.
- W2000852057 hasConcept C90119067 @default.
- W2000852057 hasConceptScore W2000852057C110812573 @default.
- W2000852057 hasConceptScore W2000852057C11413529 @default.
- W2000852057 hasConceptScore W2000852057C134306372 @default.
- W2000852057 hasConceptScore W2000852057C136119220 @default.
- W2000852057 hasConceptScore W2000852057C14036430 @default.
- W2000852057 hasConceptScore W2000852057C154945302 @default.
- W2000852057 hasConceptScore W2000852057C165464430 @default.
- W2000852057 hasConceptScore W2000852057C202444582 @default.
- W2000852057 hasConceptScore W2000852057C2777964439 @default.
- W2000852057 hasConceptScore W2000852057C28826006 @default.
- W2000852057 hasConceptScore W2000852057C33923547 @default.
- W2000852057 hasConceptScore W2000852057C41008148 @default.
- W2000852057 hasConceptScore W2000852057C50757856 @default.
- W2000852057 hasConceptScore W2000852057C75190567 @default.
- W2000852057 hasConceptScore W2000852057C78458016 @default.
- W2000852057 hasConceptScore W2000852057C86803240 @default.
- W2000852057 hasConceptScore W2000852057C90119067 @default.
- W2000852057 hasIssue "3/4" @default.
- W2000852057 hasLocation W20008520571 @default.
- W2000852057 hasLocation W20008520572 @default.
- W2000852057 hasOpenAccess W2000852057 @default.
- W2000852057 hasPrimaryLocation W20008520571 @default.
- W2000852057 hasRelatedWork W1980296676 @default.
- W2000852057 hasRelatedWork W2000852057 @default.
- W2000852057 hasRelatedWork W2065958989 @default.
- W2000852057 hasRelatedWork W2186973293 @default.
- W2000852057 hasRelatedWork W2548940749 @default.
- W2000852057 hasRelatedWork W2949696429 @default.
- W2000852057 hasRelatedWork W3101869060 @default.
- W2000852057 hasRelatedWork W4297797642 @default.
- W2000852057 hasRelatedWork W4327976433 @default.
- W2000852057 hasRelatedWork W4360981380 @default.
- W2000852057 hasVolume "43" @default.
- W2000852057 isParatext "false" @default.
- W2000852057 isRetracted "false" @default.
- W2000852057 magId "2000852057" @default.
- W2000852057 workType "article" @default.