×

Found 228 Documents (Results 1–100)

On dichotomy and analogy: a question on the next “unbloody” revolution in logic. (English) Zbl 07740526

Béziau, Jean-Yves (ed.) et al., Logic in question. Talks from the annual Sorbonne logic workshop (2011–2019), Paris, France, April 15–16, 2019. Cham: Birkhäuser. Stud. Univers. Log., 459-470 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Experimental mathematics in the society of the future. (English) Zbl 1353.01023

König, Wolfgang (ed.), Mathematics and society. Zürich: European Mathematical Society (EMS) (ISBN 978-3-03719-164-4/hbk; 978-3-03719-664-9/ebook). 7-25 (2016).
MSC:  01A80 01A67
PDFBibTeX XMLCite
Full Text: DOI

Progress of self-archiving within the DML corpus, with a view toward community dynamics. (English) Zbl 1344.68269

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 63-74 (2016).
PDFBibTeX XMLCite
Full Text: DOI

Science at a crossroad. Edited by Yu. G. Reshetnyak. (Наука на перепутье.) (Russian) Zbl 1389.01001

Vladikavkaz: Yuzhnyĭ Matematicheskiĭ Institut, Vladikavkazskĭ Nauchnyĭ Tsentr, Rossiĭskaya Akademiya Nauk i RSO-A (ISBN 978-5-904695-32-3/hbk). iv, 449 p. (2015).
PDFBibTeX XMLCite

Three and one questions to Dr. B. Mirkin about complexity statistics. (English) Zbl 1365.62009

Aleskerov, Fuad (ed.) et al., Clusters, orders, and trees: methods and applications. In honor of Boris Mirkin’s 70th birthday. Collected papers based on the presentations at the international workshop, Moscow, Russia, December 12–13, 2012. New York, NY: Springer (ISBN 978-1-4939-0741-0/hbk; 978-1-4939-0742-7/ebook). Springer Optimization and Its Applications 92, 1-9 (2014).
MSC:  62-03 01A67 01A70
PDFBibTeX XMLCite
Full Text: DOI

Algorithmic barriers falling: P = NP? A conversation with Donald E. Knuth conducted by Edgar G. Daylight on 18 June 2014 in Paris. Edited by Kurt De Grave. (English) Zbl 1335.68003

Conversations 4. Heverlee: Lonely Scholar (ISBN 978-94-91386-04-6/pbk). i, 116 p. (2014).
PDFBibTeX XMLCite

Descent. (English) Zbl 1303.14013

Schneps, Leila (ed.), Alexandre Grothendieck: a mathematical portrait. Somerville, MA: International Press (ISBN 978-1-57146-282-4/hbk). 83-141 (2014).
PDFBibTeX XMLCite

My life as a quantum physicist. (English) Zbl 1301.01023

Tanaka, Shu (ed.) et al., Physics, mathematics, and all that quantum jazz. Proceedings of the summer workshop, Kinki University, Osaka, Japan, August 7–9, 2013. Hackensack, NJ: World Scientific (ISBN 978-981-4602-36-5/hbk; 978-981-4602-38-9/ebook). Kinki University Series on Quantum Computing 9, 5-13 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Past, present, and future of statistical science. (English) Zbl 1291.62001

Boca Raton, FL: CRC Press; (ISBN 978-1-4822-0496-4/hbk; 978-1-032-47739-8/pbk; 978-0-429-17128-4/ebook). xxiii, 622 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

New directions in the foundations of mathematics (2002). (English) Zbl 1315.68122

Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 69-100 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Introducing the computable universe. (English) Zbl 1256.68002

Zenil, Hector (ed.), A computable universe. Understanding and exploring nature as computation. Dedicated to the memory of Alan M Turing. With a foreword by Sir Roger Penrose. Hackensack, NJ: World Scientific (ISBN 978-981-4374-29-3/hbk; 978-981-4374-30-9/ebook). 1-20 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

What’s next? Future directions in parameterized complexity. (English) Zbl 1358.68143

Bodlaender, Hans L. (ed.) et al., The multivariate algorithmic revolution and beyond. Essays dedicated to Michael R. Fellows on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-30890-1/pbk). Lecture Notes in Computer Science 7370, 469-496 (2012).
MSC:  68Q25 01A67
PDFBibTeX XMLCite
Full Text: DOI

