×

zbMATH — the first resource for mathematics

Found 19,697 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Aiyer, Anand; Liang, Xiao; Nalini, Nilu; Pandey, Omkant
Random walks and concurrent zero-knowledge. (English) Zbl 07314275
Conti, Mauro (ed.) et al., Applied cryptography and network security. 18th international conference, ACNS 2020, Rome, Italy, October 19–22, 2020. Proceedings. Part I. Cham: Springer (ISBN 978-3-030-57807-7/pbk; 978-3-030-57808-4/ebook). Lecture Notes in Computer Science 12146, 24-44 (2020).
MSC:  68M25 94A60
PDF BibTeX XML Cite
\textit{A. Aiyer} et al., Lect. Notes Comput. Sci. 12146, 24--44 (2020; Zbl 07314275)
Full Text: DOI
Kholshevnikov, K. V.; Titov, V. B.
Minimal velocity surface in a restricted circular three-body problem. (English. Russian original) Zbl 07310912
Vestn. St. Petersbg. Univ., Math. 53, No. 4, 473-479 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 4, 734-742 (2020).
MSC:  70F 70 70M 70H
PDF BibTeX XML Cite
\textit{K. V. Kholshevnikov} and \textit{V. B. Titov}, Vestn. St. Petersbg. Univ., Math. 53, No. 4, 473--479 (2020; Zbl 07310912); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 4, 734--742 (2020)
Full Text: DOI
Quincampoix, Marc
Differential games. (English) Zbl 07309872
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer (ISBN 978-1-0716-0367-3/print; 978-1-0716-0368-0/ebook; 978-1-0716-0369-7/print+ebook). Encyclopedia of Complexity and Systems Science Series; Springer Reference, 305-315 (2020).
MSC:  91A23 49N70 91A05 91A10
PDF BibTeX XML Cite
\textit{M. Quincampoix}, in: Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. 305--315 (2020; Zbl 07309872)
Full Text: DOI
Raghavan, T. E. S.
Zero-sum two person games. (English) Zbl 07309867
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer (ISBN 978-1-0716-0367-3/print; 978-1-0716-0368-0/ebook; 978-1-0716-0369-7/print+ebook). Encyclopedia of Complexity and Systems Science Series; Springer Reference, 199-227 (2020).
MSC:  91A10 91A05
PDF BibTeX XML Cite
\textit{T. E. S. Raghavan}, in: Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. 199--227 (2020; Zbl 07309867)
Full Text: DOI
Rabi, Maben
Piece-wise analytic trajectory computation for polytopic switching between stable affine systems. (English) Zbl 07300846
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 5, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
\textit{M. Rabi}, in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 5, 11 p. (2020; Zbl 07300846)
Full Text: DOI
Carneiro, Mario
Metamath Zero: designing a theorem prover prover. (English) Zbl 07298557
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-53517-9/pbk; 978-3-030-53518-6/ebook). Lecture Notes in Computer Science 12236. Lecture Notes in Artificial Intelligence, 71-88 (2020).
MSC:  68V15 68Q60
PDF BibTeX XML Cite
\textit{M. Carneiro}, Lect. Notes Comput. Sci. 12236, 71--88 (2020; Zbl 07298557)
Full Text: DOI
Bitansky, Nir; Shmueli, Omri
Post-quantum zero knowledge in constant rounds. (English) Zbl 07298247
Makarychev, Konstantin (ed.) et al., Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC ’20, Chicago, IL, USA, June 22–26, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6979-4). 269-279 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{N. Bitansky} and \textit{O. Shmueli}, in: Proceedings of the 52nd annual ACM SIGACT symposium on theory of computing, STOC '20, Chicago, IL, USA, June 22--26, 2020. New York, NY: Association for Computing Machinery (ACM). 269--279 (2020; Zbl 07298247)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Biographic Reference
all top 3
Software