×

Found 656 Documents (Results 1–100)

100
MathJax

Automatic differentiation with higher infinitesimals, or computational smooth infinitesimal analysis in Weil algebra. (English) Zbl 07497955

Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 174-191 (2021).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On one approach to the numerical solution of a coefficient inverse problem. (English. Russian original) Zbl 07427868

Dokl. Math. 104, No. 1, 208-211 (2021); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 499, 58-62 (2021).
MSC:  65Mxx 35Rxx 80Axx
PDF BibTeX XML Cite
Full Text: DOI

Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058

Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 607-634 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Application of the fast automatic differentiation technique for solving inverse coefficient problems. (English. Russian original) Zbl 1455.80007

Comput. Math. Math. Phys. 60, No. 1, 15-25 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 18-28 (2020).
PDF BibTeX XML Cite
Full Text: DOI

On the effectiveness of the fast automatic differentiation methodology. (English) Zbl 1473.65018

Evtushenko, Yury (ed.) et al., Optimization and applications. 9th international conference, OPTIMA 2018, Petrovac, Montenegro, October 1–5, 2018. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 974, 264-276 (2019).
MSC:  65D25 68W30
PDF BibTeX XML Cite
Full Text: DOI

Gradient-free and gradient-based methods for shape optimization of water turbine blade. (English) Zbl 1463.76026

Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 19. Proceedings of the 19th seminar (PANM), Hejnice, Czech Republic, June 24–29, 2018. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 15-26 (2019).
PDF BibTeX XML Cite
Full Text: DOI

Gradient methods for solving Stackelberg games. (English) Zbl 1431.91072

Pekeč, Saša (ed.) et al., Algorithmic decision theory. 6th international conference, ADT 2019, Durham, NC, USA, October 25–27, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11834, 126-140 (2019).
MSC:  91A65 91A68
PDF BibTeX XML Cite
Full Text: DOI arXiv

Computing invariant manifolds for libration point missions. (English) Zbl 1428.70023

Baù, Giulio (ed.) et al., Satellite dynamics and space missions. Collected papers of the summer school “Satellite dynamics and space missions: theory and applications of celestial mechanics”, San Martino al Cimino, Viterbo, Italy, August 28 – September 2, 2017. Cham: Springer. Springer INdAM Ser. 34, 159-223 (2019).
PDF BibTeX XML Cite
Full Text: DOI

ZpL: a \(p\)-adic precision package. (English) Zbl 1467.68227

Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 119-126 (2018).
MSC:  68W30 11Y16 68-04
PDF BibTeX XML Cite
Full Text: DOI arXiv

Identification of the thermal conductivity coefficient using a given surface heat flux. (English. Russian original) Zbl 1421.80008

Comput. Math. Math. Phys. 58, No. 12, 2031-2042 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 12, 2112-2126 (2018).
MSC:  80A23 80A20 80M50 35R30 65M32 49J20 68W30
PDF BibTeX XML Cite
Full Text: DOI

Identification of thermal conductivity coefficient using a given temperature field. (English. Russian original) Zbl 1412.80002

Comput. Math. Math. Phys. 58, No. 10, 1585-1599 (2018); translation from Zh. Vychisl. Mat. Mat. Fiz. 58, No. 10 (2018).
PDF BibTeX XML Cite
Full Text: DOI

Revisiting expression representations for nonlinear AMPL models. (English) Zbl 1411.90321

Al-Baali, Mehiddin (ed.) et al., Numerical analysis and optimization. Selected papers based on the presentations at the 4th international conference, NAO-IV, Muscat, Oman, January 2–5, 2017. Cham: Springer. Springer Proc. Math. Stat. 235, 99-118 (2018).
MSC:  90C30
PDF BibTeX XML Cite
Full Text: DOI

Handling ties correctly and efficiently in viterbi training using the viterbi semiring. (English) Zbl 06894757

Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10792, 284-295 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

About the power law of the PageRank vector component distribution. II: The Buckley-Osthus model, verification of the power law for this model, and setup of real search engines. (Russian, English) Zbl 1399.68010

Sib. Zh. Vychisl. Mat. 21, No. 1, 23-46 (2018); translation in Numer. Analysis Appl. 11, No. 1, 16-32 (2018).
PDF BibTeX XML Cite
Full Text: DOI

About the power law of the PageRank vector component distribution. I: Numerical methods for finding the PageRank vector. (Russian, English) Zbl 1399.68011

Sib. Zh. Vychisl. Mat. 20, No. 4, 359-378 (2017); translation in Numer. Analysis Appl. 10, No. 4, 299-312 (2017).
PDF BibTeX XML Cite
Full Text: DOI

Chebyshev-Taylor parameterization of stable/unstable manifolds for periodic orbits: implementation and applications. (English) Zbl 1382.34053

PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software