Almagor, Shaull; Ouaknine, Joël; Worrell, James First-order orbit queries. (English) Zbl 1518.37014 Theory Comput. Syst. 65, No. 4, 638-661 (2021). MSC: 37B10 03B25 11J83 11J86 14P10 PDFBibTeX XMLCite \textit{S. Almagor} et al., Theory Comput. Syst. 65, No. 4, 638--661 (2021; Zbl 1518.37014) Full Text: DOI Link
Wald, Burkhard Linear forms in a playful universe. (English) Zbl 1486.03092 Rend. Semin. Mat. Univ. Padova 144, 271-279 (2020). MSC: 03E75 03E60 20K25 54E52 PDFBibTeX XMLCite \textit{B. Wald}, Rend. Semin. Mat. Univ. Padova 144, 271--279 (2020; Zbl 1486.03092) Full Text: DOI
Almagor, Shaull; Ouaknine, Joël; Worrell, James The semialgebraic orbit problem. (English) Zbl 1518.37015 Niedermeier, Rolf (ed.) et al., 36th international symposium on theoretical aspects of computer science, STACS 2019, March 13–16, 2019, Berlin, Germany. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 126, Article 6, 15 p. (2019). MSC: 37B10 03B25 11J83 11J86 14P10 PDFBibTeX XMLCite \textit{S. Almagor} et al., LIPIcs -- Leibniz Int. Proc. Inform. 126, Article 6, 15 p. (2019; Zbl 1518.37015) Full Text: DOI arXiv
Ouaknine, Joël; Pouly, Amaury; Sousa-Pinto, João; Worrell, James On the decidability of membership in matrix-exponential semigroups. (English) Zbl 1481.20197 J. ACM 66, No. 3, Article No. 15, 24 p. (2019). MSC: 20M05 20M20 03D35 15A16 PDFBibTeX XMLCite \textit{J. Ouaknine} et al., J. ACM 66, No. 3, Article No. 15, 24 p. (2019; Zbl 1481.20197) Full Text: DOI
Nakasho, Kazuhisa Bilinear operators on normed linear spaces. (English) Zbl 1422.47005 Formaliz. Math. 27, No. 1, 15-23 (2019). MSC: 47A07 47A30 03B35 PDFBibTeX XMLCite \textit{K. Nakasho}, Formaliz. Math. 27, No. 1, 15--23 (2019; Zbl 1422.47005) Full Text: DOI
Heuer, Nicolaus; Loeh, Clara Transcendental simplicial volumes. arXiv:1911.06386 Preprint, arXiv:1911.06386 [math.GT] (2019). MSC: 57N65 57M07 20J05 11J86 03D78 BibTeX Cite \textit{N. Heuer} and \textit{C. Loeh}, ``Transcendental simplicial volumes'', Preprint, arXiv:1911.06386 [math.GT] (2019) Full Text: arXiv OA License
Nakasho, Kazuhisa; Futa, Yuichi; Shidama, Yasunari Continuity of bounded linear operators on normed linear spaces. (English) Zbl 1422.47006 Formaliz. Math. 26, No. 3, 231-237 (2018). MSC: 47A07 47A30 03B35 PDFBibTeX XMLCite \textit{K. Nakasho} et al., Formaliz. Math. 26, No. 3, 231--237 (2018; Zbl 1422.47006) Full Text: DOI
Widmer, Martin Weak admissibility, primitivity, o-minimality, and Diophantine approximation. (English) Zbl 1401.11113 Mathematika 64, No. 2, 475-496 (2018). Reviewer: Steven T. Dougherty (Scranton) MSC: 11H06 11P21 11K60 11J20 03C64 22F30 PDFBibTeX XMLCite \textit{M. Widmer}, Mathematika 64, No. 2, 475--496 (2018; Zbl 1401.11113) Full Text: DOI arXiv
Morillon, Marianne Linear extenders and the axiom of choice. (English) Zbl 1463.03018 Commentat. Math. Univ. Carol. 58, No. 4, 419-434 (2017). MSC: 03E25 46S10 PDFBibTeX XMLCite \textit{M. Morillon}, Commentat. Math. Univ. Carol. 58, No. 4, 419--434 (2017; Zbl 1463.03018) Full Text: DOI arXiv
Godefroy, Gilles Convex combinations of measurable functions and axioms of set theory. (English) Zbl 1424.46015 Linear Nonlinear Anal. 2, No. 2, 175-187 (2016). MSC: 46B10 54E52 03E75 PDFBibTeX XMLCite \textit{G. Godefroy}, Linear Nonlinear Anal. 2, No. 2, 175--187 (2016; Zbl 1424.46015) Full Text: Link
Futa, Yuichi; Okazaki, Hiroyuki; Shidama, Yasunari Matrix of \(\mathbb{Z}\)-module. (English) Zbl 1317.11037 Formaliz. Math. 23, No. 1, 29-49 (2015). MSC: 11E39 13C10 03B35 PDFBibTeX XMLCite \textit{Y. Futa} et al., Formaliz. Math. 23, No. 1, 29--49 (2015; Zbl 1317.11037) Full Text: DOI
Bays, M.; Habegger, P. A note on divisible points of curves. (English) Zbl 1327.14138 Trans. Am. Math. Soc. 367, No. 2, 1313-1328 (2015). Reviewer: Mihai Prunescu (Bucharest) MSC: 14H25 03C64 11G50 11J86 11U09 PDFBibTeX XMLCite \textit{M. Bays} and \textit{P. Habegger}, Trans. Am. Math. Soc. 367, No. 2, 1313--1328 (2015; Zbl 1327.14138) Full Text: DOI arXiv
Taylor, Joseph L. Foundations of analysis. (English) Zbl 1258.26001 Pure and Applied Undergraduate Texts 18. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-8984-8/pbk). x, 398 p. (2012). Reviewer: Werner Kleinert (Berlin) MSC: 26-01 26Axx 26Bxx 26Dxx 03E10 54E35 97I10 PDFBibTeX XMLCite \textit{J. L. Taylor}, Foundations of analysis. Providence, RI: American Mathematical Society (AMS) (2012; Zbl 1258.26001)
Zinn, Julian; Verma, Rakesh M. A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems. (English) Zbl 1211.68227 Appl. Algebra Eng. Commun. Comput. 21, No. 6, 459-485 (2010). MSC: 68Q42 03B25 03D40 PDFBibTeX XMLCite \textit{J. Zinn} and \textit{R. M. Verma}, Appl. Algebra Eng. Commun. Comput. 21, No. 6, 459--485 (2010; Zbl 1211.68227) Full Text: DOI
Lindell, Steven A normal form for first-order logic over doubly-linked data structures. (English) Zbl 1161.68401 Int. J. Found. Comput. Sci. 19, No. 1, 205-217 (2008). MSC: 68P05 03B10 68Q60 PDFBibTeX XMLCite \textit{S. Lindell}, Int. J. Found. Comput. Sci. 19, No. 1, 205--217 (2008; Zbl 1161.68401) Full Text: DOI
Pambuccian, Victor Alexandrov-Zeeman type theorems expressed in terms of definability. (English) Zbl 1141.03007 Aequationes Math. 74, No. 3, 249-261 (2007). Reviewer: T. Thrivikraman (Nileshwar) MSC: 03C40 03B30 15A63 51A15 51F20 83A05 PDFBibTeX XMLCite \textit{V. Pambuccian}, Aequationes Math. 74, No. 3, 249--261 (2007; Zbl 1141.03007) Full Text: DOI
Roczen, Marko; Wolter, Helmut Linear algebra individually. Online version. Vol. 2. (Lineare algebra individuell. Online-Fassung. Band 2.) (German) Zbl 1084.15004 Morrisville, NC: Lulu (ISBN 1-4116-3558-2/pbk). 273 p. (2005). Reviewer: Ralf Gramlich (Darmstadt) MSC: 15-01 15A03 15A06 15A15 15A18 15A21 15A63 15A69 03E15 13P10 20A05 65F05 65F25 PDFBibTeX XMLCite \textit{M. Roczen} and \textit{H. Wolter}, Lineare algebra individuell. Online-Fassung. Band 2. Morrisville, NC: Lulu (2005; Zbl 1084.15004)
Roczen, Marko; Wolter, Helmut Linear algebra individually. Online version. Vol. 1. (Lineare Algebra individuell. Online-Fassung. Band 1.) (German) Zbl 1084.15003 Morrisville, NC: Lulu (ISBN 1-4116-2648-6/pbk). vi, 236 p. (2005). Reviewer: Ralf Gramlich (Darmstadt) MSC: 15-01 15A03 15A06 15A15 15A18 15A21 15A63 15A69 03E15 13P10 20A05 65F05 65F25 PDFBibTeX XMLCite \textit{M. Roczen} and \textit{H. Wolter}, Lineare Algebra individuell. Online-Fassung. Band 1. Morrisville, NC: Lulu (2005; Zbl 1084.15003)
Loeb, Peter A.; Osswald, Horst; Sun, Yeneng; Zhang, Zhixiang Uncorrelatedness and orthogonality for vector-valued processes. (English) Zbl 1076.03047 Trans. Am. Math. Soc. 356, No. 8, 3209-3225 (2004). MSC: 03H05 46N30 60B11 PDFBibTeX XMLCite \textit{P. A. Loeb} et al., Trans. Am. Math. Soc. 356, No. 8, 3209--3225 (2004; Zbl 1076.03047) Full Text: DOI
Tennant, Neil Ultimate normal forms for parallelized natural deductions. (English) Zbl 1010.03048 Log. J. IGPL 10, No. 3, 299-337 (2002). MSC: 03F05 03B47 PDFBibTeX XMLCite \textit{N. Tennant}, Log. J. IGPL 10, No. 3, 299--337 (2002; Zbl 1010.03048) Full Text: DOI Link
Kopylov, A. P. Decidability of linear affine logic. (English) Zbl 1007.03053 Inf. Comput. 164, No. 1, 173-198 (2001). MSC: 03F52 03B25 03F05 PDFBibTeX XMLCite \textit{A. P. Kopylov}, Inf. Comput. 164, No. 1, 173--198 (2001; Zbl 1007.03053) Full Text: DOI
Jin, Renling Nonstandard methods for upper Banach density problems. (English) Zbl 1071.11503 J. Number Theory 91, No. 1, 20-38 (2001). MSC: 11B05 03H05 11J13 11U10 PDFBibTeX XMLCite \textit{R. Jin}, J. Number Theory 91, No. 1, 20--38 (2001; Zbl 1071.11503) Full Text: DOI Link
Kleine Büning, Hans; Lettmann, Theodor Propositional logic: deduction and algorithms. Transl. from the German. (English) Zbl 0957.03001 Cambridge Tracts in Theoretical Computer Science. 48. Cambridge: Cambridge University Press. x, 409 p. (1999). Reviewer: U.Schöning (Ulm) MSC: 03-01 03B05 03B35 03B70 03F20 68W40 03-02 03-04 68Q25 68T15 PDFBibTeX XMLCite \textit{H. Kleine Büning} and \textit{T. Lettmann}, Propositional logic: deduction and algorithms. Transl. from the German. Cambridge: Cambridge University Press (1999; Zbl 0957.03001)
König, Esther; Reyle, Uwe A general reasoning scheme for underspecified representations. (English) Zbl 0948.03021 Ohlbach, Hans Jürgen (ed.) et al., Logic, language and reasoning. Essays in honour of Dov Gabbay. Dordrecht: Kluwer Academic Publishers. Trends Log. Stud. Log. Libr. 5, 251-277 (1999). Reviewer: Neculai Curteanu (Iaşi) MSC: 03B65 68T50 68T27 68T30 91F20 PDFBibTeX XMLCite \textit{E. König} and \textit{U. Reyle}, Trends Log. Stud. Log. Libr. 5, 251--277 (1999; Zbl 0948.03021)
Polakow, Jeff; Pfenning, Frank Natural deduction for intuitionistic non-commutative linear logic. (English) Zbl 0931.03071 Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 295-309 (1999). MSC: 03F52 PDFBibTeX XMLCite \textit{J. Polakow} and \textit{F. Pfenning}, Lect. Notes Comput. Sci. 1581, 295--309 (1999; Zbl 0931.03071)
Semigrodskikh, A. P.; Sukhanov, E. V. On closed classes of polynomials over finite fields. (English. Russian original) Zbl 0970.03027 Discrete Math. Appl. 7, No. 6, 593-606 (1997); translation from Diskretn. Mat. 9, No. 4, 50-62 (1997). MSC: 03B50 08A40 03G10 12E20 12E05 PDFBibTeX XMLCite \textit{A. P. Semigrodskikh} and \textit{E. V. Sukhanov}, Discrete Math. Appl. 7, No. 6, 593--606 (1997; Zbl 0970.03027); translation from Diskretn. Mat. 9, No. 4, 50--62 (1997) Full Text: DOI
Zakharov, Vladimir Verification of PLTL formulae by means of monotone disjunctive normal forms. (English) Zbl 0887.03011 Adian, S. (ed.) et al., Logical foundations of computer science. 4th international symposium, LFCS ’97, Yaroslavl, Russia, July 6–12, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1234, 419-429 (1997). MSC: 03B45 03D05 03B25 PDFBibTeX XMLCite \textit{V. Zakharov}, Lect. Notes Comput. Sci. 1234, 419--429 (1997; Zbl 0887.03011)
Holland, Samuel S. jun. Orthomodularity in infinite dimensions; a theorem of M. Solèr. (English) Zbl 0856.11021 Bull. Am. Math. Soc., New Ser. 32, No. 2, 205-234 (1995). Reviewer: R.Wallace Garden (Thames) MSC: 11E39 06C15 16W10 51A05 81P10 46C05 03G12 PDFBibTeX XMLCite \textit{S. S. Holland jun.}, Bull. Am. Math. Soc., New Ser. 32, No. 2, 205--234 (1995; Zbl 0856.11021) Full Text: DOI arXiv
Panti, Giovanni A geometric proof of the completeness of the Łukasiewicz calculus. (English) Zbl 0837.03018 J. Symb. Log. 60, No. 2, 563-578 (1995). Reviewer: I.D’Ottaviano (Campinas) MSC: 03B50 PDFBibTeX XMLCite \textit{G. Panti}, J. Symb. Log. 60, No. 2, 563--578 (1995; Zbl 0837.03018) Full Text: DOI
Kleine Büning, Hans; Lettmann, Theodor Propositional logic: deduction and algorithms. (Aussagenlogik: Deduktion und Algorithmen.) (German) Zbl 0809.03003 Leitfäden und Monographien der Informatik. Stuttgart: Teubner. x, 438 S. (1994). Reviewer: H.J.Ohlbach (Saarbrücken) MSC: 03B05 03B35 03-01 03-02 03-04 68Q25 68T15 PDFBibTeX XMLCite \textit{H. Kleine Büning} and \textit{T. Lettmann}, Aussagenlogik: Deduktion und Algorithmen. Stuttgart: Teubner (1994; Zbl 0809.03003)
Thomas, Simon R. Canonical expansions of countably categorical structures. (English) Zbl 0822.20049 Kaye, Richard (ed.) et al., Automorphisms of first-order structures. Oxford: Clarendon Press. 199-214 (1994). Reviewer: H.-J.Vogel (Potsdam) MSC: 20G40 03C35 15A04 51A50 20A15 51N30 14L35 PDFBibTeX XMLCite \textit{S. R. Thomas}, in: Automorphisms of first-order structures. Oxford: Clarendon Press. 199--214 (1994; Zbl 0822.20049)
Ageron, Pierre The logic of structures. (English) Zbl 0763.18001 J. Pure Appl. Algebra 79, No. 1, 15-34 (1992). Reviewer: S.V.Solov’ev (Aarhus) MSC: 18A15 68Q55 03F05 18A35 03C65 18A10 PDFBibTeX XMLCite \textit{P. Ageron}, J. Pure Appl. Algebra 79, No. 1, 15--34 (1992; Zbl 0763.18001) Full Text: DOI
Spinas, Otmar Linear topologies on sesquilinear spaces of uncountable dimension. (English) Zbl 0766.03027 Fundam. Math. 139, No. 2, 119-132 (1991). MSC: 03E35 15A63 46A19 PDFBibTeX XMLCite \textit{O. Spinas}, Fundam. Math. 139, No. 2, 119--132 (1991; Zbl 0766.03027) Full Text: DOI EuDML
Wild, Marcel On the congruence problem in infinite dimensional sesquilinear spaces. (English) Zbl 0771.15012 Order 7, No. 4, 387-400 (1991). MSC: 15A63 46C05 06C05 03E55 PDFBibTeX XMLCite \textit{M. Wild}, Order 7, No. 4, 387--400 (1991; Zbl 0771.15012) Full Text: DOI
Alekseyev, V. B. Recognition of properties in k-valued logic and approximate algorithms. (English) Zbl 0645.03017 Fundamentals of computation theory, Proc. Int. Conf., Kazan/USSR 1987, Lect. Notes Comput. Sci. 278, 10-13 (1987). Reviewer: U.Schöning MSC: 03B50 03D15 11E04 03-04 68Q25 PDFBibTeX XML
Wang, Hongxu; Wang, Chun Fuzzy inner product space \(V_ n\). (English) Zbl 0587.15016 BUSEFAL 25, 21-30 (1986). Reviewer: K.H.Kim MSC: 15A63 15A03 03E72 PDFBibTeX XMLCite \textit{H. Wang} and \textit{C. Wang}, BUSEFAL 25, 21--30 (1986; Zbl 0587.15016)
Appenzeller, Fred Methoden der unendlichen Kombinatorik angewendet auf \(\aleph _ 1\)- dimensionale \(\epsilon\)-hermitesche Räume. (German) Zbl 0622.03033 Philosophische Fakultät II der Universität Zürich. 46 S. (1985). MSC: 03E05 15A03 15A63 PDFBibTeX XML
Kandri-Rody, Abdelilah; Kapur, Deepak; Narendran, Paliath An ideal-theoretical approach to word problems and unification problems over finitely presented commutative algebras. (English) Zbl 0581.68039 Rewriting techniques and applications, 1st Int. Conf., Dijon/France 1985, Lect. Notes Comput. Sci. 202, 345-364 (1985). MSC: 68W30 03D40 13F20 13E15 13L05 PDFBibTeX XML
Kim, Ki Hang Boolean matrix theory and applications. (English) Zbl 0495.15003 Pure and Applied Mathematics, 70. New York - Basel: Marcel Dekker, Inc. XIV, 425 p. SFr. 115.00 (1982). MSC: 15-02 05B20 03G05 06E05 20M20 15B33 15A09 15A18 PDFBibTeX XML
Bashmakova, I. G.; Gnedenko, B. V.; Kuzicheva, Z. A.; Medvedev, F. A.; Ozhigova, E. P.; Parshin, A. N.; Rudakov, A. N.; Slavutin, E. I.; Sheĭnin, O. B.; Yushkevich, A. P. Kolmogorov, A. N. (ed.); Yushkevich, A. P. (ed.) XIXth century mathematics. Mathematical logic. Algebra. Number theory. Probability theory. Ed. by A. N. Kolmogorov and A. P. Yushkevich. (Математика {XIX} века. Математическая логика. Алгебра. Теория чисел. Теория вероятностей.) (Russian) Zbl 0523.01001 Moskva: “Nauka”. 255 p. R. 2.10 (1978). Reviewer: Ivor Grattan-Guinness (Bengeo) (M.R. 80i:01010) MSC: 01A05 01-02 01A55 03-03 11-03 15-03 60-03 PDFBibTeX XML
Fowler, Northrup III Effective inner product spaces. (English) Zbl 0368.02044 Notre Dame J. Formal Logic 19, 693-701 (1978). MSC: 03D80 15A03 15A63 PDFBibTeX XMLCite \textit{N. Fowler III}, Notre Dame J. Formal Logic 19, 693--701 (1978; Zbl 0368.02044) Full Text: DOI
Johnson, Charles R. Functional characterizations of the field values and the convex hull of the spectrum. (English) Zbl 0356.15010 Proc. Am. Math. Soc. 61(1976), 201-204 (1977). MSC: 15A15 15A42 15-00 15A63 03C99 PDFBibTeX XMLCite \textit{C. R. Johnson}, Proc. Am. Math. Soc. 61, 201--204 (1977; Zbl 0356.15010) Full Text: DOI
Borodin, A.; Munro, I. The computational complexity of algebraic and numeric problems. (English) Zbl 0404.68049 Theory of computation Series. 1. New York - London - Amsterdam: American Elsevier Publishing Company, Inc. X, 174 p. $ 9.95 (1975). MSC: 68Q25 68-01 68-02 03D15 65T40 12-04 11-04 11A99 11E99 11C99 65F30 PDFBibTeX XML
Gram, J. P. About some fundamental theorems of modern algebra. (Sur quelques théorèmes fondamentaux de l’algèbre moderne.) (French) JFM 06.0090.02 Clebsch Ann. VII, 230-241 (1874). Reviewer: Lüroth, Prof. (Carlsruhe) MSC: 16P10 03B05 16W22 11E76 15A63 15A04 17-08 11E10 15A15 26B10 26C15 62J10 17A40 PDFBibTeX XMLCite \textit{J. P. Gram}, Math. Ann. 7, 230--241 (1874; JFM 06.0090.02) Full Text: DOI EuDML
Weihrauch, J. On the theory of determinant. (Zur Determinantenlehre.) (German) JFM 06.0085.02 Schlömilch Z. XIX, 354-360 (1874). Reviewer: Stolz, Prof. (Innsbruck) MSC: 15A15 03F07 15B57 03F03 39A70 11H46 PDFBibTeX XMLCite \textit{J. Weihrauch}, Schlömilch Z. 19, 354--360 (1874; JFM 06.0085.02)
Rosanes, J. About a principle of attributing algebraic forms. (Ueber ein Princip der Zuordnung algebraischer Formen.) (German) JFM 05.0095.03 Borchardt J. LXXVI, 312-331 (1873). Reviewer: Klein, Prof. (Erlangen) MSC: 03E30 11E10 14H05 08A02 11E16 11E76 03B05 13J05 14H50 52B11 PDFBibTeX XMLCite \textit{J. Rosanes}, J. Reine Angew. Math. 76, 312--331 (1873; JFM 05.0095.03) Full Text: DOI EuDML
Gundelfinger, S. Enlarged frame of a transfer principle set up by Clebsch. (Erweiterte Fassung eines von Clebsch aufgestellten Uebertragungsprincips.) (German) JFM 05.0094.03 Clebsch Ann. VI, 16-23 (1873). Reviewer: Klein, Prof. (Erlangen) MSC: 11H60 03B22 03E30 15-XX 12E12 05E05 PDFBibTeX XMLCite \textit{S. Gundelfinger}, Math. Ann. 6, 16--23 (1873; JFM 05.0094.03) Full Text: DOI EuDML