Conclusion: a perspective on future research in FOM. (English) Zbl 1317.03013

Sommaruga, Giovanni (ed.), Foundational theories of classical and constructive mathematics. Based on the annual meeting of the Swiss Society for Logic and Philosophy of Science (SSLPS) on “Foundational theories of mathematics”, Freiburg, Switzerland, October 11–12, 2006. Berlin: Springer (ISBN 978-94-007-0430-5/hbk; 978-94-007-0431-2/ebook). The Western Ontario Series in Philosophy of Science 76, 311-314 (2011).
MSC:  03A05 00A30 01A67
PDFBibTeX XMLCite
Full Text: DOI

Beyond Nash equilibrium: solution concepts for the 21st century. (English) Zbl 1349.91078

Baras, John S. (ed.) et al., Decision and game theory for security. Second international conference, GameSec 2011, College Park, MD, Maryland, USA, November 14–15, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25279-2/pbk). Lecture Notes in Computer Science 7037, 1-3 (2011).
PDFBibTeX XMLCite
Full Text: DOI Link

Content analysis in mathematics: indexing and retrieval of mathematical publications. (Content Analysis in der Mathematik: Erschließung und Retrieval mathematischer Publikationen.) (German. English summary) Zbl 1210.00046

Griesbaum, Joachim (ed.) et al., Information und Wissen: global, sozial und frei? Proceedings des 12. Internationalen Symposiums für Informationswissenschaft (ISI 2011), Hildesheim, Deutschland, 9–11 März 2011. Boizenburg: vwh Verlag Werner Hülsbuch (ISBN 978-3-940317-91-9/hbk). 393-403 (2011).
PDFBibTeX XMLCite

Visions in mathematics. GAFA 2000 special volume, Part II. Proceedings of the meeting “Visions in Mathematics – Towards 2000, Tel Aviv, Israel, August 25–September 3, 1999. Special volume of the journal Geometric and Functional Analysis – GAFA. Reprint of the 2000 original. (English) Zbl 1185.00038

Modern Birkhäuser Classics. Basel: Birkhäuser (ISBN 978-3-0346-0424-6/pbk). 455-983. (2010).
MSC:  00B25 01A67
PDFBibTeX XMLCite

Visions in mathematics. GAFA 2000 special volume. Part I. Proceedings the meeting “Visions in mathematics – Towards 2000”, Tel Aviv, Israel, August 25–September 3, 1999. Special volume of the journal Geometric and Functional Analysis–GAFA. Reprint of the 2000 original. (English) Zbl 1184.01024

Modern Birkhäuser Classics. Basel: Birkhäuser (ISBN 978-3-0346-0421-5/pbk). 453 p. (2010).
MSC:  01A67 00B25
PDFBibTeX XMLCite

The future of post-human geometry. A preface to a new theory of infinity, symmetry, and dimensionality. (English) Zbl 1347.00058

Newcastle upon Tyne: Cambridge Scholars Publishing (ISBN 978-1-4438-0524-7/hbk; 978-1-4438-1212-2/ebook). xxii, 383 p. (2009).
MSC:  00A30 01A67
PDFBibTeX XMLCite

Beyond Nash equilibrium: solution concepts for the 21st century. (English) Zbl 1301.91008

Proceedings of the 27th annual ACM symposium on principles of distributed computing, PODC ’08, Toronto, Canada, August 18–21, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-989-0). 1-10 (2008).
PDFBibTeX XMLCite
Full Text: DOI

Proving and programming. (English) Zbl 1137.03313

Calude, Cristian S. (ed.), Randomness and complexity. From Leibniz to Chaitin. Dedicated to Gregory J. Chaitin on the occasion of his 60th birthday. Hackensack, NJ: World Scientific (ISBN 978-981-277-082-0/hbk). 301-319 (2007).
PDFBibTeX XMLCite

Albert Einstein: a man for the millenium? (English) Zbl 1133.01010

Alimi, Jean-Michel (ed.) et al., Albert Einstein century international conference, Paris, France, 18–22 July 2005. Invited papers. With CD-ROM, which contains the contributed papers of this conference. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0359-8/hbk). AIP Conference Proceedings 861, 211-243 (2006).
PDFBibTeX XMLCite

