Inilalapat ng mga matematiko ang mga ideya ng ikalabinsiyam na siglo sa mga modernong kompyuter na algebra system

Ang isang pangkat ng mga matematiko mula sa RUDN University ay nagdagdag ng bagong makasagisag na pag-andar upang maisama sa computerized algebra system ng Sage. Ipinatupad ng koponan ang mga ideya at pamamaraan na iminungkahi ng matematikal na Aleman na si Karl Weierstrass noong 1870s. Ang mga resulta ay nai-publish sa Journal of Symbolic Computations.

Ang unang programa sa computer na may kakayahang makalkula ang mga integral ng mga pagpapaandar sa elementarya ay binuo noong huling bahagi ng 1950s. Sa pamamagitan ng paglikha nito, nakumpirma ng mga developer na ang computer ay hindi lamang maisasagawa ang mga simpleng kalkulasyon, ngunit malulutas din ang mga problema na nangangailangan ng isang tiyak na antas ng “pag-iisip”. Ang isang halimbawa ng gayong problema ay ang pagsasagisag sa simboliko, iyon ay, pagsasama na nagsasama ng mga titik at abstract na simbolo sa halip na mga numero.

Kasabay nito, napagtanto ng mga siyentista na alinman sa mga tao o computer ay hindi maaaring matukoy kung ang isang ibinigay na integral ay maaaring makuha sa mga pagpapaandar ng elementarya (sa kondisyon na ang isang tao o computer ay gumagamit ng mga pamamaraan na natutunan sa kurso ng pag-aaral ng unibersidad, at gumagawa ng isang limitadong bilang ng mga hakbang ). Samakatuwid, noong 1960s, ang mga matematiko na nagtatrabaho sa mga simbolikong integrator ay nagsimulang lumipat sa mga pamamaraang iminungkahi ni Liouville noong 1830s. Mula noon, ang mga siyentipiko sa kompyuter ay nagtatamasa ng klasikong pamana ng pang-agham.

Inilapat ng mga matematiko ang mga ideya ng ikalabinsiyam na siglo

Ang isang pangkat ng mga matematiko mula sa RUDN University ay nagdagdag ng bagong makasagisag na pag-andar upang maisama sa computerized algebra system ng Sage. Ipinatupad ng koponan ang mga ideya at pamamaraan na iminungkahi ng matematikal na Aleman na si Karl Weierstrass noong 1870s. May-akda: RUDN University

Ang pagkalkula ng mga primitibo ng mga pagpapaandar ng algebraic ay isa sa mga bottleneck sa proseso ng pag-unlad ng integrator. Bago ang Digmaang Pandaigdig I, ang pagsasama ng mga pag-andar ng algebraic o mga integral ng Abelian ay itinuturing na isa sa pinakamahalagang problema sa matematika, ngunit kalaunan ay nakalimutan.

“Ang mga modernong sistema ng computer algebra ay may kakayahang matupad kahit na ang pinaka-kakaibang mga kahilingan ng mga mag-aaral ng pagsusuri sa matematika, ngunit sa parehong oras marami sa mga sistemang ito ay hindi kinikilala ang mga integral sa mga pagpapaandar ng elementarya. Ilang mga pakete lamang ang pinapayagan ang pagsasama ng mga pag-andar ng algebraic o sa mga integral ng Abelian, ngunit ang kanilang pag-unlad ay tumigil 15 taon na ang nakakalipas, at ang kanilang pag-andar ay nag-iiwan ng higit na nais, “sabi ng Doctor of Physics and Matematika at Associate Professor na si Mikhail Malykh sa Kagawaran ng Applied Informatics at Probability Theory.

Ang isa sa mga teorya na binuo ng dalubhasang matematika ng Aleman na si Karl Weierstrass noong 1870s ay binabawasan ang pagkalkula ng integral ng isang pagpapaandar na algebraic sa paghahanap para sa isang naibigay na hanay ng mga kilalang integral ng lahat ng tatlong uri. Ang paunang integral ay kinakatawan bilang kabuuan ng mga karaniwang integral (ang konstruksyon na ito ay kilala bilang normal na representasyon ng integral ng Abelian). Ang isang koponan mula sa RUDN University ay nagkumpirma na ang representasyong ito ay nagpapahiwatig kung ang isang ibinigay na integral sa mga pagpapaandar sa elementarya ay maaaring makalkula. Upang kumpirmahin ang kanilang teorya, sinubukan sila ng mga matematiko sa simpleng mga elliptical integral gamit ang isang software package na nilikha ng koponan noong 2017. Ang package ay tumutulong sa kalkulahin ang mga coefficients ng normal na hugis ng integral. Sa hinaharap, plano ng koponan na magsagawa ng mga katulad na pag-aaral para sa isang mas malawak na hanay ng mga integral.

“Ang gawaing ito ay isang hakbang lamang patungo sa isang mapaghangad na layunin: nais naming ipahayag ang teorya ng mga integral ng Abelian at mga pagpapaandar ng Weierstrass gamit ang wika ng computer algebra at ipakilala ito sa Sage system, na nagbibigay sa mga mananaliksik mula sa buong mundo ng libreng pag-access dito,” dagdag ni Michael. Mga bata mula sa PFUR University.

Sanggunian: “Sa sinasagisag na pagsasama ng mga pagpapaandar ng algebraic” MD Malykh, LA Sevastyanov at Yu. Yu., Setyembre 11, 2020, Journal of Symbolic Computations.
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

Pagkuha ng Impormasyon sa Kasaysayan ng Neanderthal na Populasyon Gamit ang Sinaunang Nuclear DNA Mula sa Mga Ciment Sediment

Gallery sa lugar ng yungib ng mga estatwa sa hilagang Espanya. Kredito: Javier Trueba - Madrid Scientific Films Ang Mitochondrial DNA ng mga archaic...

Kung Paano Maaaring Lumaki ang Iba Pang Mga Karamdaman na Fungi Sa Maliit na Puwang

Ang isang pangkat na pinangunahan ng Tsukuba University ay natagpuan ang isang makabuluhang pagkakaiba na nagpapaliwanag kung bakit ang ilang mga species ng fungi...

Para sa Mga Tatanggap ng Transplant, Isang Pangatlong Dosis ng Bakuna sa COVID Maaaring Mag-alok ng Mas mahusay na Proteksyon

Ipinakita ng mga mananaliksik sa Johns Hopkins Medicine na tatlong dosis ng bakuna laban sa SARS-CoV-2-ang virus na sanhi ng pagtaas ng antas ng...

Ang mga sigla ng usok na nasa daang siglo na napanatili sa niyebe ay nagbubunyag ng isang maalab na nakaraan – at ang hinaharap...

Inisyu ni Harvard John a. Paulson School of Engineering at Applied Science Hunyo 18, 2021 Ang usok mula sa mga wildfires na gawa ng tao...

Inihanda ng NASA ang “Moonikin” na kumander para sa Artemis 1 lunar na misyon

Sa larawang ito, sinusubukan ng mga inhinyero ang isang pagsubok na panginginig ng boses sa upuan ng Orion at ang Chemini Space Center -...

Newsletter

Subscribe to stay updated.