Results 1 to 10 of about 3,381,599 (253)

Expander Graphs in Pure and Applied Mathematics [PDF]

open access: greenarXiv, 2011
Expander graphs are highly connected sparse finite graphs. They play an important role in computer science as basic building blocks for network constructions, error correcting codes, algorithms and more. In recent years they have started to play an increasing role also in pure mathematics: number theory, group theory, geometry and more. This expository
Alexander Lubotzky
arxiv   +7 more sources

American Journal of Mathematics, Pure and Applied [PDF]

open access: yesNature, 1880
THE American Journal of Mathematics was established in 1878 under the auspices of the Johns Hopkins University at Baltimore, and four handsome quarto volumes of 400 pages each have now been published. Prof. Sylvester was editor-in-chief of the first three volumes, being assisted by Mr.
J. Glaisher
semanticscholar   +3 more sources

Deterministic Dynamics and Chaos: Epistemology and Interdisciplinary Methodology [PDF]

open access: yesInterdisciplinaria, Vol. 28, Nr. 2, pp. 279 - 298, 2012, 2011
We analyze, from a theoretical viewpoint, the bidirectional interdisciplinary relation between mathematics and psychology, focused on the mathematical theory of deterministic dynamical systems, and in particular, on the theory of chaos. On one hand, there is the direct classic relation: the application of mathematics to psychology.
Catsigeras, Eleonora
arxiv   +3 more sources

On the Importance of Pure Mathematics [PDF]

open access: yesJournal of Mathematics and Statistics, 2014
F. Kachapova
semanticscholar   +3 more sources

Evidence Communication Rules for Policy (ECR-P) critical appraisal tool [PDF]

open access: yesSystematic Reviews
Background Scientific papers increasingly put forward scientific-based policy recommendations (SPRs) as a means of closing the circle of science, policy and practice.
Evangelos Danopoulos   +3 more
doaj   +2 more sources

German Idealism and the Origins of Pure Mathematics: Riemann, Dedekind, Cantor [PDF]

open access: yesJournal of Philosophical Investigations, 2021
When it comes to the relation of modern mathematics and philosophy, most people tend to think of the three major schools of thought—i.e. logicism, formalism, and intuitionism—that emerged as profound researches on the foundations and nature of ...
Ehsan Karimi Torshizi
doaj   +1 more source

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics [PDF]

open access: yesarXiv.org, 2023
We introduce ProofNet, a benchmark for autoformalization and formal proving of undergraduate-level mathematics. The ProofNet benchmarks consists of 371 examples, each consisting of a formal theorem statement in Lean 3, a natural language theorem ...
Zhangir Azerbayev   +5 more
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy