Transcendence Certificates for D-finite Functions

Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches s...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:arXiv.org
Hauptverfasser: Kauers, Manuel, Koutschan, Christoph, Verron, Thibaut
Format: Paper
Sprache:Englisch
Veröffentlicht: Ithaca Cornell University Library, arXiv.org 19.09.2023
ISSN:2331-8422
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Abstract Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail.
AbstractList Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically, transcendence is certified by checking certain incomplete sufficient conditions. In this paper we propose an additional such condition which catches some cases on which other tests fail.
Author Verron, Thibaut
Koutschan, Christoph
Kauers, Manuel
Author_xml – sequence: 1
  givenname: Manuel
  surname: Kauers
  fullname: Kauers, Manuel
– sequence: 2
  givenname: Christoph
  surname: Koutschan
  fullname: Koutschan, Christoph
– sequence: 3
  givenname: Thibaut
  surname: Verron
  fullname: Verron, Thibaut
BookMark eNotzc1KxDAUQOEgCo7jPIC7guvW25v_pVRnFAbcdD-kyQ1kkFSTVnx8BV2d3Xdu2GWeMzF210MnjJTw4Mp3-uqQA3aguFUXbIOc960RiNdsV-sZAFBplJJvWD8Wl6unHCh7agYqS4rJu4VqE-fSPLUx5bRQs1-zX9Kc6y27iu690u6_Wzbun8fhpT2-HV6Hx2PrJNo2KrAALpBwEGLo1SStmdCS0D5yO5kIQWpBmiQBkAvKcSIhJ8AQ_eT4lt3_sR9l_lypLqfzvJb8ezyh1goN9MLyH2nxSBw
ContentType Paper
Copyright 2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
Copyright_xml – notice: 2023. This work is published under http://arxiv.org/licenses/nonexclusive-distrib/1.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.
DBID 8FE
8FG
ABJCF
ABUWG
AFKRA
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
HCIFZ
L6V
M7S
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
DOI 10.48550/arxiv.2302.06396
DatabaseName ProQuest SciTech Collection
ProQuest Technology Collection
Materials Science & Engineering Collection
ProQuest Central (Alumni)
ProQuest Central UK/Ireland
ProQuest Central Essentials
ProQuest Central
Technology collection
ProQuest One
ProQuest Central
SciTech Premium Collection
ProQuest Engineering Collection
Engineering Database
ProQuest Databases
ProQuest One Academic (New)
Publicly Available Content Database
ProQuest One Academic Middle East (New)
ProQuest One Academic Eastern Edition (DO NOT USE)
One Applied & Life Sciences
ProQuest One Academic (retired)
ProQuest One Academic UKI Edition
ProQuest Central China
Engineering collection
DatabaseTitle Publicly Available Content Database
Engineering Database
Technology Collection
ProQuest One Academic Middle East (New)
ProQuest Central Essentials
ProQuest One Academic Eastern Edition
ProQuest Central (Alumni Edition)
SciTech Premium Collection
ProQuest One Community College
ProQuest Technology Collection
ProQuest SciTech Collection
ProQuest Central China
ProQuest Central
ProQuest One Applied & Life Sciences
ProQuest Engineering Collection
ProQuest One Academic UKI Edition
ProQuest Central Korea
Materials Science & Engineering Collection
ProQuest Central (New)
ProQuest One Academic
ProQuest One Academic (New)
Engineering Collection
DatabaseTitleList Publicly Available Content Database
Database_xml – sequence: 1
  dbid: PIMPY
  name: Publicly Available Content Database
  url: http://search.proquest.com/publiccontent
  sourceTypes: Aggregation Database
