Results 41 to 50 of about 1,578 (68)

Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005) [PDF]

, 2013
Oxford, UK, 26 August ...
Gottliebsen, Hanne, Kanovich, Max, Oliva, Paulo, White, Graham   +3 more
core  

Ultraproducts and metastability [PDF]

, 2013
Given a convergence theorem in analysis, under very general conditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability.
Avigad, Jeremy, Iovino, José
core  

Computational reverse mathematics and foundational analysis [PDF]

, 2018
Reverse mathematics studies which subsystems of second order arithmetic are equivalent to key theorems of ordinary, non-set-theoretic mathematics. The main philosophical application of reverse mathematics proposed thus far is foundational analysis, which
Eastaugh, Benedict
core   +1 more source

Some observations on the logical foundations of inductive theorem proving

, 2018
In this paper we study the logical foundations of automated inductive theorem proving. To that aim we first develop a theoretical model that is centered around the difficulty of finding induction axioms which are sufficient for proving a goal. Based on
Hetzl, Stefan, Wong, Tin Lok
core   +2 more sources

Leibniz's Infinitesimals: Their Fictionality, Their Modern Implementations, And Their Foes From Berkeley To Russell And Beyond

, 2012
Many historians of the calculus deny significant continuity between infinitesimal calculus of the 17th century and 20th century developments such as Robinson's theory.
A. Fraenkel, A. H. Lightstone, A. L. Cauchy, A. Robinson, A. Robinson, A. Tarski, B. L. Waerden van der, B. Pourciau, B. Russell, C. Boyer, C. C. Gillispie, C. H. Edwards Jr, C. Schmieden, D. Fearnley-Sander, D. Fowler, D. Jesseph, D. Jesseph, D. Laugwitz, D. Laugwitz, D. Laugwitz, D. Sherry, D. Sherry, D. Tall, D. Tall, D. Tall, David Sherry, E. Hewitt, E. Knobloch, E. Nelson, E. Strong, E. T. Bell, E. Zermelo, F. Cajori, F. W. Lawvere, G. Carchedi, G. Ferraro, G. Schubring, H. Freudenthal, H. Ishiguro, H. J. M. Bos, H. Kennedy, H. Rust, I. Grattan Guinness, I. Newton, J. Bair, J. Burgess, J. Earman, J. Grabiner, J. Gray, J. L. Bell, J. Wisdom, K. Andersen, K. Bråting, K. Katz, L. Arkeryd, L. Arkeryd, L. Jorgensen, L. Magnani, L. Narens, M. Horváth, M. Kline, Mikhail G. Katz, N. Bourbaki, N. Cutland, P. Ehrlich, P. Ehrlich, P. Mancosu, P. Mancosu, P. Roquette, R. Anderson, R. B. McClenon, R. Dossena, R. Ely, S. Albeverio, T. Rothman, T. Skolem, T. Tao   +76 more
core   +1 more source

Glimpses of the Octonions and Quaternions History and Todays Applications in Quantum Physics

, 2008
Before we dive into the accessibility stream of nowadays indicatory applications of octonions to computer and other sciences and to quantum physics let us focus for a while on the crucially relevant events for todays revival on interest to ...
A.K. Kwaśniewski, Andrzej Krzysztof Kwaśniewski, B.L. Waerden van der, Bremner Murray, C.C. Lassig, Dickson Leonard Eugene, G.H. Hardy, I.M. Yaglom, J. Rembieliski, J.A. Nieto, Jiang Tongsong, Jiang Tongsong, Jiang Tongsong, Jiang. Tongsong, Jiang. Tongsong, Jordan Pascual, L.P. Horwitz, Leo. Stefano De, Z. Hasiewicz, Z. Hasiewicz   +19 more
core   +2 more sources

Noncommutative Geometry and Arithmetic [PDF]

, 2010
This is an overview of recent results aimed at developing a geometry of noncommutative tori with real multiplication, with the purpose of providing a parallel, for real quadratic fields, of the classical theory of elliptic curves with complex ...
Marcolli, Matilde
core   +1 more source

Writing and overwriting short-term memory. [PDF]

Psychon Bull Rev, 2001
Killeen PR.
europepmc   +1 more source

Review of lattice results concerning low-energy particle physics: Flavour Lattice Averaging Group (FLAG). [PDF]

Eur Phys J C Part Fields, 2017
Aoki S, Aoki Y, Bečirević D, Bernard C, Blum T, Colangelo G, Della Morte M, Dimopoulos P, Dürr S, Fukaya H, Golterman M, Gottlieb S, Hashimoto S, Heller UM, Horsley R, Jüttner A, Kaneko T, Lellouch L, Leutwyler H, Lin CD, Lubicz V, Lunghi E, Mawhinney R, Onogi T, Pena C, Sachrajda CT, Sharpe SR, Simula S, Sommer R, Vladikas A, Wenger U, Wittig H.   +31 more
europepmc   +1 more source