Results 11 to 20 of about 109,181 (158)
The computational content of Nonstandard Analysis [PDF]
, 2016 Kohlenbach's proof mining program deals with the extraction of effective information from typically ineffective proofs. Proof mining has its roots in Kreisel's pioneering work on the so-called unwinding of proofs.
Sanders, Sam
core +3 more sources
Type classes for efficient exact real arithmetic in Coq [PDF]
, 2013 Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the user by providing a library of exact analysis in which the computer ...
Krebbers, Robbert, Spitters, Bas
core +2 more sources
Local stability of ergodic averages [PDF]
, 2008 The mean ergodic theorem is equivalent to the assertion that for every function K and every epsilon, there is an n with the property that the ergodic averages A_m f are stable to within epsilon on the interval [n,K(n)]. We show that even though it is not
Avigad, Jeremy +2 more
core +1 more source
Advanced Intelligent Systems, EarlyView.ResearchConnect is an AI‐powered platform that automates researcher profiling, interdisciplinary team formation, and early‐stage research ideation. By extracting keywords from papers and web sources, it quickly clusters researchers into coherent teams and generates collaborative ideas using large language models. Validation on NSF‐funded projects shows
Akshay Vilas Jadhav +2 more
wiley +1 more source
Arithmetical conservation results
, 2017 In this paper we present a proof of Goodman's Theorem, a classical result in the metamathematics of constructivism, which states that the addition of the axiom of choice to Heyting arithmetic in finite types does not increase the collection of provable ...
Aczel +28 more
core +1 more source
, 2007 This essay surveys the different types of infinity that occur in pure and applied mathematics, with emphasis on: 1. the contrast between potential infinity and actual infinity; 2.
Fletcher, P
core +1 more source
British Educational Research Journal, EarlyView.Abstract As England embarks on its first comprehensive curriculum review in fifteen years, this paper offers critical insights from schools that sustained arts‐rich provision despite a policy landscape hostile to creative subjects. Drawing on data from the Researching Arts‐rich Primary Schools (RAPS) project—a mixed‐methods study of 76 arts‐rich ...
Pat Thomson, Christine Hall
wiley +1 more source
Business Strategy and the Environment, EarlyView.ABSTRACT Widespread digital adoption has challenged our understanding of how these tools reshape collaboration, trust and sustainability outcomes across different institutional and network contexts. As networks now pursue resilience and sustainable development in parallel, we map emerging research directions and identify how collaboration and ...
Ari Carisza Graha Prasetia +1 more
wiley +1 more source
Canadian Journal of Statistics, EarlyView.Abstract We establish the consistency and the asymptotic distribution of the least squares estimators of the coefficients of a subset vector autoregressive process with exogenous variables (VARX). Using a martingale central limit theorem, we derive the asymptotic normal distribution of the estimators. Diagnostic checking is discussed using kernel‐based
Pierre Duchesne +2 more
wiley +1 more source
A partial envelope approach for modelling multivariate spatial‐temporal data
Canadian Journal of Statistics, EarlyView.Abstract In the new era of big data, modelling multivariate spatial‐temporal data is a challenging task due to both the high dimensionality of the features and complex associations among the responses across different locations and time points.
Reisa Widjaja +3 more
wiley +1 more source