DeliveryMethod fulltext_linktorsrc
Discipline Physics
EISSN 2331-8422
Genre Working Paper/Pre-Print
GroupedDBID 8FE
8FG
ABJCF
ABUWG
AFKRA
ALMA_UNASSIGNED_HOLDINGS
AZQEC
BENPR
BGLVJ
CCPQU
DWQXO
FRJ
HCIFZ
L6V
M7S
M~E
PHGZM
PHGZT
PIMPY
PKEHL
PQEST
PQGLB
PQQKQ
PQUKI
PRINS
PTHSS
ID FETCH-LOGICAL-a529-f60900ade4a0dfd16b598b29e47cf39b8f0d574e7e5e00ead6a3ee45b02dfcba3
IEDL.DBID M7S
IngestDate Mon Jun 30 08:29:25 EDT 2025
IsDoiOpenAccess true
IsOpenAccess true
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-a529-f60900ade4a0dfd16b598b29e47cf39b8f0d574e7e5e00ead6a3ee45b02dfcba3
Notes SourceType-Working Papers-1
ObjectType-Working Paper/Pre-Print-1
content type line 50
OpenAccessLink https://www.proquest.com/docview/2776280149?pq-origsite=%requestingapplication%
PQID 2776280149
PQPubID 2050157
ParticipantIDs proquest_journals_2776280149
PublicationCentury 2000
PublicationDate 20230919
PublicationDateYYYYMMDD 2023-09-19
PublicationDate_xml – month: 09
  year: 2023
  text: 20230919
  day: 19
PublicationDecade 2020
PublicationPlace Ithaca
PublicationPlace_xml – name: Ithaca
PublicationTitle arXiv.org
PublicationYear 2023
Publisher Cornell University Library, arXiv.org
Publisher_xml – name: Cornell University Library, arXiv.org
SSID ssj0002672553
Score 1.8451089
SecondaryResourceType preprint
Snippet Although in theory we can decide whether a given D-finite function is transcendental, transcendence proofs remain a challenge in practice. Typically,...
SourceID proquest
SourceType Aggregation Database
Title Transcendence Certificates for D-finite Functions
URI https://www.proquest.com/docview/2776280149
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV07T8MwELagBYmJt3iUKgOrqeM4fkxIlFYwUEXQoUzVxTlLXdqSlIqfT2xSGJBYGC0vfpzvTnefv4-Qa0_4oXhiqY4RqEA0FKDQVKXOcQVOOuWC2IQajfRkYrKm4FY1sMqNTwyOulhYXyPvcVU_W091Ym6Xb9SrRvnuaiOhsU3aniUhDtC9l-8aC5eqzpiTr2ZmoO7qQfkxW3v0M7_xwVn-csEhrgz3_7uiA9LOYInlIdnC-RHZDXhOWx2TOMQgG_RtLUZ9j5524btbFdVpanRP3cxnm9GwjmvB9E7IeDgY9x9oo45AIeWGOskMY1CgAFa4IpZ5anTODQplXWJy7ViRKoEKU2SsthcJCaJIc8YLZ3NITklrvpjjGYkALUeTC3AOhTY5KARlpXaJqPMr1OekszmAaWPh1fRn9xd_T1-SPS_R7jEWsemQ1qp8xyuyY9erWVV2SftuMMqeu-Hi6lH2-JS9fgKGg6Vz
linkProvider ProQuest
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LTwIxEJ4gaPTkOz5Q96DHym730e3BeAAJBCQkcuC26XanCRfAXUT9Uf5H28LqwcSbB89NmmamM_O1_TofwLVp-MGoL0nsoSABIidCZDFhoVKUCRUppqzYBBsM4vGYDyvwUf6FMbTKMifaRJ3NpLkjb1Cmw9a0OuH382diVKPM62opobHaFj18f9VHtuKu29L-vaG0_TBqdshaVYCIkHKiIpe7rsgwEG6mMi9KQx6nlGPApPJ5Gis3C1mADEN0XW3nSPiIQZi6NFMyFb6edgNqGkVQbpmCT19XOjRiGqD7q7dT2ymsIfK3ydKQremtwQLRj4xvy1h7958ZYA9qQzHHfB8qOD2ALctWlcUheLbCSqveK9FpGm64sp_5CkeDcKdF1MRgaaetq7YNrCMY_cUij6E6nU3xBByBkiJPA6EUBjFPBUPBZBQrP9DoEeNTqJf2TtbxWyTfxj77ffgKtjujx37S7w5657BjxOgNm8Tjdagu8he8gE25XEyK_NLuFQeSP3bNJ-SIAVg
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Transcendence+Certificates+for+D-finite+Functions&rft.jtitle=arXiv.org&rft.au=Kauers%2C+Manuel&rft.au=Koutschan%2C+Christoph&rft.au=Verron%2C+Thibaut&rft.date=2023-09-19&rft.pub=Cornell+University+Library%2C+arXiv.org&rft.eissn=2331-8422&rft_id=info:doi/10.48550%2Farxiv.2302.06396