Found 26 Documents (Results 1–26)
Parabolic recursions for Kazhdan-Lusztig polynomials and the hypercube decomposition. (English) Zbl 07918126
Contribution functions for quantitative bipolar argumentation graphs: a principle-based analysis. (English) Zbl 07905219
Proof in the time of machines. (English) Zbl 1535.00010
Mathematics and the formal turn. (English) Zbl 07826993
Discovering first principle of behavioural change in disease transmission dynamics by deep learning. (English) Zbl 1533.92234
David, Jummy (ed.) et al., Mathematics of public health. Mathematical modelling from the next generation. Cham: Springer. Fields Inst. Commun. 88, 37-54 (2024).
Explainable AI insights for symbolic computation: a case study on selecting the variable ordering for cylindrical algebraic decomposition. (English) Zbl 07799836
Why should mathematicians ask politicians to avoid the ancient dilemma of pure and applied mathematics? (English) Zbl 1530.01047
MSC:
01A80
Machine learning for science: mathematics at the interface of data-driven and mechanistic modelling. Abstracts from the workshop held June 11–16, 2023. (English) Zbl 1528.68032
Ranks of elliptic curves and deep neural networks. (English) Zbl 1529.11079
Reviewer: Yulin Cai (Hangzhou)
Optimal control by deep learning techniques and its applications on epidemic models. (English) Zbl 1508.92316
On automorphisms of undirected Bruhat graphs. (English) Zbl 1517.20063
Reviewer: Chen Sheng (Harbin)
From the string landscape to the mathematical landscape: a machine-learning outlook. (English) Zbl 07819647
Dobrev, Vladimir (ed.), Lie theory and its applications in physics. Selected papers based on the presentations at the workshop, Sofia, Bulgaria, online, June 2021. Singapore: Springer. Springer Proc. Math. Stat. 396, 21-31 (2022).
AI: why mathematics? Preface of the editor-in-chief of the Doklady Mathematics Journal. (English. Russian original) Zbl 1522.68041
Dokl. Math. 106, Suppl. 1, S1-S2 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 508, 3-5 (2022).
Towards combinatorial invariance for Kazhdan-Lusztig polynomials. (English) Zbl 1509.20057
Reviewer: José Martínez-Bernal (Ciudad de México)
Filter Results by …
Document Type
- Journal Articles (24)
- Collection Articles (2)
all
top 5
Author
- He, Yang-Hui Evariste (3)
- Song, Pengfei (3)
- Davies, Alex (2)
- Williamson, Geordie (2)
- Wu, Jianhong (2)
- Xiao, Yanni (2)
- Avigad, Jeremy (1)
- Bao, Jiakang (1)
- Blundell, Charles (1)
- Büsing, Lars (1)
- Cohen, Kelly (1)
- Craven, Jessica (1)
- Čyras, Kristijonas (1)
- del Río Almajano, Tereso (1)
- Denisov, S. V. (1)
- England, Matthew (1)
- Gaetz, Christian (1)
- Gao, Yibo (1)
- Granville, Andrew James (1)
- Grünbaum, Daniel (1)
- Hirst, Edward (1)
- Hofscheier, Johannes (1)
- Hughe, Mark (1)
- Ipiña, Juan Manuel Perez (1)
- Jejjala, Vishnu (1)
- Kampik, Timotheus (1)
- Kar, Arjun (1)
- Kasprzyk, Alexander M. (1)
- Kazalicki, Matija (1)
- Lawrence, Neil D. (1)
- Libedinsky, Nicolas (1)
- Lisitsa, Alexei P. (1)
- Majumder, Suvajit (1)
- Meyerov, I. B. (1)
- Montgomery, Jessica (1)
- Moslehian, Mohammad Sal (1)
- Ochigame, Rodrigo (1)
- Pickering, Lynn (1)
- Potyka, Nico (1)
- Salles, Mateo (1)
- Schölkopf, Bernhard (1)
- Toni, Francesca (1)
- Veličković, Petar (1)
- Vernitski, Alexei (1)
- Vlah, Domagoj (1)
- Volokitin, V. D. (1)
- Yin, Shuangshuang (1)
- Yin, Xiang (1)
all
top 5
Serial
- Bull. Am. Math. Soc., New Ser. (6)
- Phys. Lett., B (2)
- J. Math. Biol. (1)
- J. Indian Inst. Sci. (1)
- Math. Z. (1)
- J. Symb. Comput. (1)
- Int. J. Approx. Reasoning (1)
- J. Knot Theory Ramifications (1)
- Adv. Appl. Clifford Algebr. (1)
- Sel. Math., New Ser. (1)
- Dokl. Math. (1)
- Represent. Theory (1)
- Chaos (1)
- Oberwolfach Rep. (1)
- J. Appl. Anal. Comput. (1)
- Res. Number Theory (1)
- Eur. Math. Soc. Mag. (1)
- SciPost Phys. (1)
all
top 3
Software
- Adam (3)
- BERT (3)
- GRU-ODE-Bayes (3)
- GitHub (3)
- Julia (3)
- TensorFlow (3)
- AlexNet (2)
- AlphaTensor (2)
- DeepONet (2)
- DiffSharp (2)
- ImageNet (2)
- KnotInfo (2)
- Scikit (2)
- Tensor2Tensor (2)
- torchdiffeq (2)
- ALTRO (1)
- AdaBoost.MH (1)
- AlphaGo (1)
- Attractor (1)
- Automath (1)
- Cambridge LCF (1)
- CasADi (1)
- ChatGPT (1)
- ConvNetJS (1)
- Coq (1)
- DifferentialEquations.jl (1)
- ELFI (1)
- ElemStatLearn (1)
- FATODE (1)
- FORM (1)
- Flyspeck (1)
- GPT-3 (1)
- Graded Ring Database (1)
- Ipopt (1)
- Isabelle/HOL (1)
- KNITRO (1)
- Khoho (1)
- KnotTheory (1)
- LMFDB (1)
- MetiTarski (1)
- NUTS (1)
- NeuralPDE.jl (1)
- NumPy (1)
- Orbital library (1)
- PARI/GP (1)
- PRMLT (1)
- PSOPT (1)
- PyTorch (1)
- Python (1)
- QEPCAD (1)
- SINDy-PI (1)
- SMT-LIB (1)
- SNOPT (1)
- SOCS (1)
- SageMath (1)
- SnapPy (1)
- Theoryguru (1)
- WolframAlpha (1)
- fastai (1)
- kepler98 (1)
- mathlib (1)
- shap (1)