The Millennium Prize problems. (English) Zbl 1155.00001

Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 0-8218-3679-X/hbk). xvii, 165 p. (2006).
PDFBibTeX XMLCite

The computably enumerable sets: recent results and future directions. (English) Zbl 1105.03034

Hájek, Petr (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 12th international congress, Oviedo, Spain, August 2003. London: King’s College Publications (ISBN 1-904987-21-4/pbk). 91-105 (2005).
MSC:  03D25 03-02 01A67
PDFBibTeX XMLCite

Time for thinking big in AI. (English) Zbl 1098.68635

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 120-131 (2005).
MSC:  68T01 01A67
PDFBibTeX XMLCite
Full Text: DOI

History and future of implicit and inductionless induction: Beware the old jade and the zombie! (English) Zbl 1098.68699

Hutter, Dieter (ed.) et al., Mechanizing mathematical reasoning. Essays in honor of Jörg H. Siekmann on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-25051-4/pbk). Lecture Notes in Computer Science 2605. Lecture Notes in Artificial Intelligence, 192-203 (2005).
MSC:  68T15 03B35 68-02 68-03 01A65 01A67
PDFBibTeX XMLCite
Full Text: DOI

Not like yesterday …but like tomorrow. The collaboration of Latin American universities: one mathematics to share with. (No como ayer …sino como mañana. La colaboración universitaria latinoamericana: una matemática para compartir.) (Spanish) Zbl 1114.01311

Cordero, Luis A. (ed.) et al., Analysis and perspectives of the Latin American collaboration in mathematics. Meeting of the Latin American Mathematical Societies, Santiago de Compostela, Spain, September 22–25, 2003. Madrid: Real Sociedad Matemática Española (ISBN 84-933610-2-X/pbk). Publicaciones de la Real Sociedad Matemática Española, 9-17 (2004).
PDFBibTeX XMLCite

The unsolvable privacy problem and its implications for security technologies. (English) Zbl 1044.94500

Safavi-Naini, Rei (ed.) et al., Information security and privacy. 8th Australasian conference, ACISP 2003, Wollongong, Australia, July 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40515-1/pbk). Lect. Notes Comput. Sci. 2727, 51-54 (2003).
MSC:  94-03 01A67 94A60
PDFBibTeX XMLCite
Full Text: Link

Noncommutative geometry year 2000. (English) Zbl 1138.58304

Fokas, A. (ed.) et al., Highlights of mathematical physics. In part papers from the 13th international congress, London, UK, July 17–22, 2000. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3223-9/hbk). 49-110 (2002).
PDFBibTeX XMLCite
Full Text: arXiv

Computer applications to the history of the medieval exact sciences: suggestions for future research. (English) Zbl 1083.01017

Ansari, S. M. Razaullah (ed.), Science and technology in the Islamic world. Proceedings of the XXth international congress of history of science, Liège, Belgium, July 20–26, 1997. Vol. XXI. Turnhout: Brepols Publishers (ISBN 2-503-51415-4/pbk). De Diversis Artibus 64, 65-70 (2002).
PDFBibTeX XMLCite

System identification and time series analysis: past, present, and future. (English) Zbl 1050.93073

Pasik-Duncan, Bozenna (ed.), Stochastic theory and control. Proceedings of the workshop, Lawrence, KS, USA, October 18–20, 2001. Berlin: Springer (ISBN 3-540-43777-0/pbk). Lect. Notes Control Inf. Sci. 280, 97-109 (2002).
PDFBibTeX XMLCite

The work of Vladimir Voevodsky. (English) Zbl 1021.19001

Li, Ta Tsien (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2002, Beijing, China, August 20-28, 2002. Vol. I: Plenary lectures and ceremonies. Beijing: Higher Education Press. 99-103 (2002).
PDFBibTeX XMLCite
Full Text: arXiv

Relevance of Srinivasa Ramanujan at the dawn of the new millennium. (English) Zbl 1038.01505

Agarwal, A. K. (ed.) et al., Number theory and discrete mathematics. Proceedings of the international conference in honour of Srinivasa Ramanujan, Chandigarh, India, October 2–6, 2000. Basel: Birkhäuser (ISBN 3-7643-6720-2/hbk). Trends in Mathematics, 261-268 (2002).
MSC:  01A60 01A67
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software