Nazarov, S. A.; Shanin, A. V. Trapped modes in angular joints of 2D waveguides. (English) Zbl 1287.35049 Appl. Anal. 93, No. 3, 572-582 (2014). MSC: 35P15 35P25 47A75 PDF BibTeX XML Cite \textit{S. A. Nazarov} and \textit{A. V. Shanin}, Appl. Anal. 93, No. 3, 572--582 (2014; Zbl 1287.35049) Full Text: DOI
Nazarov, S. A.; Shanin, A. V. Calculation of characteristics of trapped modes in \(T\)-shaped waveguides. (Russian, English) Zbl 1224.78032 Zh. Vychisl. Mat. Mat. Fiz. 51, No. 1, 104-119 (2011); translation in Comput. Math. Math. Phys. 51, No. 1, 96-110 (2011). MSC: 78A50 PDF BibTeX XML Cite \textit{S. A. Nazarov} and \textit{A. V. Shanin}, Zh. Vychisl. Mat. Mat. Fiz. 51, No. 1, 104--119 (2011; Zbl 1224.78032); translation in Comput. Math. Math. Phys. 51, No. 1, 96--110 (2011) Full Text: DOI
Shanin, N. A. Referee’s report on Leonid Levin’s dissertation “Some theorems on the algorithmic approach to probability theory and information theory” (November 27, 1972). (English) Zbl 1267.68126 Ann. Pure Appl. Logic 162, No. 3, 236 (2010). MSC: 68Q30 68-03 PDF BibTeX XML Cite \textit{N. A. Shanin}, Ann. Pure Appl. Logic 162, No. 3, 236 (2010; Zbl 1267.68126) Full Text: DOI
Shanin, N. A. On a finitary version of mathematical analysis. (English) Zbl 0998.03047 Ann. Pure Appl. Logic 113, No. 1-3, 261-295 (2002). Reviewer: Ning Zhong (Batavia/Ohio) MSC: 03F60 26E40 46S30 03A05 PDF BibTeX XML Cite \textit{N. A. Shanin}, Ann. Pure Appl. Logic 113, No. 1--3, 261--295 (2002; Zbl 0998.03047) Full Text: DOI
Voronin, Yu. A.; Doronin, B. M.; Lavrov, N. G.; Marasulov, A. F.; Shanin, I. A. Public Health System of Novosibirsk region in 1997–2007: modification, counter-reform, or reform? (Russian. English summary) Zbl 1054.90607 Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1997, No. 1089, 1-30 (1997). MSC: 90B90 90B50 PDF BibTeX XML Cite \textit{Yu. A. Voronin} et al., Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1997, No. 1089, 1--30 (1997; Zbl 1054.90607)
Voronin, Yu. A.; Doronin, B. M.; Lavrov, N. G.; Marasulov, A. F.; Shanin, I. A. On reforming and evaluating the efficiency of the public health system in Novosibirsk region. (Russian. English summary) Zbl 1054.90606 Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1997, No. 1086, 1-33 (1997). MSC: 90B90 90B50 PDF BibTeX XML Cite \textit{Yu. A. Voronin} et al., Prepr., Vychisl. Tsentr Ross. Akad. Nauk Sib. Otd. 1997, No. 1086, 1--33 (1997; Zbl 1054.90606)
Shanin, N. A. Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics. (English. Russian original) Zbl 0934.03076 J. Math. Sci., New York 87, No. 1, 3183-3191 (1997); translation from Zap. Nauchn. Semin. POMI 220, 5-22 (1995). MSC: 03F50 03-03 01A55 03F65 03F60 26E40 PDF BibTeX XML Cite \textit{N. A. Shanin}, J. Math. Sci., New York 87, No. 1, 1 (1995; Zbl 0934.03076); translation from Zap. Nauchn. Semin. POMI 220, 5--22 (1995) Full Text: DOI EuDML
Siekmann, Jörg (ed.); Wrightson, Graham (ed.) [Davis, M.; Maslov, S. Yu.; Mints, G. E.; Orevkov, V. P.; Shaw, J. C.; Newell, A.; Simon, H. A.; Robinson, A.; Beth, E. W.; Dunham, B.; Fridshal, R.; Sward, G. L.; Gelernter, H.; Putnam, H.; Hansen, J. A.; Loveland, D. W.; Gilmore, P. C.; Prawitz, D.; Prawitz, H.; Voghera, N.; Wang, H.; Logemann, G.; North, J. H.; Friedman, J.; Kanger, S.; Robinson, J. A.; Wos, L. T.; Carson, D. F.; Robinson, G. A.; Shanin, N. A.; Davydov, G. V.; Slisenko, A. O.; Meltzer, B.] Automation of reasoning. 1: Classical papers on computational logic 1957–1966. (English) Zbl 0567.03001 Symbolic Computation. Artificial Intelligence. Berlin etc.: Springer- Verlag. XII, 525 p. DM 98.00 (1983). Reviewer: N.Curteanu MSC: 03-06 68-06 03B35 68T15 01A75 PDF BibTeX XML
Shanin, N. A. Role of a notion of algorithm in the semantics of arithmetic languages. (Russian) Zbl 0596.03060 Algorithms in modern mathematics, II, Mater. Int. Symp., Urgench/UzSSR, 1979, 147-180 (1982). MSC: 03F50 03F65 PDF BibTeX XML
Shanin, N. A. Canonical recursive functions and operations. (English) Zbl 0493.03018 J. Sov. Math. 20, 2381-2390 (1982). MSC: 03D20 PDF BibTeX XML Cite \textit{N. A. Shanin}, J. Sov. Math. 20, 2381--2390 (1982; Zbl 0493.03018) Full Text: DOI
Ershov, A. P. (ed.); Knuth, D. E. (ed.) [Zemanek, H.; Knuth, D. E.; Uspensky, V. A.; Semenov, A. L.; Barzdin, J. M.; Manin, Yu. I.; Nepeivoda, N. N.; Tyugu, E. H.; Letichevsky, A. A.; Adel’son-Vel’skii, G. M.; Slisenko, A. O.; Alder, A.; Strassen, V.; Kleene, S. C.; Shanin, N. A.; Tseytlin, G. S.; Ershov, A. P.; Bauer, F. L.; Glushkov, V. M.; Matijasevic, Y.; Matiyasevich, Yu. V.; Buda, A.; Anisimov, A. V.] Algorithms in modern mathematics and computer science. Proceedings, Urgench, Uzbek SSR, September 16–22, 1979. (English) Zbl 0477.68035 Lecture Notes in Computer Science, 122. Berlin-Heidelberg-New York: Springer-Verlag. XI, 487 p. DM 45.50; $ 21.20 (1981). MSC: 68W99 68-06 01A30 03-06 68Q25 03D60 03B25 03D25 11U05 68N01 03F60 03F65 94A15 68P10 03A05 03D40 03D15 68Q60 PDF BibTeX XML
Shanin, N. A. On the quantifier of limiting realizability. (English) Zbl 0449.03058 J. Sov. Math. 14, 1565-1572 (1980). MSC: 03F50 PDF BibTeX XML Cite \textit{N. A. Shanin}, J. Sov. Math. 14, 1565--1572 (1980; Zbl 0449.03058) Full Text: DOI
Shanin, N. A. On canonical recursive functions and operations. (Russian) Zbl 0429.03024 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 88, 218-235 (1979). MSC: 03D20 PDF BibTeX XML Cite \textit{N. A. Shanin}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 88, 218--235 (1979; Zbl 0429.03024) Full Text: EuDML
Shanin, N. A. On the quantifier of limiting realizability. (English) Zbl 0428.03053 Set theory. Foundations of mathematics, Proc. Symp. Belgrade 1977, Zb. Rad., Nova Ser. 2(10), 127 (1977). MSC: 03F65 03B55 03C80 PDF BibTeX XML
Shanin, N. A. A hierarchy of Brouwer constructive functionals. (English) Zbl 0404.03052 J. Sov. Math. 8, 345-348 (1977). MSC: 03F60 03D20 PDF BibTeX XML Cite \textit{N. A. Shanin}, J. Sov. Math. 8, 345--348 (1977; Zbl 0404.03052) Full Text: DOI
[Seper, K.; Mihaljinec, M.; Shanin, N. A.] Mathematics and philosophy. (English) Zbl 0404.03008 Set theory. Foundations of mathematics, Proc. Symp. Belgrade 1977, Zb. Rad., Nova Ser. 2(10), 139-152 (1977). MSC: 03A05 03F65 03F99 11D99 03D99 03F25 03-06 PDF BibTeX XML
Shanin, N. A. On the quantifier of limiting realizability. (Russian) Zbl 0344.02025 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 60, 209-220 (1976). MSC: 03F99 03B55 PDF BibTeX XML Cite \textit{N. A. Shanin}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 60, 209--220 (1976; Zbl 0344.02025) Full Text: EuDML
Shanin, N. A. On a hierarchy of methods of interpreting propositions in constructive mathematics. (English) Zbl 0326.02025 Proc. Steklov Inst. Math. 129(1973), 209-271 (1976). MSC: 03F99 03D55 PDF BibTeX XML Cite \textit{N. A. Shanin}, Proc. Steklov Inst. Math. 129, 209--271 (1976; Zbl 0326.02025)
Shanin, N. A. On a hierarchy of Brouwer constructive functionals. (Russian) Zbl 0361.02046 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 40, 142-147 (1974). MSC: 03F55 PDF BibTeX XML Cite \textit{N. A. Shanin}, Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 40, 142--147 (1974; Zbl 0361.02046) Full Text: EuDML
Dragalin, A. G.; Nagornyj, N. M.; Petri, N. V.; Shanin, N. A. Andrei Andreevich Markov. (English) Zbl 0313.01017 Russ. Math. Surv. 29, No. 6, 171-175 (1974). MSC: 01A70 PDF BibTeX XML Cite \textit{A. G. Dragalin} et al., Russ. Math. Surv. 29, No. 6, 171--175 (1974; Zbl 0313.01017) Full Text: DOI
Dragalin, A. G.; Nagornyj, N. M.; Petri, N. V.; Shanin, N. A. Andrei Andreevic Markov (zum siebzigsten Geburtstag). (Russian) Zbl 0299.01019 Usp. Mat. Nauk 29, No. 6(180), 187-191 (1974). MSC: 01A70 PDF BibTeX XML Cite \textit{A. G. Dragalin} et al., Usp. Mat. Nauk 29, No. 6(180), 187--191 (1974; Zbl 0299.01019)
Shanin, N. A. On a hierarchy of methods of understanding sentences in constructive mathematics. (Russian) Zbl 0312.02028 Tr. Mat. Inst. Steklova 129, 203-266 (1973). MSC: 03F99 03D55 PDF BibTeX XML Cite \textit{N. A. Shanin}, Tr. Mat. Inst. Steklova 129, 203--266 (1973; Zbl 0312.02028)
Shanin, N. A. Concerning the constructive interpretation of auxiliary formulas. I. (English) Zbl 0249.02013 Am. Math. Soc., Translat., II. Ser. 99, 233-275 (1972). MSC: 03B55 03F99 PDF BibTeX XML Cite \textit{N. A. Shanin}, Transl., Ser. 2, Am. Math. Soc. 99, 233--275 (1972; Zbl 0249.02013) Full Text: DOI
Tseĭtin, G. S.; Zaslavskiĭ, I. D.; Shanin, N. A. Peculiarities of constructive mathematical analysis. (English. Russian original) Zbl 0195.30501 Am. Math. Soc., Transl., II. Ser., 70, 16-25 (1968); translation from Tr. Mezhdunarod. Kongr. Mat., Moskva 1966, 253-261 (1968);. Reviewer: Amitabha Ghose (Kathmandu) MSC: 03Dxx PDF BibTeX XML Cite \textit{G. S. Tseĭtin} et al., Transl., Ser. 2, Am. Math. Soc. 70, 16--25 (1968; Zbl 0195.30501); translation from Tr. Mezhdunarod. Kongr. Mat., Moskva 1966, 253--261 (1968) Full Text: DOI
Shanin, N. A. Constructive real numbers and constructive function spaces. (English) Zbl 0169.31101 Translations of Mathematical Monographs. 21. Providence, RI: American Mathematical Society (AMS). IV, 325 p. (1968). PDF BibTeX XML Full Text: Link
Orevkov, V. P. (ed.); Shanin, M. A. (ed.) Problems in the constructive trend in mathematics. IV. (English) Zbl 0192.31106 Proc. Steklov Inst. Math. 93, 329 p. (1967). MSC: 00B15 03-06 PDF BibTeX XML
Orevkov, V. P. (ed.); Shanin, N. A. (ed.) Problems in the constructive trend in mathematics. IV. (Probleme der konstruktiven Richtung in der Mathematik. 4. Sammlung von Arbeiten.) (Russian) Zbl 0178.00101 Tr. Mat. Inst. Steklova 93, 269 S. (1967). MSC: 03-06 00B15 PDF BibTeX XML
Shanin, N. A.; Davydov, G. V.; Maslov, S. Yu.; Mints, G. E.; Orevkov, V. P.; Slisenko, A. O. Algorithmus des maschinellen Suchens der natürlichen logischen Deduktion im Aussagenkalkül. (Russian) Zbl 0168.01403 Moskau-Leningrad: Verlag ‘Nauka’ 40 S. (1965). PDF BibTeX XML
Shanin, N. A. On the constructive understanding of normal support-formulas. (Russian) Zbl 0192.05801 Tr. Mat. Inst. Steklova 72, 348-379 (1964). PDF BibTeX XML Cite \textit{N. A. Shanin}, Tr. Mat. Inst. Steklova 72, 348--379 (1964; Zbl 0192.05801)
Shanin, N. A. (ed.) Problems of the constructive direction in mathematics. III. Collection of articles. To the 60th anniversary of Andrei Andreevich Markov. (Probleme der konstruktiven Richtung in der Mathematik. III.) (German) Zbl 0158.00103 Tr. Mat. Inst. Steklova 72, 448 S. (1964). MSC: 00B15 01-06 PDF BibTeX XML Full Text: MNR
Nagornyj, N. M.; Shanin, N. A. Andrei Andreevic Markov. (English. Russian original) Zbl 0125.00420 Russ. Math. Surv. 19, No. 3, 181-196 (1964); translation from Usp. Mat. Nauk 19, No. 3(117), 207-223 (1964). PDF BibTeX XML Cite \textit{N. M. Nagornyj} and \textit{N. A. Shanin}, Russ. Math. Surv. 19, No. 3, 181--196 (1964; Zbl 0125.00420); translation from Usp. Mat. Nauk 19, No. 3(117), 207--223 (1964) Full Text: DOI
Shanin, N. A. On the constructive interpretation of mathematical judgments. (English. Russian original) Zbl 0121.01506 Transl., Ser. 2, Am. Math. Soc. 23, 109-189 (1963); translation from Tr. Mat. Inst. Steklov 52, 226-311 (1958). PDF BibTeX XML Cite \textit{N. A. Shanin}, Transl., Ser. 2, Am. Math. Soc. 23, 109--189 (1963; Zbl 0121.01506); translation from Tr. Mat. Inst. Steklov 52, 226--311 (1958) Full Text: DOI
Shanin, N. A. Konstruktive reelle Zahlen und konstruktive Funktionalräume. (Russian) Zbl 0113.00801 Tr. Mat. Inst. Steklova 67, 15-294 (1962). PDF BibTeX XML Cite \textit{N. A. Shanin}, Tr. Mat. Inst. Steklova 67, 15--294 (1962; Zbl 0113.00801)
Shanin, N. A. Probleme der konstruktiven Richtung in der Mathematik. II: Konstruktive mathematische Analysis. (Russian) Zbl 0113.00701 Tr. Mat. Inst. Steklova 67, 502 S. (1962). PDF BibTeX XML
Shanin, N. A. Über konstruktive lineare Funktionale in einem konstruktiven Hilbertschen Raum. (Russian. German summary) Zbl 0092.01102 Z. Math. Logik Grundlagen Math. 5, 1-8 (1959). PDF BibTeX XML Cite \textit{N. A. Shanin}, Z. Math. Logik Grundlagen Math. 5, 1--8 (1959; Zbl 0092.01102) Full Text: DOI
Shanin, N. A. Über die konstruktive Auffassung mathematischer Urteile. (Russian) Zbl 0092.25401 Tr. Mat. Inst. Steklova 52, 226-311 (1958). PDF BibTeX XML Cite \textit{N. A. Shanin}, Tr. Mat. Inst. Steklova 52, 226--311 (1958; Zbl 0092.25401)
Shanin, N. A. Über einen Algorithmus zur konstruktiven Dechiffrierung mathematischer Urteile. (Russian. German summary) Zbl 0092.01101 Z. Math. Logik Grundlagen Math. 4, 293-303 (1958). PDF BibTeX XML Cite \textit{N. A. Shanin}, Z. Math. Logik Grundlagen Math. 4, 293--303 (1958; Zbl 0092.01101) Full Text: DOI
Šanin, N. A. (ed.) Probleme der konstuktiven Richtung in der Mathematik. I. (Russian) Zbl 0084.24903 Tr. Mat. Inst. Steklova 52, 349 S. (1958). PDF BibTeX XML
Shanin, N. A. Einige Fragen der Analysis im Lichte der konstruktiven Logik. (Russian. German summary) Zbl 0071.24601 Z. Math. Logik Grundlagen Math. 2, 27-36 (1956). PDF BibTeX XML Cite \textit{N. A. Shanin}, Z. Math. Logik Grundlagen Math. 2, 27--36 (1956; Zbl 0071.24601) Full Text: DOI
Shanin, N. A. Über einige logische Probleme der Arithmetik. (Russian) Zbl 0068.01202 Tr. Mat. Inst. Steklova 43, 111 S. (1955). PDF BibTeX XML
Shanin, N. A. Über die Einbettungen des klassischen Logikkalküls in einen konstruktiven Logikkalkül. (Russian) Zbl 0059.01601 Dokl. Akad. Nauk SSSR, n. Ser. 94, 193-196 (1954). PDF BibTeX XML Cite \textit{N. A. Shanin}, Dokl. Akad. Nauk SSSR, n. Ser. 94, 193--196 (1954; Zbl 0059.01601)
Linnik, Yu. V.; Shanin, N. A. Andreĭ Andreevich Markov (on his 50th birthday). (Russian) Zbl 0055.00213 Usp. Mat. Nauk 9, No. 1(59), 145-149 (1954). MSC: 01A70 PDF BibTeX XML Cite \textit{Yu. V. Linnik} and \textit{N. A. Shanin}, Usp. Mat. Nauk 9, No. 1(59), 145--149 (1954; Zbl 0055.00213) Full Text: MNR
Shanin, N. A. Über gewisse Operationen an logisch-arithmetischen Formeln. (Russian) Zbl 0052.24802 Dokl. Akad. Nauk SSSR, n. Ser. 93, 779-782 (1953). PDF BibTeX XML Cite \textit{N. A. Shanin}, Dokl. Akad. Nauk SSSR, n. Ser. 93, 779--782 (1953; Zbl 0052.24802)
Shanin, N. A. Über die Teilmengen der natürlichen Zahlenreihe, die eine Dichte besitzen. (Russian) Zbl 0047.05802 Mat. Sb., N. Ser. 31(73), 367-380 (1952). PDF BibTeX XML Cite \textit{N. A. Shanin}, Mat. Sb., Nov. Ser. 31(73), 367--380 (1952; Zbl 0047.05802)
Shanin, N. A. Über das Produkt topologischer Räume. (Russian) Zbl 0041.51402 Tr. Mat. Inst. Steklova 24, 112 p. (1948). PDF BibTeX XML
Shanin, N. A. Über Produkte von topologischen Räumen. (Russian) Zbl 0033.30701 Akad. Nauk SSSR, Trudy Mat. Inst. Steklov 24, 112 p. (1948). PDF BibTeX XML
Shanin, N. A. On dyadic bicompacta. (English) Zbl 0061.39605 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 777-779 (1946). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 777--779 (1946; Zbl 0061.39605)
Shanin, N. A. On the product of topological spaces. (English) Zbl 0061.39604 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 591-593 (1946). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 591--593 (1946; Zbl 0061.39604)
Shanin, N. A. On intersection of open subsets in the product of topological spaces. (English) Zbl 0061.39603 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 499-501 (1946). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 499--501 (1946; Zbl 0061.39603)
Shanin, N. A. A theorem from the general theory of sets. (English) Zbl 0061.09206 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 399-400 (1946). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 53, 399--400 (1946; Zbl 0061.09206)
Shanin, N. On imbedding in a power of topological space. (Russian. English summary) Zbl 0060.39608 Izv. Akad. Nauk SSSR, Ser. Mat. 8, 233-242 (1944). PDF BibTeX XML Cite \textit{N. Shanin}, Izv. Akad. Nauk SSSR, Ser. Mat. 8, 233--242 (1944; Zbl 0060.39608)
Shanin, N. A. On the theory of bicompact extensions of topological spaces. (English) Zbl 0061.39608 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 154-156 (1943). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 154--156 (1943; Zbl 0061.39608)
Shanin, N. A. On separation in topological spaces. (English) Zbl 0061.39607 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 110-113 (1943). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 110--113 (1943; Zbl 0061.39607)
Shanin, N. A. On sepcial extensions of topological spaces. (English) Zbl 0061.39606 C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 6-9 (1943). PDF BibTeX XML Cite \textit{N. A. Shanin}, C. R. (Dokl.) Acad. Sci. URSS, n. Ser. 38, 6--9 (1943; Zbl 0061.39606)