Found 3,837 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
Bernard Bolzano’s system of philosophy. (Bernard Bolzanos System der Philosophie.) (German) Zbl 06936266
Bernard Bolzano-Gesamtausgabe. Einleitungsband 3, 1. Stuttgart-Bad Cannstatt: Frommann-Holzboog Verlag (ISBN 978-3-7728-2659-7/hbk). 424 p. (2024).
Reviewer: Volker Peckhaus (Paderborn)
Equations over Polyhedral Semirings. arXiv:2410.15426
Preprint, arXiv:2410.15426 [math.AG] (2024).
Tropical Weil’s reciprocity law and Weil’s pairing. arXiv:2408.06372
Preprint, arXiv:2408.06372 [math.NT] (2024).
A geometric interpretation of Krull dimensions of \(\boldsymbol{T}\)-algebras. arXiv:2408.02366
Preprint, arXiv:2408.02366 [math.AG] (2024).
Separately regular and separately Nash functions. arXiv:2406.10654
Preprint, arXiv:2406.10654 [math.AG] (2024).
MSC:
14A99
Equivariant vector bundles on toric schemes over semirings. arXiv:2406.06933
Preprint, arXiv:2406.06933 [math.AG] (2024).
Homomorphisms between the semirings of Boolean functions on 1-dimensional tropical fans. arXiv:2405.17982
Preprint, arXiv:2405.17982 [math.AG] (2024).
Projective hypersurfaces in tropical scheme theory I: the Macaulay ideal. arXiv:2405.16338
Preprint, arXiv:2405.16338 [math.AG] (2024).
MSC:
14T10
Finitely generated congruences on tropical rational function semifields. arXiv:2405.14087
Preprint, arXiv:2405.14087 [math.AG] (2024).
Projective Space in Synthetic Algebraic Geometry. arXiv:2405.13916
Preprint, arXiv:2405.13916 [math.AG] (2024).
Grothendieck’s use of equality. arXiv:2405.10387
Preprint, arXiv:2405.10387 [math.AG] (2024).
Zilber’s Trichotomy in Hausdorff Geometric Structures. arXiv:2405.02209
Preprint, arXiv:2405.02209 [math.LO] (2024).
MSC:
14A99
A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals. arXiv:2404.10937
Preprint, arXiv:2404.10937 [math.AC] (2024).
Residue Structures. arXiv:2403.09467
Preprint, arXiv:2403.09467 [math.RA] (2024).
Extremal decompositions of tropical varieties and relations with rigidity theory. arXiv:2403.00655
Preprint, arXiv:2403.00655 [math.AG] (2024).
Geometry of Mechanics. arXiv:2401.12650
Preprint, arXiv:2401.12650 [math-ph] (2024).
MSC:
53B20
53B21
53D05
53D10
53D20
53D22
53Z05
58A30
70A05
70F20
70F25
70G10
70G45
70G65
70G75
70H03
70H05
70H15
70H20
70H25
70H33
The volume polynomial of lattice polygons. arXiv:2401.06111
Preprint, arXiv:2401.06111 [math.AG] (2024).
Logarithmic adic spaces: some foundational results. (English) Zbl 07912265
Bhatt, Bhargav (ed.) et al., \(p\)-adic Hodge theory, singular varieties, and non-abelian aspects. Proceedings of the Simons symposium 2019. Cham: Springer. Simons Symp., 65-182 (2023).
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)
The single intuition of a move of time. (English) Zbl 07814253
Papadopoulos, Athanase (ed.), Essays in geometry. Dedicated to Norbert A’Campo. Berlin: European Mathematical Society. IRMA Lect. Math. Theor. Phys. 34, 871-882 (2023).
Reviewer: Martin Lukarevski (Štip)
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)
Symplectic foliation transverse structure and Libermann foliation of heat theory and information geometry. (English) Zbl 1534.53069
Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 152-164 (2023).
Polysymplectic Souriau Lie group thermodynamics and entropy geometric structure as Casimir invariant function. (English) Zbl 1537.37072
Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 134-143 (2023).
Polysymplectic Souriau Lie group thermodynamics and the geometric structure of its coadjoint orbits. (English) Zbl 1537.37071
Nielsen, Frank (ed.) et al., Geometric science of information. 6th international conference, GSI 2023, St. Malo, France, August 30 – September 1, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14072, 124-133 (2023).
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
Topological characterization of contractible 3-manifolds with positive scalar curvature. (English) Zbl 1526.53002
Gromov, Mikhail L. (ed.) et al., Perspectives in scalar curvature. Vol. 2. Singapore: World Scientific. 313-321 (2023).
Reviewer: Daniele Ettore Otera (Vilnius)
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
Electromagnetics, control and robotics. A problems & solutions approach. (English) Zbl 1515.78001
Boca Raton, FL: CRC Press; New Delhi: Manakin Press (ISBN 978-1-032-38433-7/hbk; 978-1-032-38435-1/pbk; 978-1-003-34504-6/ebook). viii, 614 p. (2023).
Dynamical tropicalisation. (English) Zbl 1518.37085
Filter Results by …
Document Type
- Journal Articles (2,888)
- Collection Articles (360)
- Books (509)
- arXiv Preprints (80)
all
top 5
Author
- Pambuccian, Victor V. (52)
- Szász, Paul (33)
- Havel, Václav J. (30)
- Benz, Walter (29)
- Ostrom, Theodore G. (26)
- Karzel, Helmut (24)
- Lenz, Hanfried (22)
- Bachmann, Friedrich (20)
- Dembowski, Peter (20)
- Pickert, Günter (20)
- Lombardo-Radice, Lucio (19)
- Lüneburg, Heinz (18)
- Freudenthal, Hans (16)
- Neumann, Maria (16)
- Dubikajtis, Lech (15)
- Lingenberg, Rolf (15)
- Perron, Oskar (15)
- Salzmann, Helmut (15)
- Barlotti, Adriano (14)
- Demey, Lorenz (14)
- Hjelmslev, Johannes (14)
- Hughes, Daniel R. (14)
- Shafarevich, Igor’ Rostislavovich (14)
- Cofman, Judita (13)
- Rowen, Louis Halle (13)
- Tits, Jacques (13)
- André, Johannes (12)
- Fladt, Kuno (12)
- Klingenberg, Wilhelm P. A. (12)
- Rosati, Luigi Antonio (12)
- Segre, Beniamino (12)
- Kerékjártó, Béla (11)
- Kustaanheimo, Paul Edwin (11)
- Coxeter, Harold Scott MacDonald (10)
- Piper, Frederick Charles (10)
- Sandler, Reuben (10)
- Strambach, Karl (10)
- Bottema, Oene (9)
- Grothendieck, Alexander (9)
- Izhakian, Zur (9)
- Pillay, Anand (9)
- Plotkin, Boris (9)
- Szmielew, Wanda (9)
- Tarski, Alfred (9)
- Artzy, Rafael (8)
- Baer, Reinhold (8)
- Bilinski, Stanko (8)
- Epstein, Marcelo (8)
- Ewald, Günter (8)
- Gemignani, Michael C. (8)
- Gerla, Giangiacomo (8)
- Gusciora, Henryk (8)
- Halperin, Israel (8)
- Knebusch, Manfred (8)
- Panella, Gianfranco (8)
- Schilling, Friedrich (8)
- Smessaert, Hans (8)
- Sperner, Emanuel (8)
- Veldkamp, Ferdinand Douwe (8)
- Yaqub, Jill C. D. S. (8)
- Zappa, Guido (8)
- Beeson, Michael J. (7)
- Bica, Maria (7)
- Bompiani, Enrico (7)
- Bruck, Richard Hubert (7)
- Busulini, Franca (7)
- Coghetto, Roland (7)
- Dieudonné, Jean (7)
- Dress, Andreas W. M. (7)
- Ellers, Erich Werner (7)
- Gaubert, Stéphane (7)
- Hilbert, David (7)
- Jun, Jaiung (7)
- Marsden, Jerrold Eldon (7)
- Schwabhäuser, Wolfram (7)
- Strommer, Gyula (7)
- Suppes, Patrick (7)
- Van Buggenhaut, Jean (7)
- Vetterlein, Thomas (7)
- Wagner, Alan S. (7)
- Zilber, Boris I. (7)
- Bernays, Paul (6)
- Blanuša, Danilo (6)
- Cassina, Ugo (6)
- Ceccherini, Pier Vittorio (6)
- de León Rodríguez, Manuel (6)
- Edge, William Leonard (6)
- Fasel, Jean (6)
- Fejes Tóth, László (6)
- Fulton, Curtis M. (6)
- Glock, Erich (6)
- Iden, Oddvar (6)
- Kárteszi, Ferenc (6)
- Kondo, Kazuo (6)
- Maclagan, Diane (6)
- Marriott, Paul (6)
- Martin, George E. (6)
- Maslov, Viktor Pavlovich (6)
- Mäurer, Helmut (6)
- McLarty, Colin (6)
- and 2,741 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)
- Deutsche Math. (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)
- Grundlehren Math. Wiss. (8)
- Lect. Notes 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)
- and 709 more Serials
all
top 5
Year of Publication
- 2024 (56)
- 2023 (63)
- 2022 (69)
- 2021 (96)
- 2020 (57)
- 2019 (61)
- 2018 (56)
- 2017 (38)
- 2016 (46)
- 2015 (45)
- 2014 (36)
- 2013 (50)
- 2012 (45)
- 2011 (31)
- 2010 (43)
- 2009 (28)
- 2008 (41)
- 2007 (44)
- 2006 (29)
- 2005 (27)
- 2004 (27)
- 2003 (26)
- 2002 (33)
- 2001 (38)
- 2000 (25)
- 1999 (27)
- 1998 (30)
- 1997 (38)
- 1996 (42)
- 1995 (38)
- 1994 (25)
- 1993 (20)
- 1992 (22)
- 1991 (19)
- 1990 (33)
- 1989 (27)
- 1988 (33)
- 1987 (31)
- 1986 (24)
- 1985 (32)
- 1984 (44)
- 1983 (32)
- 1982 (27)
- 1981 (22)
- 1980 (25)
- 1979 (22)
- 1978 (23)
- 1977 (18)
- 1976 (12)
- 1975 (18)
- 1974 (19)
- 1973 (9)
- 1972 (18)
- 1971 (15)
- 1970 (53)
- 1969 (121)
- 1968 (130)
- 1967 (173)
- 1966 (114)
- 1965 (114)
- 1964 (103)
- 1963 (77)
- 1962 (90)
- 1961 (72)
- 1960 (88)
- 1959 (74)
- 1958 (84)
- 1957 (33)
- 1956 (36)
- 1955 (63)
- 1954 (62)
- 1953 (49)
- 1952 (45)
- 1951 (45)
- 1950 (31)
- 1949 (38)
- 1948 (23)
- 1947 (20)
- 1946 (17)
- 1945 (12)
- 1944 (24)
- 1943 (13)
- 1942 (19)
- 1941 (22)
- 1940 (41)
- 1939 (35)
- 1938 (6)
- 1937 (1)
- 1933 (1)
- 1932 (1)
- 1924 (1)
- 1886 (1)
- 1885 (3)
- 1884 (1)
- 1883 (4)
- 1882 (1)
- 1881 (1)
- 1880 (1)
- 1879 (3)
- 1878 (2)
- and 9 more Years
all
top 3
Main Field
- 03-XX (648)
- 51-XX (587)
- 53-XX (537)
- 14-XX (495)
- 01-XX (287)
- 81-XX (241)
- 00-XX (230)
- 58-XX (190)
- 83-XX (167)
- 74-XX (135)
- 70-XX (101)
- 46-XX (99)
- 62-XX (99)
- 18-XX (87)
- 60-XX (85)
- 13-XX (80)
- 76-XX (79)
- 15-XX (78)
- 68-XX (77)
- 12-XX (67)
- 11-XX (65)
- 16-XX (63)
- 52-XX (53)
- 78-XX (51)
- 06-XX (50)
- 80-XX (50)
- 57-XX (47)
- 37-XX (46)
- 20-XX (45)
- 22-XX (45)
- 82-XX (45)
- 54-XX (42)
- 05-XX (41)
- 26-XX (37)
- 35-XX (36)
- 94-XX (36)
- 08-XX (35)
- 32-XX (35)
- 55-XX (33)
- 17-XX (21)
- 97-XX (19)
- 47-XX (18)
- 28-XX (17)
- 49-XX (16)
- 93-XX (12)
- 19-XX (11)
- 90-XX (11)
- 65-XX (10)
- 92-XX (9)
- 30-XX (6)
- 85-XX (6)
- 34-XX (5)
- 91-XX (5)
- 33-XX (4)
- 31-XX (3)
- 41-XX (3)
- 39-XX (2)
- 40-XX (1)
- 43-XX (1)
- 44-XX (1)
- 86-XX (1)
all
top 3
Biographic Reference
- Hilbert, David (12)
- Tarski, Alfred (8)
- Frege, Gottlob (5)
- Poincaré, Henri (5)
- Pieri, Mario (3)
- Weyl, Hermann (3)
- Bolzano, Bernard (2)
- Brodén, Torsten (2)
- Euclid of Alexandria (2)
- Hessenberg, Gerhard (2)
- Minkowski, Hermann (2)
- Schur, Friedrich (2)
- Wallis, John (2)
- Ackermann, Wilhelm (1)
- Aristotle (1)
- Bergson, Henri (1)
- Boole, George (1)
- Boole, Mary Everest (1)
- Bourbaki, Nicolas (1)
- Brouwer, Luitzen Egbertus Jan (1)
- Carathéodory, Constantin (1)
- Chasles, Michel (1)
- Couturat, Louis (1)
- de Sluse, René-François (1)
- Dodgson, Charles Lutwidge (1)
- Einstein, Albert (1)
- Engel, Friedrich (1)
- Enriques, Federigo (1)
- Eudoxus of Cnidus (1)
- Everett, Hugh III (1)
- Gauß, Carl Friedrich (1)
- Gödel, Kurt (1)
- Graßmann, Hermann Günther (1)
- Graßmann, Robert (1)
- Hamilton, William Rowan (1)
- Hertz, Heinrich (1)
- Hobbes, Thomas (1)
- Husserl, Edmund (1)
- Klein, Felix (1)
- Leibniz, Gottfried Wilhelm (1)
- Makkai, Michael (1)
- Manders, Kenneth Lawrence (1)
- Nagano, Tadashi (1)
- Nelson, Leonard (1)
- Pasch, Moritz (1)
- Peano, Giuseppe (1)
- Riesz, Frigyes (1)
- Russell, Bertrand (1)
- Skolem, Thoralf (1)
- Strommer, Gyula (1)
- Townsend, Edgar Jerome (1)
- Treder, Hans-Jürgen (1)
- Viète, François (1)
- Voevodskiĭ, Vladimir Aleksandrovich (1)
- von Helmholtz, Hermann (1)
- Wefelscheid, Heinrich (1)
all
top 3
Software
- Mizar (8)
- Gfan (7)
- Coq (5)
- Isabelle/HOL (5)
- Macaulay2 (5)
- OTTER (5)
- SINGULAR (5)
- SageMath (5)
- polymake (5)
- Pesca (3)
- ALF (2)
- Archive Formal Proofs (2)
- DRaFT (2)
- DynamicPrevariety (2)
- GeoCoq (2)
- Geometer's Sketchpad (2)
- HOL Light (2)
- Mathematica (2)
- Prover9 (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)
- CoCoA (1)
- DEMiCs (1)
- GA (1)
- GCLC (1)
- GEX (1)
- Gaigen (1)
- GeoGebra (1)
- Ginsim (1)
- GitHub (1)
- Isabelle (1)
- JGEX (1)
- Julia (1)
- LERS (1)
- LamanGraphs (1)
- MACSYMA (1)
- MSC (1)
- Magma (1)
- Maple (1)
- MixedVol (1)
- NumPy (1)
- NumericalNP (1)
- Nuprl (1)
- OpenGeoProver (1)
- PESTO (1)
- PHCpack (1)
- PHOTOS (1)
- PPL (1)
- Python (1)
- QPL (1)
- QuTiP (1)
- R (1)
- Robotics (1)
- SIAN (1)
- SNOOPY (1)
- Separoids (1)
- TContinuumMechanics (1)
- Tarskis_Geometry (1)
- TropLi (1)
- UMDES (1)
- VolEsti (1)
- VortexCalculations (1)
- cvc3 (1)
- lattice_polytope (1)
- miz3 (1)
- polyhedra (1)
- pureBraid.py (1)
- tropical.lib (1)
- z3 (1)