×

Found 20 Documents (Results 1–20)

100
MathJax

It’s about time. Elementary mathematical aspects of relativity. (English) Zbl 1366.83001

Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-3483-0/hbk; 978-1-4704-3669-8/ebook). xix, 403 p. (2017).
PDF BibTeX XML Cite

The special theory of relativity. Foundations, theory, verification, applications. (English) Zbl 1333.83001

Undergraduate Lecture Notes in Physics. Cham: Springer (ISBN 978-3-319-25272-8/pbk; 978-3-319-25274-2/ebook). xvii, 480 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI

On the formal analysis of geometrical optics in HOL. (English) Zbl 1396.68114

Ida, Tetsuo (ed.) et al., Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17–19, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40671-3/pbk). Lecture Notes in Computer Science 7993. Lecture Notes in Artificial Intelligence, 161-180 (2013).
MSC:  68T15 03B35 78A05
PDF BibTeX XML Cite
Full Text: DOI

Photon creation – annihilation. Continuum electromagnetic theory. (English) Zbl 1259.78006

Hackensack, NJ: World Scientific (ISBN 978-981-4383-36-3/hbk; 978-981-4383-37-0/ebook). xxi, 409 p. (2012).
PDF BibTeX XML Cite
Full Text: DOI

Application of the Fourier-holography technique to the implementation of logical-linguistic models. (English, Russian) Zbl 1110.68521

J. Comput. Syst. Sci. Int. 42, No. 2, 275-281 (2003); translation from Izv. Akad. Nauk, Teor. Sist. Upr. 2003, No. 2, 118-125 (2003).
MSC:  68T37 03B52 78A05
PDF BibTeX XML Cite

Structures, Suppes predicates, and Boolean-valued models in physics. (English) Zbl 0899.03040

Bystrov, Peter I. (ed.) et al., Philosophical logic and logical philosophy. Essays in honour of Vladimir A. Smirnov. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 257, 91-118 (1996).
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Classification

all top 3

Software