Results 271 to 280 of about 622,762 (333)
A theorem on the formalized arithmetic with function symbols ' and +
openaire
A note on a formalized arithmetic with function symbols ' and +
openaire
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
С. В. Востоков
openalex +3 more sources
A System of Symbols for Formal Analysis
The present system evolved during the analysis of several hundred classical symphonies, particularly those of Haydn, in which thematic interrelationships challenge any system severely. Shorthand methods usually reflect idiosyncrasies of the analyst: what one finds workable may not prove satisfactory in the hands of another.
Jan LaRue
openalex +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Formalizing symbolic boundaries
Poetics, 2018Abstract Formal efforts to advance culture as an analytic concept can benefit from attending to the human disposition to categorize. I demonstrate this with regard to the concept of symbolic boundaries, which I conceptualize as dual classifications that describe what kinds of behavior or opinions are appropriate for different kinds of people and put ...
openaire +1 more source
FORMAL GROUPS AND THE NORM RESIDUE SYMBOL
Mathematics of the USSR-Izvestiya, 1980This paper investigates the canonical pairing associated with a one-dimensional formal group law over the ring of integers of a finite extension of and an isogeny , just as the Hilbert symbol is associated with the multiplicative law and the isogeny raising to the th power. Formulas are obtained which generalize the formulas of Artin-Hasse, Iwasawa,
openaire +3 more sources

