×

Found 115 Documents (Results 1–100)

Empowering the Event-B method using external theories. (English) Zbl 1502.68176

ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 18-35 (2022).
MSC:  68Q60
PDFBibTeX XMLCite
Full Text: DOI

An alternative basis for the Kauffman bracket skein module of the solid torus via braids. (English) Zbl 1423.57024

Adams, Colin C. (ed.) et al., Knots, low-dimensional topology and applications. Knots in Hellas, International Olympic Academy, Greece, July 2016. Papers of the international conference, Ancient Olympia, Greece, July 17–23, 2016. Cham: Springer. Springer Proc. Math. Stat. 284, 329-345 (2019).
MSC:  57M27 57M25 20F36 20F38 20C08
PDFBibTeX XMLCite
Full Text: DOI arXiv

Hereditary subshifts whose simplex of invariant measures is poulsen. (English) Zbl 1364.37031

Auslander, Joseph (ed.) et al., Ergodic theory, dynamical systems, and the continuing influence of John C. Oxtoby. Oxtoby centennial conference, Bryn Mawr College, Bryn Mawr, PA, USA, October 30–31, 2010. Williams ergodic theory conference, Williams College, Williamstown, MA, USA, July 27–29, 2012. AMS special session on ergodic theory and symbolic dynamics, Baltimore, MD, USA, January 17–18, 2014. Proceedings. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-2299-8/pbk; 978-1-4704-3589-9/ebook). Contemporary Mathematics 678, 245-253 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

General relativity and dragging of inertial frames. (English) Zbl 1348.83005

Rovelli, Carlo (ed.), General relativity: the most beautiful of theories. Applications and trends after 100 years. Berlin: De Gruyter (ISBN 978-3-11-034042-6/hbk; 978-3-11-034330-4/ebook). De Gruyter Studies in Mathematical Physics 28, 125-163 (2015).
PDFBibTeX XMLCite

Mirror map as generating function of intersection numbers. (English) Zbl 1275.53084

Dobrev, Vladimir (ed.), Lie theory and its applications in physics. IX international workshop. Based on the 9th workshop on Lie theory and its applications in physics, Varna, Bulgaria, June 20–26, 2011. Tokyo: Springer (ISBN 978-4-431-54269-8/hbk; 978-4-431-54270-4/ebook). Springer Proceedings in Mathematics & Statistics 36, 181-189 (2013).
MSC:  53D45 53D37 14N35
PDFBibTeX XMLCite
Full Text: DOI

Pseudoholomorphic curves in exact Courant algebroids. The mathematics and physics of topological nonlinear sigma-models with H-flux. (English) Zbl 1288.53004

München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.). x, 182 p. (2012).
PDFBibTeX XMLCite
Full Text: Link

Invariants of \(B\)-type links via an extension of the Kauffman bracket. (English. Russian original) Zbl 1030.57010

J. Math. Sci., New York 113, No. 4, 598-613 (2003); translation from Zap. Nauchn. Semin. POMI 266, 107-130 (2000).
MSC:  57M25 57M27
PDFBibTeX XMLCite
Full Text: DOI EuDML

Linear operators. Part II: Spectral theory, self adjoint operators in Hilbert space. With the assistance of William G. Bade and Robert G. Bartle. Repr. of the orig., publ. 1963 by John Wiley & Sons Ltd., Paperback ed. (English) Zbl 0635.47002

Wiley Classics Library. New York etc.: John Wiley & Sons Ltd./Interscience Publishers, Inc. ix, 859-1923 $25.95 (1988).
PDFBibTeX XMLCite

Higher cohomological operations on Thom classes. (English. Russian original) Zbl 0583.55012

Mosc. Univ. Math. Bull. 39, No. 6, 36-43 (1984); translation from Vestn. Mosk. Univ., Ser. I 1984, No. 6, 26-31 (1984).
Reviewer: A.Zabrodsky
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software