Found 2,888 Documents (Results 1–100)
“Logical lanter”: analogue of the square of opposition for propositions in V.I. Markin’s universal language for traditional positive syllogistic theories. (English) Zbl 07928688
A predictive approach to quantiles: application to value at risk and tail value at risk. (English) Zbl 07927162
Algebraic versions of Hartogs’ theorem. (English) Zbl 07916671
Reviewer: Fujita Masato (Kure)
Steady-state flows of ideal incompressible fluid with velocity pointwise orthogonal to the pressure gradient. (English) Zbl 07900995
Lie pairs. (English) Zbl 07900712
Reviewer: Dmitry Artamonov (Moskva)
Objective rates as covariant derivatives on the manifold of Riemannian metrics. (English) Zbl 07899608
Logical polygon for propositions about relations: rules of constructing and application. (Russian. English summary) Zbl 07890831
MSC:
03-XX
Symmetric derivation of singlet correlations in a quaternionic 3-sphere model. (English) Zbl 07880120
The simplicity degree of Tarski’s Euclidean geometry of ruler and dividers is 5. (English) Zbl 07870792
The evolution of the electric field along optical fiber with respect to the type-2 and 3 PAFs in Minkowski 3-space. (English) Zbl 1541.53085
Correction to: “The space-time line element for static ellipsoidal objects”. (English) Zbl 1540.83004
Diffeological principal bundles and principal infinity bundles. (English) Zbl 07850991
Reviewer: Hirokazu Nishimura (Tsukuba)
Semiring isomorphisms between rational function semifields of tropical curves. (English) Zbl 07842180
Control laws synthesis to satisfy generalized mutual exclusion constraints for timed event graphs networks using min-plus algebra. (English) Zbl 1533.93497
Buildings, valuated matroids, and tropical linear spaces. (English) Zbl 07809023
Reviewer: Felix Röhrle (Frankfurt am Main)
MSC:
14T10
Quotients of admissible formal schemes and adic spaces by finite groups. (English) Zbl 07806693
Reviewer: Ocean Teng (Dongguan)
Hydrodynamic Killing vector fields on surfaces. (English) Zbl 1531.53041
Reviewer: Ahmed Lesfari (El Jadida)
The Weil descent functor in the category of algebras with free operators. (English) Zbl 07783374
Reviewer: Andy R. Magid (Norman)
Note on smoothness condition on tropical elliptic curves of symmetric truncated cubic forms. (English) Zbl 1537.14086
Equationally Noetherian varieties of semigroups and B. Plotkin’s problem. (Russian. English summary) Zbl 07896790
Reviewer: Denis V. Solomatin (Omsk)
Differential bundles in commutative algebra and algebraic geometry. (English) Zbl 1535.18021
Reviewer: Hirokazu Nishimura (Tsukuba)
Mathematical curiosities. Tropical geometry. (Curiosités mathématiques.) (French) Zbl 1542.14077
Reviewer: Franz Lemmermeyer (Jagstzell)
MSC:
14T10
The stratified homotopy type of the reductive Borel-Serre compactification. (English) Zbl 1542.18022
Reviewer: Matthew Dawes (Cardiff)
Geometric modal logic. (English) Zbl 1529.03150
Logic-sensitivity and bitstring semantics in the square of opposition. (English) Zbl 07785161
MSC:
03-XX
Vector fields and flows on subcartesian spaces. (English) Zbl 1528.58005
Reviewer: Savin Treanţă (Bucureşti)
Skeletal filtrations of the fundamental group of a non-Archimedean curve. (English) Zbl 1527.14070
Reviewer: Mee Seong Im (Annapolis)
Classicality of single quantum particles in curved spacetime through the hydrodynamical reformulation of quantum mechanics. (English) Zbl 1531.81083
On the notion of equal figures in Euclid. (English) Zbl 1542.03036
Reviewer: Victor V. Pambuccian (Glendale)
On Liu morphisms in non-Archimedean geometry. (English) Zbl 1530.14046
Reviewer: Federico Bambozzi (Padova)
The space-time line element for static ellipsoidal objects. (English) Zbl 1528.83002
Gen. Relativ. Gravitation 55, No. 2, Paper No. 24, 21 p. (2023); correction ibid. 56, No. 2, Paper No. 34, 2 p. (2024).
On the solution of a two-sided vector equation in tropical algebra. (English. Russian original) Zbl 1518.15020
Vestn. St. Petersbg. Univ., Math. 56, No. 2, 172-181 (2023); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 10(68), No. 2, 236-248 (2023).
Triple interference, non-linear Talbot effect and gravitization of the quantum. (English) Zbl 1527.83040
Subordinate quadratic forms and isometric maps over semirings. (English) Zbl 1523.14104
Reviewer: Tobias Kaiser (Passau)
Simplifying the axiomatization for ordered affine geometry via a theorem prover. (English) Zbl 1518.51009
Reviewer: Victor V. Pambuccian (Glendale)
Higher balancing for tropical manifolds. (English) Zbl 1532.14106
Reviewer: Kevin Kühn (Frankfurt am Main)
On tropical intersection theory. (English) Zbl 1527.14119
Reviewer: Felix Röhrle (Frankfurt am Main)
Surjective linear transformations of tropical matrices preserving transitive closures. (English) Zbl 1511.15022
Dynamical tropicalisation. (English) Zbl 1518.37085
Is time a cyclic dimension? Canonical quantization implicit in classical cyclic dynamics. (English) Zbl 1517.81011
Tropical Newton-Puiseux polynomials. II. (English) Zbl 1495.14097
MSC:
14T10
On initials and the fundamental theorem of tropical partial differential algebraic geometry. (English) Zbl 1502.14150
A variation of Hilbert’s axioms for Euclidean geometry. (English) Zbl 1518.51005
Reviewer: Victor V. Pambuccian (Glendale)
Tropical \(\psi\) classes. (English) Zbl 1516.14006
Reviewer: Felix Röhrle (Frankfurt am Main)
On the tightness of bounds for transients of weak CSR expansions and periodicity transients of critical rows and columns of tropical matrix powers. (English) Zbl 1511.15023
\(\mathcal{T}\)-semiring pairs. (English) Zbl 07655857
Rational function semifields of tropical curves are finitely generated over the tropical semifield. (English) Zbl 1504.14106
Cauchy-Schwarz functions and convex partitions in the ray space of a supertropical quadratic form. (English) Zbl 1509.16051
Invariant factors as limit of singular values of a matrix. (English) Zbl 1504.15025
Reviewer: Ngoc Mai Tran (Bonn)
On the role of inconsistency in quantum foundational debate and Hilbert space formulation. (English) Zbl 1515.81028
A category of quantum posets. (English) Zbl 1512.81052
Follow the math! : the mathematics of quantum mechanics as the mathematics of set partitions linearized to (Hilbert) vector spaces. (English) Zbl 1510.81010
Semigroup identities of supertropical matrices. (English) Zbl 1516.14111
Reviewer: Ngoc Mai Tran (Bonn)
Stratifications of the ray space of a tropical quadratic form by Cauchy-Schwartz functions. (English) Zbl 1509.14118
Reviewer: Tobias Kaiser (Passau)
Automorphisms of tropical Hassett spaces. (English) Zbl 1499.14104
Reviewer: Felix Röhrle (Frankfurt am Main)
Filter Results by …
all
top 5
Author
- Pambuccian, Victor V. (50)
- Szász, Paul (32)
- Havel, Václav J. (30)
- Benz, Walter (25)
- Ostrom, Theodore G. (25)
- Karzel, Helmut (21)
- Lenz, Hanfried (20)
- Dembowski, Peter (18)
- Lüneburg, Heinz (17)
- Bachmann, Friedrich (16)
- Neumann, Maria (16)
- Pickert, Günter (16)
- Dubikajtis, Lech (15)
- Perron, Oskar (14)
- Salzmann, Helmut (13)
- Cofman, Judita (12)
- André, Johannes (11)
- Barlotti, Adriano (11)
- Hjelmslev, Johannes (11)
- Hughes, Daniel R. (11)
- Lingenberg, Rolf (11)
- Rosati, Luigi Antonio (11)
- Fladt, Kuno (10)
- Klingenberg, Wilhelm P. A. (10)
- Lombardo-Radice, Lucio (10)
- Strambach, Karl (10)
- Bottema, Oene (9)
- Freudenthal, Hans (9)
- Izhakian, Zur (9)
- Kustaanheimo, Paul Edwin (9)
- Piper, Frederick Charles (9)
- Rowen, Louis Halle (9)
- Bilinski, Stanko (8)
- Coxeter, Harold Scott MacDonald (8)
- Gemignani, Michael C. (8)
- Gusciora, Henryk (8)
- Halperin, Israel (8)
- Knebusch, Manfred (8)
- Panella, Gianfranco (8)
- Plotkin, Boris (8)
- Sandler, Reuben (8)
- Tits, Jacques (8)
- Bica, Maria (7)
- Busulini, Franca (7)
- Coghetto, Roland (7)
- Demey, Lorenz (7)
- Dress, Andreas W. M. (7)
- Ewald, Günter (7)
- Kerékjártó, Béla (7)
- Segre, Beniamino (7)
- Sperner, Emanuel (7)
- Strommer, Gyula (7)
- Van Buggenhaut, Jean (7)
- Veldkamp, Ferdinand Douwe (7)
- Yaqub, Jill C. D. S. (7)
- Zappa, Guido (7)
- Artzy, Rafael (6)
- Baer, Reinhold (6)
- Blanuša, Danilo (6)
- Bruck, Richard Hubert (6)
- Ceccherini, Pier Vittorio (6)
- Edge, William Leonard (6)
- Ellers, Erich Werner (6)
- Fejes Tóth, László (6)
- Fulton, Curtis M. (6)
- Gerla, Giangiacomo (6)
- Glock, Erich (6)
- Grothendieck, Alexander (6)
- Iden, Oddvar (6)
- Jun, Jaiung (6)
- Kárteszi, Ferenc (6)
- Marriott, Paul (6)
- Mäurer, Helmut (6)
- Mikhailichenko, Gennadii Grigorevich (6)
- Mrugała, Ryszard (6)
- Pejas, Wolfgang (6)
- Schilling, Friedrich (6)
- Steck, Max (6)
- Vetterlein, Thomas (6)
- Wagner, Alan S. (6)
- Al-Dhahir, M. W. (5)
- Bompiani, Enrico (5)
- Cassina, Ugo (5)
- Denniston, Ralph Hugh Francis (5)
- D’Orgeval, Bernard (5)
- Gaubert, Stéphane (5)
- Lorscheid, Oliver (5)
- Maclagan, Diane (5)
- Maslov, Viktor Pavlovich (5)
- Menger, Karl (5)
- Mumma, John (5)
- Rautenberg, Wolfgang (5)
- Rigby, John F. (5)
- Rincón, Felipe (5)
- Russo, Giuseppe (5)
- Sasaki, Usa (5)
- Schleiermacher, Adolf (5)
- Thas, Joseph Adolphe (5)
- von Plato, Jan (5)
- Yarmolenko, V. A. (5)
- and 2,038 more Authors
all
top 5
Serial
- Math. Z. (135)
- Arch. Math. (99)
- Abh. Math. Semin. Univ. Hamb. (65)
- Math. Ann. (65)
- Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. (55)
- Am. Math. Mon. (51)
- Can. J. Math. (47)
- Proc. Am. Math. Soc. (34)
- Int. J. Theor. Phys. (29)
- Acta Math. Acad. Sci. Hung. (26)
- J. Reine Angew. Math. (25)
- Rend. Mat. Appl., V. Ser. (25)
- Nederl. Akad. Wet., Proc., Ser. A (25)
- Jahresber. Dtsch. Math.-Ver. (21)
- Matematiche (21)
- Izv. Vyssh. Uchebn. Zaved., Mat. (20)
- J. Algebra (20)
- Notre Dame J. Formal Logic (20)
- Synthese (20)
- Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. (20)
- Bull. Cl. Sci., V. Sér., Acad. R. Belg. (19)
- Int. J. Geom. Methods Mod. Phys. (18)
- Trans. Am. Math. Soc. (17)
- J. Phys. A, Math. Gen. (17)
- Boll. Unione Mat. Ital., III. Ser. (17)
- J. Math. Phys. (16)
- Found. Phys. (15)
- C. R. Acad. Sci., Paris (15)
- Can. Math. Bull. (14)
- Pac. J. Math. (14)
- Publ. Math. Debr. (13)
- Bull. Soc. Math. Belg. (13)
- Archimede (13)
- Classical Quantum Gravity (12)
- Ann. Mat. Pura Appl. (4) (12)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (12)
- Duke Math. J. (12)
- J. Geom. (12)
- Math. Nachr. (12)
- Elem. Math. (12)
- An. Univ. Timișoara, Ser. Ști. Mat.-Fiz. (12)
- Math.-Phys. Semesterber., N. F. (12)
- Math. Gaz. (11)
- Ill. J. Math. (11)
- J. Pure Appl. Algebra (11)
- Rend. Semin. Mat. Univ. Padova (11)
- Linear Algebra Appl. (11)
- Math. Log. Q. (11)
- Dokl. Akad. Nauk SSSR, n. Ser. (11)
- Gen. Relativ. Gravitation (10)
- Ric. Mat. (10)
- Simon Stevin (10)
- Tensor, New Ser. (10)
- Glas. Mat., III. Ser. (10)
- Proc. R. Soc. Lond., Ser. A (10)
- Log. Log. Philos. (10)
- Period. Mat., IV. Ser. (10)
- Rep. Math. Phys. (9)
- Usp. Mat. Nauk (9)
- Sitzungsber., Bayer. Akad. Wiss., Math.-Naturwiss. Kl. (9)
- Commentat. Math. Univ. Carol. (9)
- Sov. Math., Dokl. (9)
- Aequationes Math. (9)
- Philos. Math. (3) (9)
- Proc. Camb. Philos. Soc. (9)
- J. Sci. Hiroshima Univ., Ser. A (9)
- Magyar Tud. Akad., Mat. Fiz. Tud. Oszt. Közl. (9)
- Log. Univers. (9)
- Arch. Hist. Exact Sci. (8)
- Int. J. Eng. Sci. (8)
- Beitr. Algebra Geom. (8)
- Acta Sci. Math. (8)
- Adv. Math. (8)
- Ann. Stat. (8)
- Monatsh. Math. (8)
- Hist. Philos. Log. (8)
- J. Symb. Comput. (8)
- Hist. Math. (8)
- Bull. Symb. Log. (8)
- Ann. Math. (2) (8)
- Bull. Am. Math. Soc. (8)
- Deutsche Math. (8)
- Formaliz. Math. (8)
- Arch. Ration. Mech. Anal. (7)
- Commun. Algebra (7)
- Isr. J. Math. (7)
- Linear Multilinear Algebra (7)
- Math. Mag. (7)
- Čas. Pěstování Mat. (7)
- Compos. Math. (7)
- Czech. Math. J. (7)
- Fundam. Math. (7)
- Mich. Math. J. (7)
- Sib. Math. J. (7)
- Ann. Pure Appl. Logic (7)
- J. Comb. Theory (7)
- Rev. Symb. Log. (7)
- Ukr. Mat. Zh. (6)
- J. Geom. Phys. (6)
- Am. J. Math. (6)
- and 592 more Serials
all
top 5
Year of Publication
- 2024 (39)
- 2023 (39)
- 2022 (55)
- 2021 (65)
- 2020 (33)
- 2019 (49)
- 2018 (34)
- 2017 (19)
- 2016 (37)
- 2015 (25)
- 2014 (22)
- 2013 (34)
- 2012 (26)
- 2011 (20)
- 2010 (24)
- 2009 (16)
- 2008 (23)
- 2007 (30)
- 2006 (18)
- 2005 (20)
- 2004 (18)
- 2003 (21)
- 2002 (16)
- 2001 (24)
- 2000 (16)
- 1999 (10)
- 1998 (19)
- 1997 (24)
- 1996 (28)
- 1995 (20)
- 1994 (14)
- 1993 (15)
- 1992 (13)
- 1991 (17)
- 1990 (22)
- 1989 (15)
- 1988 (22)
- 1987 (19)
- 1986 (15)
- 1985 (22)
- 1984 (22)
- 1983 (20)
- 1982 (19)
- 1981 (16)
- 1980 (16)
- 1979 (13)
- 1978 (13)
- 1977 (11)
- 1976 (10)
- 1975 (8)
- 1974 (8)
- 1973 (5)
- 1972 (8)
- 1971 (10)
- 1970 (50)
- 1969 (116)
- 1968 (117)
- 1967 (137)
- 1966 (109)
- 1965 (108)
- 1964 (99)
- 1963 (74)
- 1962 (56)
- 1961 (63)
- 1960 (79)
- 1959 (55)
- 1958 (63)
- 1957 (27)
- 1956 (28)
- 1955 (54)
- 1954 (57)
- 1953 (43)
- 1952 (36)
- 1951 (38)
- 1950 (27)
- 1949 (30)
- 1948 (16)
- 1947 (16)
- 1946 (15)
- 1945 (9)
- 1944 (22)
- 1943 (10)
- 1942 (15)
- 1941 (20)
- 1940 (38)
- 1939 (29)
- 1938 (4)
- 1937 (1)
- 1933 (1)
- 1886 (1)
- 1885 (3)
- 1884 (1)
- 1883 (4)
- 1881 (1)
- 1880 (1)
- 1879 (3)
- 1878 (2)
- 1877 (3)
- 1876 (3)
- 1875 (2)
- and 6 more Years
all
top 3
Main Field
- 51-XX (426)
- 03-XX (395)
- 53-XX (352)
- 14-XX (284)
- 81-XX (175)
- 01-XX (145)
- 83-XX (114)
- 58-XX (96)
- 74-XX (95)
- 00-XX (93)
- 62-XX (73)
- 46-XX (67)
- 76-XX (66)
- 70-XX (65)
- 15-XX (55)
- 60-XX (55)
- 18-XX (49)
- 12-XX (41)
- 68-XX (37)
- 78-XX (37)
- 06-XX (36)
- 16-XX (36)
- 13-XX (34)
- 05-XX (32)
- 52-XX (31)
- 80-XX (31)
- 82-XX (31)
- 20-XX (29)
- 37-XX (28)
- 08-XX (26)
- 35-XX (26)
- 32-XX (25)
- 11-XX (23)
- 22-XX (23)
- 54-XX (21)
- 57-XX (21)
- 94-XX (19)
- 55-XX (18)
- 26-XX (17)
- 17-XX (13)
- 47-XX (13)
- 97-XX (10)
- 49-XX (8)
- 65-XX (8)
- 28-XX (7)
- 90-XX (7)
- 93-XX (7)
- 92-XX (6)
- 30-XX (5)
- 19-XX (4)
- 34-XX (4)
- 41-XX (3)
- 39-XX (2)
- 85-XX (2)
- 91-XX (2)
- 33-XX (1)
- 43-XX (1)
- 86-XX (1)
all
top 3
Biographic Reference
- Hilbert, David (8)
- Tarski, Alfred (5)
- Frege, Gottlob (4)
- Bolzano, Bernard (1)
- Boole, George (1)
- Boole, Mary Everest (1)
- Brodén, Torsten (1)
- Chasles, Michel (1)
- de Sluse, René-François (1)
- Dodgson, Charles Lutwidge (1)
- Engel, Friedrich (1)
- Euclid of Alexandria (1)
- Gauß, Carl Friedrich (1)
- Graßmann, Hermann Günther (1)
- Graßmann, Robert (1)
- Hamilton, William Rowan (1)
- Hessenberg, Gerhard (1)
- Minkowski, Hermann (1)
- Nelson, Leonard (1)
- Pasch, Moritz (1)
- Pieri, Mario (1)
- Riesz, Frigyes (1)
- Schur, Friedrich (1)
- Skolem, Thoralf (1)
- Strommer, Gyula (1)
- Townsend, Edgar Jerome (1)
- Viète, François (1)
- Voevodskiĭ, Vladimir Aleksandrovich (1)
- Wallis, John (1)
- Wefelscheid, Heinrich (1)
- Weyl, Hermann (1)
all
top 3
Software
- Mizar (8)
- Coq (5)
- Gfan (5)
- Isabelle/HOL (5)
- SINGULAR (5)
- Macaulay2 (4)
- polymake (4)
- OTTER (3)
- Pesca (3)
- ALF (2)
- Archive Formal Proofs (2)
- DynamicPrevariety (2)
- GeoCoq (2)
- Geometer's Sketchpad (2)
- HOL Light (2)
- Prover9 (2)
- SageMath (2)
- Tipi (2)
- ABAQUS (1)
- ADAM (1)
- ANDP (1)
- AS 78 (1)
- ATLANTIS (1)
- Automath (1)
- BayesDA (1)
- Binomials.m2 (1)
- BoolNet (1)
- Cartan (1)
- Cinderella (1)
- Clifford Multivector Toolbox (1)
- Cliffosor (1)
- DRaFT (1)
- GA (1)
- GCLC (1)
- GEX (1)
- Gaigen (1)
- GeoGebra (1)
- Ginsim (1)
- GitHub (1)
- Isabelle (1)
- JGEX (1)
- LamanGraphs (1)
- Magma (1)
- Maple (1)
- Mathematica (1)
- NumPy (1)
- NumericalNP (1)
- Nuprl (1)
- OpenGeoProver (1)
- PESTO (1)
- Python (1)
- QuTiP (1)
- Robotics (1)
- SIAN (1)
- SNOOPY (1)
- Separoids (1)
- Tarskis_Geometry (1)
- TropLi (1)
- UMDES (1)
- cvc3 (1)
- miz3 (1)
- pureBraid.py (1)
- tropical.lib (1)
- z3 (1)