The Difficulties of Addressing Interdisciplinary Challenges at the Foundations of Data Science [PDF]
arXiv, 2019 The National Science Foundation's Transdisciplinary Research in Principles of Data Science (TRIPODS) program aims to integrate three areas central to the foundations of data by uniting the statistics, mathematics, and theoretical computer science research communities.
arxiv
Logic in Mathematics and Computer Science [PDF]
arXivLogic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics.
arxiv
The Sources of Certainty in Computation and Formal Systems [PDF]
arXiv, 1999 In his Discourse on the Method of Rightly Conducting the Reason, and Seeking Truth in the Sciences, Rene Descartes sought ``clear and certain knowledge of all that is useful in life.'' Almost three centuries later, in ``The foundations of mathematics,'' David Hilbert tried to ``recast mathematical definitions and inferences in such a way that they are ...
arxiv
Quantum computing from a mathematical perspective: a description of the quantum circuit model [PDF]
arXiv, 2018 This paper is an essentially self-contained and rigorous description of the fundamental principles of quantum computing from a mathematical perspective. It is intended to help mathematicians who want to get a grasp of this quickly growing discipline and find themselves taken aback by the language gap between mathematics and the pioneering fields on the
arxiv
Building the Signature of Set Theory Using the MathSem Program [PDF]
arXiv, 2016 Knowledge representation is a popular research field in IT. As mathematical knowledge is most formalized, its representation is important and interesting. Mathematical knowledge consists of various mathematical theories. In this paper we consider a deductive system that derives mathematical notions, axioms and theorems.
arxiv
Event-triggered iterative learning control for output constrained multi-agent systems. [PDF]
PLoS OneCao W, Li H, Qiao J, Zhu Y.
europepmc +1 more source
Domain decomposition and mortar mixed approach for nonlinear elliptic equations modeling flow in porous media. [PDF]
HeliyonArshad M +5 more
europepmc +1 more source
A new two-parameter family of discrete distributions. [PDF]
HeliyonHaddari A, Zeghdoudi H, Pakyari R.
europepmc +1 more source
Lower bounds on trees and unicyclic graphs with respect to the misbalance rodeg index. [PDF]
HeliyonDehgardi N, Azari M, Shang Y.
europepmc +1 more source
Breather, lump and other wave profiles for the nonlinear Rosenau equation arising in physical systems. [PDF]
Sci RepCeesay B +4 more
europepmc +1 more source