×

Found 3,862 Documents (Results 1–100)

100
MathJax

An introduction to algebraic models for rational \(G\)-spectra. (English) Zbl 07469289

Balchin, Scott (ed.) et al., Equivariant topology and derived algebra. Based on the conference, Trondheim, Norway, 2019. In honour of Professor J. P. C. Greenlees’ 60th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 474, 119-179 (2022).
MSC:  55P91 19A22
PDF BibTeX XML Cite
Full Text: arXiv Link

AlCons : deductive synthesis of sorting algorithms in Theorema. (English) Zbl 07500651

Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 314-333 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Contactless capture and removal of space debris objects using electromagnetic induction. (English. Russian original) Zbl 1481.78027

Vestn. St. Petersbg. Univ., Math. 54, No. 4, 418-427 (2021); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 8(66), No. 4, 670-682 (2021).
MSC:  78A99 74F15 70F15
PDF BibTeX XML Cite
Full Text: DOI

The paradoxical nature of mathematics. (English) Zbl 1479.00006

Papadopoulos, Athanase (ed.), Topology and geometry. A collection of essays dedicated to Vladimir G. Turaev. Berlin: European Mathematical Society. IRMA Lect. Math. Theor. Phys. 33, 599-642 (2021).
MSC:  00A30 03A05 03A10
PDF BibTeX XML Cite
Full Text: DOI

Hopf algebras and tensor categories. International workshop, Nanjing University, Nanjing, China, September 9–13, 2019. (English) Zbl 1472.16001

Contemporary Mathematics 771. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5624-5/pbk; 978-1-4704-6427-1/ebook). x, 359 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Constructing a universe for the setoid model. (English) Zbl 07410416

Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 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. 12650, 1-21 (2021).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Explicit decomposition of certain induced representations of the general linear group. (English) Zbl 1482.22020

Müller, Werner (ed.) et al., Relative trace formulas. Proceedings of the Simons symposium, Schloss Elmau, Germany, April 22–28, 2018. Cham: Springer. Simons Symp., 321-327 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fricke identities, Frobenius \(k\)-characters and Markov equation. (English) Zbl 1473.20007

Novikov, Sergey (ed.) et al., Integrability, quantization, and geometry II. Quantum theories and algebraic geometry. Dedicated to the memory of Boris Dubrovin 1950–2019. Providence, RI: American Mathematical Society (AMS). Proc. Symp. Pure Math. 103, Part 2, 67-78 (2021).
PDF BibTeX XML Cite
Full Text: arXiv

12th century arithmetic algebra: Al-Bāhir of al-Samaw’al. (L’algèbre arithmétique au XIIe siècle : Al-Bāhir d’al-Samaw’al.) (French, Arabic) Zbl 07297260

Scientia Graeco-Arabica 32. Berlin: De Gruyter (ISBN 978-3-11-073834-6/hbk; 978-3-11-073346-4/ebook). lxxi, 255 p. (2021).
MSC:  01A30
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software