Results 11 to 20 of about 16,392 (251)
Concise computer mathematics: tutorials on theory and problems [PDF]
, 2013 Adapted from a modular undergraduate course on computational mathematics, Concise Computer Mathematics delivers an easily accessible, self-contained introduction to the basic notions of mathematics necessary for a computer science degree.
Bagdasar, Ovidiu
core +3 more sources
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2023 The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proof-theoretic research on the foundations of mathematics, on the extraction of explicit computational content from given proofs in core areas of ordinary mathematics ...
core +2 more sources
Computational Type Theory [PDF]
, 2008 Computational type theory provides answers to questions such as: What is a type? What is a natural number? How do we compute with types? How are types related to sets? Can types be elements of types?
Constable, Robert L.
core +5 more sources
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2011 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational ...
core +2 more sources
Open sets in computability theory and reverse mathematics [PDF]
Journal of Logic and Computation, 2020 AbstractTo enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this paper, what the influence of this extra data and structure is on the logical and computational properties ...
Dag Normann, Sam Sanders
openaire +2 more sources
Pincherle's theorem in reverse mathematics and computability theory [PDF]
Annals of Pure and Applied Logic, 2020 We study the logical and computational properties of basic theorems of uncountable mathematics, in particular Pincherle's theorem, published in 1882. This theorem states that a locally bounded function is bounded on certain domains, i.e. one of the first 'local-to-global' principles.
Normann, Dag, Sanders, Sam
openaire +6 more sources
Mathematical Logic: Proof Theory, Constructive Mathematics [PDF]
, 2017 The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of core mathematics and theoretical computer science as well as homotopy type theory and logical aspects of computational ...
core +2 more sources
The numerical solution of forward–backward differential equations: Decomposition and related issues [PDF]
, 2010 NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Computational and Applied Mathematics. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and ...
Ford, Neville J. +3 more
core +1 more source
A note on “A new approach for ranking fuzzy numbers based on possibility theory” [PDF]
Decision Science Letters, 2019 Very recently, Qiupeng and Zuxing (2017) [Qiupeng, G., & Zuxing, X. (2017). A new approach for ranking fuzzy numbers based on possibility theory. Journal of Computational and Applied Mathematics, 309, 674-682.] suggested a new fuzzy ranking technique on ...
Alireza Sotoudeh-Anvari +3 more
doaj +1 more source
Современные информационные технологии и IT-образование, 2021 Some aspects of the process of mathematical modeling and computational experiment are considered. The modeling process is considered as a method of predicting the behavior of dynamic systems and processes, which allows implementing a chain from a full ...
Sergey Strebulyaev, Daria Sirotkina
doaj +1 more source