Results 11 to 20 of about 898,095 (94)
Quasiperiodic packings of two-shell decagonal clusters [PDF]
arXiv, 2005 We present some mathematical results concerning the strip projection method and a computer program for generating quasiperiodic packings of decagonal two shell-clusters.
arxiv
The rise and rise of interdisciplinary research: Understanding the interaction dynamics of three major fields -- Physics, Mathematics & Computer Science [PDF]
arXiv, 2019 The distinction between sciences is becoming increasingly more artificial -- an approach from one area can be easily applied to the other. More exciting research nowadays is happening perhaps at the interfaces of disciplines like Physics, Mathematics and Computer Science. How do these interfaces emerge and interact?
arxiv
arXiv, 2020 This is a draft of a chapter on mathematical logic and foundations for an upcoming handbook of computational proof assistants.
arxiv
Mathematical basis for polySAT implication operator [PDF]
arXiv, 2002 The mathematical basis motivating the "implication operator" of the polySAT algorithm and its function is examined. Such is not undertaken with onerous rigor of symbolic mathematics; a more intuitive visual appeal being employed to present some of the mathematical premises underlying function of the implication operator.
arxiv
Improving Learning in Science and Mathematics with Exploratory and Interactive Computational Modelling [PDF]
arXiv, 2010 Scientific research involves mathematical modelling in the context of an interactive balance between theory, experiment and computation. However, computational methods and tools are still far from being appropriately integrated in the high school and university curricula in science and mathematics.
arxiv
arXiv, 2017 Proof theory began in the 1920's as a part of Hilbert's program, which aimed to secure the foundations of mathematics by modeling infinitary mathematics with formal axiomatic systems and proving those systems consistent using restricted, finitary means. The program thus viewed mathematics as a system of reasoning with precise linguistic norms, governed
arxiv
Explanation of an Invisible Common Constraint of Mind, Mathematics and Computational Complexity [PDF]
arXiv, 2017 There is a cognitive limit in Human Mind. This cognitive limit has played a decisive role in almost all fields including computer sciences. The cognitive limit replicated in computer sciences is responsible for inherent Computational Complexity. The complexity starts decreasing if certain conditions are met, even sometime it does not appears at all ...
arxiv
Proceedings of the 7th European Conference on Python in Science (EuroSciPy 2014) [PDF]
arXiv, 2014 These are the proceedings of the 7th European Conference on Python in Science, EuroSciPy 2014, that was held in Cambridge, UK (27-30 August 2014).
arxiv
Wavelet basis for the Schrödinger equation [PDF]
arXiv, 1995 The self-similar representation for the Schr\"{o}dinger equation is derived.
arxiv
Clifford Algebras and New Isoparametric Hypersurfaces [PDF]
arXiv, 2011 1. Translated by Thomas E. Cecil, Department of Mathematics and Computer Science, College of the Holy Cross, Worcester, MA 01610, USA; E-mail address: cecil@mathcs.holycross.edu 2. Typed by Wenjiao Yan, School of Mathematical Sciences, Laboratory of Mathematics and Complex Systems, Beijing Normal University, Beijing 100875, China. E-mail address: wjyan@
arxiv