Results 341 to 350 of about 16,858,520 (353)
Dataset Description: Formalization of Elementary Number Theory in Mizar [PDF]
, 2020 In this paper we present a dataset based on the Mizar formalization of selected problems related to elementary number theory. The dataset comprises proofs of problems on several levels of difficulty. They are available in the form of full proofs, proof sketches, as well as bare statements equipped with suitable environments importing necessary notions ...
openaire +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Multiple description video coding with adaptive number of descriptions
Proceedings of the IEEE 13th Signal Processing and Communications Applications Conference, 2005., 2006E. Akyol, M.R. Civanlar, A.M. Tekalp
openaire +2 more sources
Large Reynolds number streak description using RNS
2009We use the Reduced Navier-Stokes (RNS) equations for the simulation of the nonlinear evolution of streaks in a flat plate boundary layer. The RNS are asymptotically derived from the Navier Stokes equations for Re » 1, and they are appropriated for flow configurations with one slow scale and two short scales.
Juan Antonio González Martín +1 more
openaire +2 more sources
Description of a Physical Process with a Full Set of Dimensionless Numbers [PDF]
, 1991 All the essential (“relevant”) physical quantities (variables, parameters) which describe a physical or technological interrelation must be known before this process can be described with a full set of dimensionless numbers. This demands a thorough and critical appraisal of the process being examined.
openaire +1 more source
Detection of number of components in CANDECOMP/PARAFAC models via minimum description length
Digit. Signal Process., 2016Kefei Liu +4 more
semanticscholar +1 more source
Flexible Multiple Description Lattice Vector Quantizer with General Number of Descriptions
2014Master of Applied Science (MASc)
openaire +1 more source
A course in computational algebraic number theory
Graduate texts in mathematics, 1993H. Cohen
semanticscholar +1 more source
Description of bubble shape in terms of dimensionless numbers
Chemical Engineering Science, 1980J.H.C. Coppus, K. Rietema
openaire +3 more sources
Descriptive complexity theory over the real numbers
Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95, 1995Erich Grädel, Klaus Meer
openaire +2 more sources