×

Found 3,905 Documents (Results 1–100)

100
MathJax

On transforming cut- and quantifier-free cyclic proofs into rewriting-induction proofs. (English) Zbl 07570125

Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 262-281 (2022).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI

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

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

Model theory and metric convergence. II: Averages of unitary polynomial actions. (English) Zbl 07548696

Galaz-García, Fernando (ed.) et al., Mexican mathematicians in the world. Trends and recent contributions. IV meeting. Reunión de matemáticos mexicanos en el mundo, Casa Matemática Oaxaca, Oaxaca, Mexico, June 10–15, 2018. Providence, RI: American Mathematical Society (AMS); México: Sociedad Matemática Mexicana. Contemp. Math. 775, 85-114 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

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

Latticed \(k\)-induction with an application to probabilistic programs. (English) Zbl 07498196

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 524-549 (2021).
MSC:  68Q60 06B23 68N30
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

Syntax for semantics: Krull’s maximal ideal theorem. (English) Zbl 1490.13001

Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 77-102 (2021).
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

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