Matematikai taiko XIX amžiaus idėjas šiuolaikinėms kompiuterių algebros sistemoms

RUDN universiteto matematikai į „Sage“ kompiuterinės algebros sistemą įtraukė naują simbolinę integracijos funkciją. Komanda įgyvendino idėjas ir metodus, kuriuos 1870-aisiais pasiūlė vokiečių matematikas Karlas Weierstrassas. Rezultatai buvo paskelbti Simbolinio skaičiavimo žurnalas,

Pirmoji kompiuterinė programa, galinti apskaičiuoti elementarių funkcijų integralus, buvo sukurta 1950-ųjų pabaigoje. Jį sukūrę kūrėjai įrodė, kad kompiuteris gali ne tik atlikti paprastus skaičiavimus, bet ir spręsti problemas, kurioms reikalingas tam tikras „mąstymo“ laipsnis. Simbolinė integracija, tai yra, integracija, kurioje vietoj skaičių yra raidės ir abstraktūs simboliai, yra tokios užduoties pavyzdys.

Tuo pačiu metu mokslininkai suprato, kad nei žmonės, nei kompiuteriai negali nustatyti, ar tam tikrą integralą galima panaudoti pradinėse funkcijose (su sąlyga, kad toks asmuo ar kompiuteris naudoja universiteto analizės metodus, kad atliktų ribotą skaičių veiksmų). Trečiajame dešimtmetyje prie simbolinių integratorių dirbę matematikai pradėjo remtis Lewilo siūlomais metodais 1830-aisiais. Nuo to laiko informatikai tyrinėja klasikinį mokslo paveldą.

Matematikai pritaikė XIX amžiaus idėjas

RUDN universiteto matematikai į „Sage“ kompiuterinės algebros sistemą įtraukė naują simbolinę integracijos funkciją. Komanda įgyvendino idėjas ir metodus, kuriuos 1870-aisiais pasiūlė vokiečių matematikas Karlas Weierstrassas. Paskola: RUDN universitetas

Algebrinių funkcijų paprastumo apskaičiavimas yra viena iš integracijos proceso kliūčių. Prieš Pirmąjį pasaulinį karą algebrinių funkcijų arba abeliečių integralų integravimas buvo laikomas viena iš svarbiausių matematikos problemų, tačiau vėliau ji buvo pamiršta.

„Dabartinės kompiuterinės algebros sistemos sugeba patenkinti net egzotiškiausius matematikos studentų reikalavimus, tačiau tuo pačiu metu daugelis šių sistemų neatpažįsta elementarų funkcijų integralų. „Tik keli paketai leidžia integruoti su algebrinėmis funkcijomis ar„ Abel “integralais, tačiau jų kūrimas sustojo prieš 15 metų, o jų funkcionalumas yra labai pageidautinas“, – sakė Michailas Malikas, fizikos ir matematikos daktaras, RUDN universiteto taikomosios informacijos docentas. և Tikimybių teorijos katedra.

Viena iš 1870-aisiais dešimtmečio vokiečių matematiko Karlo Weierstrasso sukurtų teorijų sumažino neatsiejamos algebrinės funkcijos dalies apskaičiavimą, kad surastų aiškų žinomą visų trijų tipų integralų rinkinį. Pradinis integralas pateikiamas kaip standartinių integralų suma (ši struktūra yra žinoma kaip įprastas Abelio integralo atvaizdas). RUDN universiteto komanda patvirtino, kad šis reprezentavimas liudija, kad šį integralą galima apskaičiuoti elementariose funkcijose. Norėdami patvirtinti savo teoriją, matematikai juos išbandė ant paprastų elipsės formos integralų, naudodami programinės įrangos paketą, kurį komanda sukūrė 2017 m. Paketas padeda apskaičiuoti įprastus integralo arklio galios koeficientus. Ateityje komanda planuoja atlikti panašius tyrimus, skirtus platesniam integrantų skaičiui.

„Šis darbas yra tik vienas žingsnis siekiant ambicingo tikslo. Mes norime išreikšti Weierstrasso Abelio integralų և funkcijų kompiuterinėje algebroje theory teoriją, kad ją įgyvendintume Sage sistemoje, suteikiant nemokamą prieigą visiems pasaulio tyrėjams. prie to “, – pridūrė Michailas Malikhas iš RUDN universiteto.

Nuoroda. “Dėl simbolinės algebrinių funkcijų integracijos” Malikhi, L.S. Sastianova և Y. Iki 2020 m Rugsėjo 11 d. Simbolinio skaičiavimo žurnalas,
DOI: 10.1016 / j.jsc.2020.09.002:

Related articles

Comments

LEAVE A REPLY

Please enter your comment!
Please enter your name here

Share article

Latest articles

Ribinių sąsajų inžinerija tarp 2D և 3D medžiagų

Autorius: Davidas L. Chandleris, Masačusetso technologijos institutas 2021 m. Kovo 2 d Šie aukso atomų, esančių ant dvimatio molibdeno sulfido sluoksnio, „atomų“ vaizdai buvo pagaminti...

Tėvų švietimo vertinimo santykiai su demografiniais ir egzaminų balais, mokyklinis ugdymas

Kruopščiai atspindi spalvų skirtumus ir pajamų skirtumus K-12 mokyklose. Preliminariame JAV valstybinių K-12 valstybinių mokyklų tėvų vertinimo tyrime, kuris pirmą kartą buvo paskelbtas 2009–2019 m....

Įdomi Trojos asteroidų maršruto istorija – surastas ir pavadintas NASA Lucy taikinys

Septynių Liucijos kelionės tikslų iliustracija: asteroido asteroidas Patroclus / Menoetius, Eurybates, Orus, Leucus, Polymele ir pagrindinis asteroidų diržas Donaldas Johansonas. Apdovanojimai: NASA „Goddard“...

Pirmasis žinomų žmogaus virusinių infekcijų, įskaitant naujas ID-19 mutacijas, tyrimas

Šis testas yra labai jautrus ir apsaugo nuo melo, kurį sukelia genetiniai panašumai. Koronavirusas II su sunkiais kvėpavimo simptomais Ir kitos žmogaus infekcinės ligos. Infekcijos...

Žemės tyrinėjimas iš kosmoso: Vankuveris, Britų Kolumbija, Kanada

Šį vaizdą padarė „Copernicus Sentinel-2“ misija 2019 m. Liepos 29 d. Vaizdo viršuje matomas Vankuveris yra tarp Burrardo įlankos ir Fraserio upės deltos,...

Newsletter

Subscribe to stay updated.