Results 271 to 280 of about 622,762 (333)

A theorem on the formalized arithmetic with function symbols ' and +

open access: yesA theorem on the formalized arithmetic with function symbols ' and +
openaire  

A note on a formalized arithmetic with function symbols ' and +

open access: yesA note on a formalized arithmetic with function symbols ' and +
openaire  

SYMBOLS ON FORMAL GROUPS

open access: closedMathematics of the USSR-Izvestiya, 1982
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
С. В. Востоков
openalex   +3 more sources

A System of Symbols for Formal Analysis

open access: closedJournal of the American Musicological Society, 1957
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

Formalizing symbolic boundaries

Poetics, 2018
Abstract 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, 1980
This 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

Home - About - Disclaimer - Privacy