×

Found 1,611 Documents (Results 1–100)

Handling polynomial and transcendental functions in SMT via unconstrained optimisation and topological degree test. (English) Zbl 1522.68716

Bouajjani, Ahmed (ed.) et al., Automated technology for verification and analysis. 20th international symposium, ATVA 2022, virtual event, October 25–28, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13505, 137-153 (2022).
MSC:  68V15 55M25 90C30

An introduction to \(\mathbb{A}^1\)-enumerative geometry. Based on lectures by Kirsten Wickelgren delivered at the LMS-CMI research school “Homotopy theory and arithmetic geometry – motivic and Diophantine aspects”. (English) Zbl 1478.14002

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 11-47 (2021).
Full Text: DOI

Homotopy theory and arithmetic geometry – motivic and Diophantine aspects: an introduction. (English) Zbl 1478.14004

Neumann, Frank (ed.) et al., Homotopy theory and arithmetic geometry – motivic and Diophantine aspects. LMS-CMI research school, London, UK, July 9–13, 2018. Lecture notes. Cham: Springer. Lect. Notes Math. 2292, 1-9 (2021).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software