Found 2,862 Documents (Results 1–100)
Non-Archimedean resonances of Łojasiewicz inequalities. (English) Zbl 07928451
Eyral, Christophe (ed.) et al., GKLW-workshop in singularity theory in memory of Stanisław Łojasiewicz. Selected papers, Warsaw, Poland, December 2022. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 128, 153-166 (2024).
A note on Carnot’s theorem. (English) Zbl 07923745
A course in real algebraic geometry. Positivity and sums of squares. (English) Zbl 07921084
Graduate Texts in Mathematics 303. Cham: Springer (ISBN 978-3-031-69212-3/hbk; 978-3-031-69213-0/ebook). xviii, 404 p. (2024).
Geometry on surfaces, a source for mathematical developments. (English) Zbl 07918839
Papadopoulos, Athanase (ed.), Surveys in geometry II. Cham: Springer. 7-70 (2024).
Introduction. (English) Zbl 07918838
Papadopoulos, Athanase (ed.), Surveys in geometry II. Cham: Springer. 1-6 (2024).
MSC:
12D10
14H55
20B25
26C10
30F10
30F20
20F55
30F30
30F60
32G15
51F20
51F15
51M35
53A35
53D30
53C70
57K10
Marie-Françoise Roy. (English) Zbl 07918761
Studying the upper bounds of the numbers of zeros of abelian integrals by the law of polynomials. (English) Zbl 07916706
Algebraic versions of Hartogs’ theorem. (English) Zbl 07916671
Reviewer: Fujita Masato (Kure)
Forms of almost homogeneous varieties over perfect fields. (Formes de variétés presque homogènes sur des corps parfaits.) (English. French summary) Zbl 07914798
On a quadratic transformation. (English) Zbl 07907990
Estimates for the number of limit cycles of the planar polynomial differential systems with homogeneous nonlinearities. (English) Zbl 07893972
Reviewer: Amel Boulfoul (Skikda)
Phase portraits of a class of cubic systems with an ellipse and a straight line as invariant algebraic curves. (English) Zbl 07878132
Monodromy problem and tangential center-focus problem for products of lines in general position in \(\mathbb{P}^2\). (English) Zbl 07877198
Twin quadratic polynomial vector fields in the space \(\mathbb{C}^3\). (English) Zbl 07875573
Reviewer: Maite Grau (Lleida)
The cyclicity of a class of quadratic reversible systems with hyperelliptic curves. (English) Zbl 07863177
Reviewer: Joan C. Artés (Barcelona)
Sums of squares, Hankel index and almost real rank. (English) Zbl 07862237
Reviewer: Simone Naldi (Limoges)
The Pinchuk example revisited. (L’exemple de Pinchuk revisité.) (English. French summary) Zbl 1541.14085
Reviewer: Roland Rabanal (Lima)
The tensor Harish-Chandra-Itzykson-Zuber integral. I: Weingarten calculus and a generalization of monotone Hurwitz numbers. (English) Zbl 07855098
On full asymptotics of real analytic torsions for compact locally symmetric orbifolds. (English) Zbl 07852591
Pseudo-abelian integrals and divergence integrals on slow-fast model system. (English) Zbl 1541.34054
Reviewer: Maite Grau (Lleida)
Counting real roots in polynomial-time via Diophantine approximation. (English) Zbl 1537.14081
Reviewer: Vladimir P. Kostov (Nice)
3d super hyperbolic geometry. (English) Zbl 07825734
Sum of squares decomposition of positive polynomials with rational coefficients. (English) Zbl 1541.14082
Reviewer: Jose Capco (Linz)
The limit cycle bifurcations of a whirling pendulum with piecewise smooth perturbations. (English) Zbl 07815387
Surveys in geometry II. (English) Zbl 1537.51001
Cham: Springer (ISBN 978-3-031-43509-6/pbk; 978-3-031-43510-2/ebook). x, 393 p. (2024).
Real algebraic geometry and optimization. (English) Zbl 1540.14001
Graduate Studies in Mathematics 241. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-7431-7/hbk; 978-1-4704-7636-6/pbk; 978-1-4704-7635-9/ebook). xv, 293 p. (2024).
Reviewer: Hirokazu Nishimura (Tsukuba)
Extreme area and perimeter bisectors in a triangle. (English) Zbl 1535.51026
Reviewer: Cătălin Barbu (Bačau)
Bounding the signed count of real bitangents to plane quartics. (English) Zbl 1534.14032
Reviewer: Jaewoo Jung (Daejeon)
Local CR-diffeomorphisms of CR-quadrics of codimension two. I: Standard Hermitian quadrics. (English) Zbl 1539.32012
Reviewer: Gerd Schmalz (Armidale)
Linear slices of hyperbolic polynomials and positivity of symmetric polynomial functions. (English) Zbl 1536.05468
On real analogues of the Poincaré series. (English) Zbl 1530.14005
Reviewer: Vladimir P. Kostov (Nice)
On van Lamoen’s theorem. (English) Zbl 1538.51009
Dominating real algebraic morphisms. (English) Zbl 1519.14054
Reviewer: Fujita Masato (Kure)
Intrinsic complexification of real-analytic varieties. arXiv:2409.13127
Preprint, arXiv:2409.13127 [math.CV] (2024).
The Geometry of Locally Bounded Rational Functions. arXiv:2409.04232
Preprint, arXiv:2409.04232 [math.AG] (2024).
Relative Stone-Weierstrass theorem for mappings between varieties. arXiv:2408.09233
Preprint, arXiv:2408.09233 [math.AG] (2024).
MSC:
14P99
Local geometry of feasible regions via smooth paths. arXiv:2408.06984
Preprint, arXiv:2408.06984 [math.OC] (2024).
Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums. arXiv:2408.04616
Preprint, arXiv:2408.04616 [math.AG] (2024).
Approximation of maps between real algebraic varieties. arXiv:2407.15456
Preprint, arXiv:2407.15456 [math.AG] (2024).
WITHDRAWN: Shafarevich-Tate groups of holomorphic Lagrangian fibrations II. arXiv:2407.09178
Preprint, arXiv:2407.09178 [math.AG] (2024); retraction notice ibid.
Nonnegative Polynomials and Moment Problems on Algebraic Curves. arXiv:2407.06017
Preprint, arXiv:2407.06017 [math.AG] (2024).
Some remarks on real minimal nilpotent orbits and symmetric pairs. arXiv:2407.00675
Preprint, arXiv:2407.00675 [math.RT] (2024).
Certaines fibrations en surfaces quadriques réelles. arXiv:2406.00463
Preprint, arXiv:2406.00463 [math.AG] (2024).
Monge-Ampère equation, hyperkähler structure and adapted complex structure. arXiv:2405.13287
Preprint, arXiv:2405.13287 [math.DG] (2024).
\(\mathcal{K}\)-Lorentzian Polynomials. arXiv:2405.12973
Preprint, arXiv:2405.12973 [math.AG] (2024).
On Infinitesimal \(\tau\)-Isospectrality of Locally Symmetric Spaces. arXiv:2405.09847
Preprint, arXiv:2405.09847 [math.RT] (2024).
Non stable rationality of projective approximations for classifying spaces. arXiv:2405.06935
Preprint, arXiv:2405.06935 [math.AG] (2024).
To the isotopy classification of Morse polynomials of degree 3 in \({\mathbb R}^3\). arXiv:2404.17891
Preprint, arXiv:2404.17891 [math.AT] (2024).
Some Lower Bounds on the Reach of an Algebraic Variety. arXiv:2402.15649
Preprint, arXiv:2402.15649 [math.AG] (2024).
Semialgebraicity of the convergence domain of an algebraic power series. arXiv:2402.07524
Preprint, arXiv:2402.07524 [math.CV] (2024).
Polyarc bounded complex interval arithmetic. arXiv:2402.06430
Preprint, arXiv:2402.06430 [math.NA] (2024).
Surfaces with central configuration and Dulac’s problem for a three dimensional isolated Hopf singularity. arXiv:2401.16484
Preprint, arXiv:2401.16484 [math.DS] (2024).
Rigidity of locally symmetric rank one manifolds of infinite volume. arXiv:2401.04104
Preprint, arXiv:2401.04104 [math.GT] (2024).
Limit cycles from perturbed center on the invariant algebraic surface of unified Lorenz-type system. (English) Zbl 07848395
Estimating the number of zeros of abelian integrals for the perturbed cubic \(Z_4\)-equivariant planar Hamiltonian system. (English) Zbl 07847369
The quadrilateral coordinated with a circle that forms Pascal points and its properties. (English) Zbl 1543.51014
Reviewer: Cătălin Barbu (Bačau)
Complex Weyl symbols of metaplectic operators: an elementary approach. (English) Zbl 1540.22024
Reviewer: Nicolae Cotfas (Bucureşti)
Some aspects of rational points and rational curves. (English) Zbl 1533.11123
Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 3. Sections 1–4. Berlin: European Mathematical Society (EMS). 2346-2368 (2023).
Locus curves in triangle families. (English) Zbl 1535.51017
Reviewer: Cătălin Barbu (Bačau)
Spaces over algebras with Euclidean metric. (English. Russian original) Zbl 07798716
J. Math. Sci., New York 276, No. 3, 360-365 (2023); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 179, 10-15 (2020).
Cardinality of order intervals in linear lattices and of their sets of extreme points. (English) Zbl 07797581
Geodesic flow on an intersection of several confocal quadrics in \(\mathbb{R}^n\). (English. Russian original) Zbl 1543.37058
Sb. Math. 214, No. 7, 897-918 (2023); translation from Mat. Sb. 214, No. 7, 3-26 (2023).
Reviewer: Milena Radnović (Sydney)
Volumes of sublevel sets of nonnegative forms and complete monotonicity. (English) Zbl 1532.14097
Reviewer: Jaewoo Jung (Daejeon)
A connection between cut locus, Thom space and Morse-Bott functions. (English) Zbl 1534.53021
Reviewer: Irina Gelbukh (Ciudad de México)
On the smallest area \((n-1)\)-gon containing a convex \(n\)-gon. (English) Zbl 07773839
Reviewer: Robert W. van der Waall (Huizen)
Conformally covariant differential symmetry breaking operators for a vector bundle of rank 3 on \(S^3\). (English) Zbl 1535.22046
Reviewer: Chao-Ping Dong (Changsha)
Geometric analysis on real analytic manifolds. (English) Zbl 1529.32001
Lecture Notes in Mathematics 2333. Cham: Springer (ISBN 978-3-031-37912-3/pbk; 978-3-031-37913-0/ebook). xv, 314 p. (2023).
Globally trace-positive noncommutative polynomials and the unbounded tracial moment problem. (English) Zbl 1531.13020
Reviewer: Lorenzo Baldi (Paris)
New directions in real algebraic geometry. Abstracts from the workshop held March 19–24, 2023. (English) Zbl 1525.00012
Real algebraic geometry with a view toward Koopman operator methods. Abstracts from the workshop held March 12–17, 2023. (English) Zbl 1525.00020
MSC:
00B05
00B25
14-06
14Pxx
12D15
13J30
14M12
14Q30
37M25
44A60
46N10
47A57
49M29
49N35
52A20
52A27
52A41
90C22
90C25
90C26
93B28
Expressive curves. (English) Zbl 1525.14038
Reviewer: Jose Capco (Linz)
On a link criterion for Lipschitz normal embeddings among definable sets. (English) Zbl 1532.14022
Reviewer: Mihai-Marius Tibar (Lille)
Cyclicity of period annulus for a class of quadratic reversible systems with a nonrational first integral. (English) Zbl 1535.34032
Reviewer: Joan C. Artés (Barcelona)
Essays in geometry. Dedicated to Norbert A’Campo. (English) Zbl 1519.57002
IRMA Lectures in Mathematics and Theoretical Physics 34. Berlin: European Mathematical Society (ISBN 978-3-98547-024-2/hbk; 978-3-98547-524-7/ebook). x, 1018 p. (2023).
MSC:
57-06
58-06
53-06
14-06
32-06
00B15
00B30
01-02
01-06
01A70
14B05
34M35
57K20
57R45
32S05
32S55
57K12
57R17
57K30
57K45
00A30
57K10
58K30
51M15
53C70
Filter Results by …
Document Type
- Journal Articles (2,138)
- Collection Articles (333)
- Books (262)
- arXiv Preprints (129)
all
top 5
Author
- Kucharz, Wojciech (44)
- Bochnak, Jacek (32)
- Llibre, Jaume (30)
- Li, Chengzhi (25)
- Scheiderer, Claus (23)
- Tognoli, Alberto (23)
- Ruiz, Jesús M. (21)
- Sottile, Frank (21)
- Gamboa Mutuberria, José Manuel (19)
- Ballico, Edoardo (18)
- Knebusch, Manfred (17)
- Zhao, Yulin (17)
- Blekherman, Grigoriy (16)
- Dicuonzo, Vincenzo (16)
- Liu, Changjian (16)
- Roy, Marie-Françoise (16)
- Valls Anglés, Cláudia (16)
- Coste, Michel (15)
- Biswas, Indranil (14)
- Cahen, Benjamin (14)
- Fichou, Goulwen (14)
- Shiota, Masahiro (14)
- Andradas, Carlos (13)
- Silhol, Robert (13)
- Viro, Oleg Ya. (13)
- Kharlamov, Viatcheslav M. (12)
- Monnier, Jean-Philippe (12)
- Risler, Jean-Jacques (12)
- Bröcker, Ludwig (11)
- Delfs, Hans (11)
- Efroymson, Gustave A. (11)
- Gasull, Armengol (11)
- Natanzon, Sergei M. (11)
- Schwartz, Niels (11)
- Zangeneh, Hamid R. Z. (11)
- Zhao, Liqin (11)
- Akbulut, Selman (10)
- Asheghi, Rasoul (10)
- Benedetti, Riccardo (10)
- Helton, John William (10)
- Jurkin, Ema (10)
- King, Henry C. (10)
- Kobayashi, Toshiyuki (10)
- Novikov, Dmitry (10)
- Pamfilos, Paris (10)
- Raimondo, Mario (10)
- Broglia, Fabrizio (9)
- Dubois, Donald W. (9)
- Gavrilov, Lubomir (9)
- Huisman, Johannes (9)
- Iliev, Iliya Dimov (9)
- Kimberling, Clark H. (9)
- Krasnov, Vyacheslav Alekseevich (9)
- Kurdyka, Krzysztof (9)
- Recio, Tomas (9)
- Schülting, Heinz-Werner (9)
- Shustin, Eugenii Isaakovich (9)
- Theobald, Thorsten (9)
- Tibăr, Mihai-Marius (9)
- Arnon, Dennis S. (8)
- Becker, Eberhard (8)
- Colliot-Thélène, Jean-Louis (8)
- Hà Huy Vui (8)
- Kuhlmann, Salma (8)
- Parusiński, Adam (8)
- Quarez, Ronan (8)
- Sommese, Andrew John (8)
- Wolf, Joseph Albert (8)
- Yakovenko, Sergei (8)
- Yang, Jihua (8)
- Alonso García, María Emilia (7)
- Bobieński, Marcin (7)
- Cimprič, Jaka (7)
- Han, Maoan (7)
- Kazemi, Rasool (7)
- Lam, Tsit-Yuen (7)
- Mahé, Louis (7)
- Mardešić, Pavao (7)
- McCallum, Scott (7)
- McCullough, Scott A. (7)
- Riener, Cordian (7)
- Stachel, Hellmuth (7)
- Sun, Xianbo (7)
- van den Dries, Lou (7)
- Xiao, Dongmei (7)
- Yu, Jiang (7)
- Zhang, Tonghua (7)
- Zhang, Zhifen (7)
- Atabaigi, Ali (6)
- Basu, Saugata (6)
- Benz, Walter (6)
- Brumfiel, Gregory W. (6)
- Coghetto, Roland (6)
- Coppens, Marc (6)
- de Wolff, Timo (6)
- Fernandes, Alexandre Cesar Gurgel (6)
- Fernando, José F. (6)
- Fukui, Toshizumi (6)
- Grandjean, Vincent (6)
- Hajja, Mowaffaq (6)
- and 2,327 more Authors
all
top 5
Serial
- Math. Z. (40)
- Rocky Mt. J. Math. (39)
- J. Differ. Equations (37)
- Math. Ann. (37)
- Proc. Am. Math. Soc. (32)
- C. R. Acad. Sci., Paris, Sér. I (30)
- J. Pure Appl. Algebra (29)
- Trans. Am. Math. Soc. (29)
- J. Reine Angew. Math. (28)
- Invent. Math. (27)
- J. Symb. Comput. (27)
- Manuscr. Math. (26)
- J. Geom. (24)
- Pac. J. Math. (24)
- Bull. Sci. Math. (21)
- Int. J. Geom. (21)
- Commun. Algebra (18)
- J. Algebra (18)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (18)
- Am. Math. Mon. (17)
- Ann. Inst. Fourier (17)
- Compos. Math. (17)
- Funct. Anal. Appl. (16)
- Sov. Math., Dokl. (16)
- Adv. Math. (15)
- J. Geom. Graph. (15)
- J. Math. Anal. Appl. (14)
- Geom. Dedicata (14)
- Lect. Notes Math. (14)
- Math. Notes (13)
- Am. J. Math. (13)
- Duke Math. J. (13)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (13)
- Aequationes Math. (13)
- Mosc. Math. J. (13)
- Nonlinearity (12)
- Russ. Math. Surv. (12)
- Arch. Math. (12)
- Oberwolfach Rep. (12)
- Ann. Univ. Ferrara, Nuova Ser., Sez. VII (11)
- Bull. Lond. Math. Soc. (11)
- Comment. Math. Helv. (11)
- KoG (11)
- Forum Geom. (11)
- J. Geom. Phys. (10)
- Discrete Contin. Dyn. Syst. (10)
- Ann. Math. (2) (10)
- Adv. Geom. (10)
- C. R., Math., Acad. Sci. Paris (10)
- C. R. Acad. Sci., Paris, Sér. A (10)
- Rend. Mat., VI. Ser. (10)
- Chaos Solitons Fractals (9)
- Beitr. Algebra Geom. (9)
- Ann. Mat. Pura Appl. (4) (9)
- Can. Math. Bull. (9)
- J. Lond. Math. Soc., II. Ser. (9)
- Int. J. Math. (9)
- Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. (9)
- Bull. Am. Math. Soc., New Ser. (9)
- Int. J. Math. Educ. Sci. Technol. (8)
- Ann. Pol. Math. (8)
- Indiana Univ. Math. J. (8)
- J. Funct. Anal. (8)
- Math. USSR, Izv. (8)
- C. R. Math. Acad. Sci., Soc. R. Can. (8)
- Discrete Comput. Geom. (8)
- Int. Math. Res. Not. (8)
- Linear Algebra Appl. (8)
- J. Math. Sci., New York (8)
- Qual. Theory Dyn. Syst. (8)
- Math. Proc. Camb. Philos. Soc. (7)
- Math. Mag. (7)
- Can. J. Math. (7)
- Kodai Math. J. (7)
- Math. Nachr. (7)
- Proc. Japan Acad., Ser. A (7)
- Proc. Lond. Math. Soc. (3) (7)
- Coll. Math. J. (7)
- J. Math. Phys. (6)
- Math. Semesterber. (6)
- Rev. Roum. Math. Pures Appl. (6)
- Usp. Mat. Nauk (6)
- Bull. Soc. Math. Fr. (6)
- J. Math. Soc. Japan (6)
- Monatsh. Math. (6)
- Proc. R. Soc. Edinb., Sect. A, Math. (6)
- Exp. Math. (6)
- J. Lie Theory (6)
- J. Dyn. Control Syst. (6)
- Contemp. Math. (6)
- Formaliz. Math. (6)
- J. Appl. Anal. Comput. (6)
- Quart. J. (6)
- Commun. Math. Phys. (5)
- Ann. Sci. Éc. Norm. Supér. (4) (5)
- Ill. J. Math. (5)
- J. Differ. Geom. (5)
- Math. Scand. (5)
- Osaka J. Math. (5)
- Sitzungsber., Abt. II, Österr. Akad. Wiss., Math.-Naturwiss. Kl. (5)
- and 533 more Serials
all
top 5
Year of Publication
- 2025 (2)
- 2024 (69)
- 2023 (86)
- 2022 (83)
- 2021 (71)
- 2020 (61)
- 2019 (64)
- 2018 (57)
- 2017 (74)
- 2016 (57)
- 2015 (60)
- 2014 (60)
- 2013 (71)
- 2012 (55)
- 2011 (72)
- 2010 (53)
- 2009 (59)
- 2008 (57)
- 2007 (59)
- 2006 (50)
- 2005 (69)
- 2004 (38)
- 2003 (48)
- 2002 (44)
- 2001 (39)
- 2000 (39)
- 1999 (34)
- 1998 (29)
- 1997 (21)
- 1996 (26)
- 1995 (38)
- 1994 (31)
- 1993 (29)
- 1992 (25)
- 1991 (19)
- 1990 (39)
- 1989 (56)
- 1988 (80)
- 1987 (64)
- 1986 (79)
- 1985 (58)
- 1984 (96)
- 1983 (59)
- 1982 (82)
- 1981 (47)
- 1980 (49)
- 1979 (35)
- 1978 (47)
- 1977 (42)
- 1976 (23)
- 1975 (41)
- 1974 (36)
- 1973 (23)
- 1972 (19)
- 1971 (6)
- 1970 (5)
- 1969 (5)
- 1968 (1)
- 1965 (1)
- 1962 (1)
- 1961 (2)
- 1959 (1)
- 1958 (2)
- 1957 (2)
- 1952 (1)
- 1914 (1)
- 1899 (1)
- 1889 (1)
- 1885 (5)
- 1884 (29)
- 1883 (3)
- 1882 (5)
- 1881 (1)
- 1880 (3)
- 1879 (2)
- 1878 (4)
- 1877 (7)
- 1876 (1)
- 1875 (1)
- 1874 (6)
- 1873 (8)
- 1870 (7)
- 1869 (6)
- 1868 (20)
all
top 3
Main Field
- 14-XX (1,550)
- 51-XX (646)
- 32-XX (620)
- 53-XX (402)
- 34-XX (312)
- 22-XX (256)
- 12-XX (244)
- 58-XX (243)
- 26-XX (238)
- 57-XX (188)
- 11-XX (184)
- 13-XX (162)
- 37-XX (160)
- 52-XX (145)
- 15-XX (104)
- 00-XX (103)
- 30-XX (94)
- 03-XX (88)
- 68-XX (85)
- 46-XX (84)
- 55-XX (71)
- 05-XX (58)
- 81-XX (58)
- 65-XX (57)
- 90-XX (55)
- 43-XX (50)
- 20-XX (48)
- 35-XX (41)
- 01-XX (32)
- 16-XX (28)
- 17-XX (27)
- 54-XX (27)
- 97-XX (27)
- 47-XX (26)
- 33-XX (24)
- 28-XX (19)
- 18-XX (17)
- 44-XX (17)
- 93-XX (17)
- 41-XX (14)
- 42-XX (14)
- 49-XX (14)
- 70-XX (14)
- 83-XX (14)
- 60-XX (12)
- 06-XX (10)
- 39-XX (10)
- 62-XX (10)
- 19-XX (8)
- 31-XX (7)
- 92-XX (6)
- 94-XX (6)
- 91-XX (5)
- 82-XX (4)
- 40-XX (3)
- 08-XX (2)
- 76-XX (2)
- 78-XX (1)
- 80-XX (1)
- 85-XX (1)
all
top 3
Biographic Reference
- Dubois, Donald W. (2)
- A’Campo, Norbert (1)
- Bereis, Rudolf (1)
- Geise, Gerhard (1)
- Marshall, Murray Angus (1)
- Mond, David Michael Quentin (1)
- Roy, Marie-Françoise (1)
all
top 3
Software
- SINGULAR (17)
- Maple (11)
- ISOLATE (7)
- PHCpack (7)
- Matlab (6)
- Mizar (6)
- FGb (5)
- GloptiPoly (5)
- QEPCAD (5)
- Bertini (4)
- GeoGebra (4)
- Magma (4)
- Mathematica (4)
- NCAlgebra (4)
- RAGlib (4)
- SageMath (4)
- GAP (3)
- Kronecker (3)
- polymake (3)
- 4ti2 (2)
- Archive Formal Proofs (2)
- Asymptote (2)
- Book3264Examples (2)
- CHomP (2)
- CoCoA (2)
- Coq (2)
- DISCOVERER (2)
- HOMPACK (2)
- Macaulay2 (2)
- Projective Noether (2)
- Prover9 (2)
- RegularChains (2)
- SYNRAC (2)
- SeDuMi (2)
- TOPCOM (2)
- TSSOS (2)
- YALMIP (2)
- alphaCertified (2)
- cdd (2)
- ANTIGONE (1)
- ANewDsc (1)
- AQCS (1)
- Agda (1)
- BARON (1)
- BPOLY (1)
- Benchmarks for Optimization Software (1)
- BranchCuts (1)
- CASA (1)
- CVXOPT (1)
- Cinderella (1)
- CirclePack (1)
- CoNtRol (1)
- Coq/SSReflect (1)
- CoqMT (1)
- Dynamics (1)
- EISPACK (1)
- FRISCO (1)
- Flagmatic (1)
- GANITH (1)
- GAviewer (1)
- Genius (1)
- GeoGebra Discovery (1)
- Gfan (1)
- GiNaC (1)
- GiNaC-cycle (1)
- GitHub (1)
- HOL Light (1)
- HOMPACK90 (1)
- HURRY (1)
- IMAGINARY (1)
- INTLAB (1)
- INTOPT_90 (1)
- Isabelle/HOL (1)
- JavaScript (1)
- Knotscape (1)
- LAPACK (1)
- MARS (1)
- MESSI (1)
- MUSCLE (1)
- Mathcad (1)
- Maxima (1)
- Maxplus (1)
- MetaPost (1)
- MetiTarski (1)
- MixedVol (1)
- NAG4M2 (1)
- NCSOStools (1)
- NumGfun (1)
- NumericalAlgebraicGeometry (1)
- OEIS (1)
- ORI-REVO (1)
- OTT2MIZ (1)
- PENT (1)
- PESTO (1)
- POEM (1)
- POLSYS_PLP (1)
- Paramotopy (1)
- Plural (1)
- PoSSo (1)
- PovRay (1)
- and 42 more Software Packages