The lemmas of Alexander and Sperner. arXiv:1909.00940
Preprint, arXiv:1909.00940 [math.AT] (2019).
Found 1,645 Documents (Results 201–300)
On auto-equivalences and complete derived invariants of gentle algebras. arXiv:1904.04859
Preprint, arXiv:1904.04859 [math.RT] (2019).
Book review of: J. Roe, Winding around. The winding number in topology, geometry, and analysis. (German) Zbl 07897104
Topological characterization of chiral models through their long time dynamics. (English) Zbl 1540.82018
Convenient maps from one-relator model two-complexes into the real projective plane. (English) Zbl 1417.55002
Reviewer: Daciberg Lima Gonçalves (São Paulo)
Ordering Thurston’s geometries by maps of nonzero degree. (English) Zbl 1421.57002
Reviewer: Daniel Kasprowski (Bonn)
Multi-arm incipient infinite clusters in 2D: scaling limits and winding numbers. (English. French summary) Zbl 1417.60083
Quantized vortex dynamics and interaction patterns in superconductivity based on the reduced dynamical law. (English) Zbl 1405.34042
Stable windings at the origin. (English) Zbl 1417.60030
Degrees from \({S^3}\)-manifolds to lens spaces. (Chinese. English summary) Zbl 1413.55002
Galois theory, the classification of finite simple groups and a dense winding of a torus. (English. Russian original) Zbl 1425.11170
Sb. Math. 209, No. 6, 840-849 (2018); translation from Mat. Sb. 209, No. 6, 65-74 (2018).
Criteria for Hattori-Masuda multi-polytopes via Duistermaat-Heckman functions and winding numbers. (English) Zbl 1396.57042
Reviewer: Marja Kankaanrinta (Helsinki)
Bringing closed polygonal curves in the plane to normal form via local moves. (English) Zbl 1401.52032
Reviewer: Gabriela Cristescu (Arad)
MSC:
52C30
Some remarks on the parametrized Borsuk-Ulam theorem. (English) Zbl 1404.55002
Reviewer: Thomas J. Bartsch (Gießen)
A note regarding Hopf’s Umlaufsatz. (English) Zbl 1395.55004
MSC:
55M25
Another short proof of the hairy ball theorem. (English) Zbl 1395.55002
MSC:
55M25
Immersions of the circle into a surface. (English. Russian original) Zbl 1496.57026
Sb. Math. 209, No. 4, 503-518 (2018); translation from Mat. Sb. 209, No. 4, 38-53 (2018).
Harmonic self-maps of \(\mathrm{SU}(3)\). (English) Zbl 1393.58010
Reviewer: Gabjin Yun (Yongin)
New periodic solutions for some planar \(N + 3\)-body problems with Newtonian potentials. (English) Zbl 1411.70016
Width of a satellite knot and its companion. (English) Zbl 1386.57010
Reviewer: Kenneth A. Perko Jr. (New York)
MSC:
57M25
57M27
Degrees of maps between isotropic Grassmann manifolds. (English) Zbl 1386.55006
Reviewer: Branislav Prvulovic (Belgrade)
Winding number and Cutting number of Harmonic cycle. arXiv:1812.04930
Preprint, arXiv:1812.04930 [math.CO] (2018).
Dynamics of the process of the rope winding (unwinding) on the winch. (English) Zbl 1480.70012
MSC:
70E60
Mapping degrees between spherical 3-manifolds. (English. Russian original) Zbl 1395.55003
Sb. Math. 208, No. 10, 1449-1472 (2017); translation from Mat. Sb. 208, No. 10, 34-58 (2017).
Reviewer: Wolfgang Heil (Tallahassee)
Mayer-Vietoris property of the fixed point index. (English) Zbl 1412.37027
Reviewer: Alessandro Calamai (Ancona)
KKM type theorems with boundary conditions. (English) Zbl 1383.54050
Reviewer: Christian Fenske (Gießen)
Twisted \(\Gamma \times \mathbb T^n\)-equivariant degree with \(n\)-parameters: computational formulae and applications. (English) Zbl 1491.58008
Stochastic areas, winding numbers and Hopf fibrations. (English) Zbl 1382.58027
Reviewer: Jacques Franchi (Strasbourg)
On integers occurring as the mapping degree between quasitoric 4-manifolds. (English) Zbl 1379.55003
Reviewer: Christian Fenske (Gießen)
A polynomial invariant of polar links. (English) Zbl 1377.57010
MSC:
57M25
57M27
A refined estimate for the topological degree. (Une estimée raffinée du degré topologique.) (English. French summary) Zbl 1422.55004
On maps which are the identity on the boundary. (Sur les applications qui sont l’identité sur la frontière.) (English. Abridged French version) Zbl 1380.57027
Induction effects of torus knots and unknots. (English) Zbl 1372.76112
MSC:
76W05
57M25
The symmetrized topological complexity of the circle. (English) Zbl 1377.55003
Reviewer: Youssef Rami (Meknès)
The Poincaré-Hopf theorem for line fields revisited. (English) Zbl 1370.57011
Reviewer: Haruo Minami (Nara)
Time evolving potentials for electromagnetic knots. (English) Zbl 1368.78011
Reviewer: Luis Filipe Pinheiro de Castro (Aveiro)
Totally abelian Toeplitz operators and geometric invariants associated with their symbol curves. (English) Zbl 06720580
Homology for quandles with partial group operations. (English) Zbl 1373.57028
Reviewer: David Stanovsky (Praha)
The degree of set-valued mappings from ANR spaces to homology spheres. (English) Zbl 1364.55003
Reviewer: Valerii V. Obukhovskij (Voronezh)
A combinatorial interpretation of harmonic cycles. arXiv:1708.01907
Preprint, arXiv:1708.01907 [math.CO] (2017).
On Some Applications of Group Representation Theory to Algebraic Problems Related to the Congruence Principle for Equivariant Maps. arXiv:1706.02756
Preprint, arXiv:1706.02756 [math.RT] (2017).
Levinson’s theorem: an index theorem in scattering theory. (English) Zbl 06981835
Mantoiu, Marius (ed.) et al., Spectral theory and mathematical physics. Proceedings of the conference, Santiago, Chile, November 2014. Basel: Birkhäuser/Springer. Oper. Theory: Adv. Appl. 254, 149-203 (2016).
Differential forms and Clifford analysis. (English) Zbl 1388.30079
Bernstein, Swanhild (ed.) et al., Modern trends in hypercomplex analysis. Selected papers presented at the session on Clifford and quaternionic analysis at the 10th international ISAAC congress, University of Macau, China, August 3–8, 2015. Basel: Birkhäuser/Springer (ISBN 978-3-319-42528-3/hbk; 978-3-319-42529-0/ebook). Trends in Mathematics, 247-263 (2016).
MSC:
30G35
Change in energy eigenvalues against parameters. (English) Zbl 1371.81102
Kielanowski, Piotr (ed.) et al., Geometric methods in physics. XXXIV workshop, Białowieża, Poland, June 28 – July 4, 2015. Basel: Birkhäuser/Springer (ISBN 978-3-319-31755-7/hbk; 978-3-319-31756-4/ebook). Trends in Mathematics, 233-253 (2016).
One-domination of knots. (English) Zbl 1375.57010
Reviewer: Dieter Erle (Dortmund)
Borsuk-Ulam theorem. (Slovenian. English summary) Zbl 1367.55002
On the convex hull and winding number of self-similar processes. (English) Zbl 1358.60083
J. Math. Sci., New York 219, No. 5, 707-713 (2016) and Zap. Nauchn. Semin. POMI 441, 154-162 (2015).
The special \(L\)-value of the winding quotient of square-free level. (English) Zbl 1359.11065
Reviewer: Francesc Bars Cortina (Bellaterra)
The limiting distribution of the mutual winding angles of particles in a Brownian stochastic flow with Lyapunov zero top exponent. (Russian. English summary) Zbl 1363.60111
MSC:
60J65
One more proof of the index formula for block Toeplitz operators. (English) Zbl 1389.47086
Reviewer: Valerii V. Obukhovskij (Voronezh)
Concurrent multi-scale design optimization of composite frame structures using the Heaviside penalization of discrete material model. (English) Zbl 1348.74285
Calculations on topological degrees of semi-closed 1-set-contractive operators in M-PN-spaces and applications. (English) Zbl 1360.55002
Periodic points of latitudinal maps of the \(m\)-dimensional sphere. (English) Zbl 1370.37045
Reviewer: Christian Fenske (Gießen)
Regular homotopy for immersions of graphs into surfaces. (English. Russian original) Zbl 1352.57005
Sb. Math. 207, No. 6, 854-872 (2016); translation from Mat. Sb. 207, No. 6, 93-112 (2016).
Reviewer: Branislav Prvulovic (Belgrade)
MSC:
57M15
Criterion for the solvability of a class of nonlinear two-point boundary value problems on the plane. (English. Russian original) Zbl 1347.34036
Differ. Equ. 52, No. 3, 327-334 (2016); translation from Differ. Uravn. 52, No. 3, 334-341 (2016).
MSC:
34B15
Colorings for set-valued maps. (English) Zbl 1350.55004
Reviewer: Christian Fenske (Gießen)
On a dense winding of the 2-dimensional torus. (English. Russian original) Zbl 1346.49003
Sb. Math. 207, No. 4, 581-589 (2016); translation from Mat. Sb. 207, No. 4, 113-122 (2016).
Homotopy invariants of covers and KKM-type lemmas. (English) Zbl 1350.55006
Reviewer: Christian Fenske (Gießen)
The SIAM 100-Digit Challenge: a decade later. Inspirations, ramifications, and other eddies left in its wake. (English) Zbl 1341.65001
Degrees of maps between locally symmetric spaces. (English) Zbl 1339.57046
Reviewer: Cenap Özel (Bolu)
The size of multiple points of maps between manifolds (with an appendix by Stepan Orevkov). (English) Zbl 1338.55005
Reviewer: Christian Fenske (Gießen)
Oscillatory dynamics for a coupled membrane-bulk diffusion model with Fitzhugh-Nagumo membrane kinetics. (English) Zbl 1347.35032
On stability of non-domination under taking products. (English) Zbl 1348.57033
Reviewer: Jonathan Hodgson (Swarthmore)
Inverse mapping theorem and local forms of continuous mappings. (English) Zbl 1330.55003
Reviewer: Christian Fenske (Gießen)
Infinite families of harmonic self-maps of spheres. (English) Zbl 1331.58020
Reviewer: Vladimir Balan (Bucureşti)
Brouwer degree, domination of manifolds, and groups presentable by products. arXiv:1609.06637
Preprint, arXiv:1609.06637 [math.AT] (2016).
On a problem for a system of two the second order differential equations via the theory of vector fields. (English) Zbl 1420.34047
MSC:
34B15
Computational geometric and algebraic topology. Abstracts from the workshop held October 11–17, 2015. (English) Zbl 1380.00045
MSC:
00B05
00B25
05C10
55-04
57-04
57M15
57N10
57N65
55M25
55U10
68W05
68U05
55-06
57-06
05-06
68-06
Different electronic charges in two-component superconductor by coherent state. (English) Zbl 1349.82166
On the large-deviation principle for the winding angle of a Brownian trajectory around the origin. (English) Zbl 1363.60110
On the diffusion of alpha-helical proteins in solvents. (English) Zbl 1361.92023
Bernido, Christopher C. (ed.) et al., Analysis of fractional stochastic processes: advances and applications. Proceedings of the 7th Jagna international workshop, Jagna, Bohol, Philippines, January 6–11, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-4618-34-2/hbk). Article ID 1560018, 7 p. (2015).
Sperner type lemma for quadrangulations. (English) Zbl 1339.05441
Reviewer: S. A. Seyed Fakhari (Tehran)
Productivity improvement by reduction of idle time through application of queuing theory. (English) Zbl 1332.90107
Synchronized oscillatory dynamics for a 1-D model of membrane kinetics coupled by linear bulk diffusion. (English) Zbl 1331.35038
KPZ relation does not hold for the level lines and \(\hbox {SLE}_\kappa \) flow lines of the Gaussian free field. (English) Zbl 1327.60166
Total diameter and area of closed submanifolds. (English) Zbl 1330.53010
Reviewer: Jan Kurek (Lublin)
Degrees of self-maps of simply connected manifolds. (English) Zbl 1328.55020
Reviewer: Yves Félix (Louvain-La-Neuve)
Winding around. The winding number in topology, geometry, and analysis. (English) Zbl 1330.55001
Student Mathematical Library 76. Providence, RI: American Mathematical Society (AMS); University Park, PA: Mathematics Advanced Study Semesters (ISBN 978-1-4704-2198-4/pbk). xiii, 269 p. (2015).
Reviewer: Peter P. Zabreĭko (Minsk)
Filter Results by …
Document Type
- Journal Articles (1,324)
- Collection Articles (201)
- Books (87)
- arXiv Preprints (33)
all
top 5
Author
- Borisovich, Yuriĭ Grigor’evich (16)
- Wang, Shi Cheng (15)
- Zelins’kyĭ, Yuriĭ Borysovych (14)
- Gel’man, Boris Danielovich (13)
- Neofytidis, Christoforos (13)
- Crabb, Michael C. (11)
- Górniewicz, Lech (11)
- Balanov, Zalman I. (10)
- Furi, Massimo (10)
- Krawcewicz, Wieslaw Z. (10)
- Kryszewski, Wojciech (10)
- Mawhin, Jean (10)
- Vrahatis, Michael N. (10)
- Yor, Marc (10)
- Benevieri, Pierluigi (9)
- Browder, Felix Earl (8)
- Nowak-Przygodzki, Piotr (8)
- Obukhovskiĭ, Valeriĭ Vladimirovich (8)
- Prieto, Carlos (8)
- Skordev, Gencho S. (8)
- Zabreĭko, Pëtr Petrovich (8)
- Berkovits, Juha (7)
- Brown, Robert F. (7)
- Franchi, Jacques (7)
- Granas, Andrzej (7)
- Pera, Maria Patrizia (7)
- Schirmer, Helga (7)
- Stynes, Martin Joseph (7)
- Brooks, Robin B. S. (6)
- Calamai, Alessandro (6)
- Fenske, Christian Clements (6)
- Fitzpatrick, Patrick Michael (6)
- Ize, Jorge (6)
- Izrailevich, Ya. A. (6)
- Marzantowicz, Wacław (6)
- Mukhamadiev, Èrgashboĭ Mirzoevich (6)
- Musin, Oleg R. (6)
- Nussbaum, Roger David (6)
- Sapronov, Yuriĭ Ivanovich (6)
- Siegberg, Hans-Willi (6)
- Vignoli, Alfonso (6)
- Wickelgren, Kirsten G. (6)
- Antonovskij, E. Ya. (5)
- Benkafadar, Nasreddine Mohamed (5)
- Berger, Mitchell A. (5)
- Brazelton, Thomas (5)
- Desbois, Jean (5)
- Dold, Albrecht (5)
- Gęba, Kazimierz (5)
- Hayat-Legrand, Claude (5)
- Isac, George (5)
- Ivanov, Nikolai V. (5)
- Izydorek, Marek (5)
- Khimshiashvili, Giorgi (5)
- Le Jan, Yves (5)
- Massabó, Ivar (5)
- Mustonen, Vesa (5)
- O’Regan, Donal (5)
- Peitgen, Heinz-Otto (5)
- Shashkin, Yu. A. (5)
- Sklyarenko, E. G. (5)
- Steinlein, Heinrich (5)
- Toland, John Francis (5)
- Webb, Jeffrey Ronald Leslie (5)
- Zhang, Shiqing (5)
- Zieschang, Heiner (5)
- Bartłomiejczyk, Piotr (4)
- Baudoin, Fabrice (4)
- Bobylev, Nikolaĭ Antonovich (4)
- Chen, Yuqing (4)
- Comtet, Alain (4)
- Eisenbud, David (4)
- Gonçalves, Daciberg Lima (4)
- Gottlieb, Daniel Henry (4)
- Graff, Grzegorz (4)
- Kearfott, Baker (4)
- Llibre, Jaume (4)
- Martelli, Mario (4)
- Mironescu, Petru (4)
- Misiurewicz, Michał (4)
- Nian, Xiaohong (4)
- Pruszko, Tadeusz (4)
- Quine, John R. (4)
- Rabier, Patrick J. (4)
- Shafrir, Itai (4)
- Simon, Carl P. (4)
- Skrypnyk, Igor Volodymyrovych (4)
- Sun, Hongbin (4)
- Szafraniec, Zbigniew (4)
- Zvyagin, Viktor Grigor’evich (4)
- Abgrall, Rémi (3)
- Alexander, James Crew (3)
- Amann, Herbert (3)
- André, Nelly (3)
- Appell, Jürgen (3)
- Bernido, Christopher C. (3)
- Bryszewski, Jozef (3)
- Chillingworth, D. R. J. (3)
- Chu, Xiaoyan (3)
- Cronin-Scanlon, Jane Smiley (3)
- and 1,693 more Authors
all
top 5
Serial
- Proc. Am. Math. Soc. (38)
- Topology Appl. (36)
- Trans. Am. Math. Soc. (30)
- J. Math. Anal. Appl. (24)
- Topol. Methods Nonlinear Anal. (22)
- Nonlinear Anal., Theory Methods Appl. (17)
- Fundam. Math. (16)
- J. Phys. A, Math. Gen. (15)
- Nucl. Phys., B (13)
- J. Differ. Equations (13)
- Math. Z. (13)
- J. Fixed Point Theory Appl. (13)
- Phys. Lett., A (12)
- Pac. J. Math. (12)
- J. Phys. A, Math. Theor. (12)
- Am. Math. Mon. (10)
- J. Funct. Anal. (10)
- Math. Ann. (10)
- Osaka J. Math. (10)
- J. Complexity (9)
- J. Math. Phys. (8)
- Geom. Dedicata (8)
- J. Lond. Math. Soc., II. Ser. (8)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (8)
- Sb. Math. (8)
- Algebr. Geom. Topol. (8)
- Commun. Math. Phys. (7)
- Math. Notes (7)
- Usp. Mat. Nauk (7)
- Manuscr. Math. (7)
- Math. Nachr. (7)
- Numer. Math. (7)
- Topology (7)
- Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. (7)
- Appl. Anal. (6)
- Math. Comput. (6)
- Ann. Mat. Pura Appl. (4) (6)
- Ann. Probab. (6)
- Commentat. Math. Univ. Carol. (6)
- Duke Math. J. (6)
- Q. J. Math., Oxf. II. Ser. (6)
- COMPEL (6)
- J. Math. Sci., New York (6)
- C. R. Acad. Sci., Paris, Sér. A (6)
- Bull. Aust. Math. Soc. (5)
- Z. Angew. Math. Mech. (5)
- Arch. Math. (5)
- Bull. Lond. Math. Soc. (5)
- Diss. Math. (5)
- Invent. Math. (5)
- J. Optim. Theory Appl. (5)
- Zesz. Nauk. Wydz. Mat. Fiz. Chem., Mat., Gdańsk (5)
- Probab. Theory Relat. Fields (5)
- Ann. Phys. (5)
- Bull. Inst. Math., Acad. Sin. (5)
- Ann. Inst. Henri Poincaré, Probab. Stat. (5)
- Acta Math. Sin., Engl. Ser. (5)
- C. R., Math., Acad. Sci. Paris (5)
- Boll. Unione Mat. Ital., IV. Ser. (5)
- Ber. Ges. Math. Datenverarb., Bonn (5)
- Adv. Appl. Probab. (4)
- Lett. Math. Phys. (4)
- Phys. Lett., B (4)
- Ukr. Math. J. (4)
- Ukr. Mat. Zh. (4)
- J. Geom. Phys. (4)
- Sov. Appl. Mech. (4)
- Am. J. Math. (4)
- Can. J. Math. (4)
- Colloq. Math. (4)
- J. Comb. Theory, Ser. A (4)
- J. Comput. Appl. Math. (4)
- J. Sov. Math. (4)
- Math. Comput. Simul. (4)
- Math. Scand. (4)
- Mich. Math. J. (4)
- Ric. Mat. (4)
- Sib. Math. J. (4)
- Z. Anal. Anwend. (4)
- Physica D (4)
- Int. Math. Res. Not. (4)
- Dopov. Akad. Nauk Ukr. RSR, Ser. A (4)
- Proc. R. Soc. Edinb., Sect. A, Math. (4)
- C. R. Acad. Sci., Paris, Sér. I (4)
- New York J. Math. (4)
- Sel. Math., New Ser. (4)
- Bull. Sci. Math. (4)
- Homology Homotopy Appl. (4)
- JP J. Geom. Topol. (4)
- Fixed Point Theory Appl. (4)
- God. Sofiĭ. Univ., Fak. Mat. Mekh. (4)
- Arch. Ration. Mech. Anal. (3)
- Houston J. Math. (3)
- IMA J. Appl. Math. (3)
- J. Appl. Mech. (3)
- J. Comput. Phys. (3)
- Math. Proc. Camb. Philos. Soc. (3)
- Rocky Mt. J. Math. (3)
- Russ. Math. Surv. (3)
- An. Univ. Timișoara, Științe Mat. (3)
- and 448 more Serials
all
top 5
Year of Publication
- 2024 (25)
- 2023 (33)
- 2022 (43)
- 2021 (33)
- 2020 (43)
- 2019 (25)
- 2018 (29)
- 2017 (26)
- 2016 (30)
- 2015 (24)
- 2014 (18)
- 2013 (28)
- 2012 (21)
- 2011 (24)
- 2010 (20)
- 2009 (22)
- 2008 (23)
- 2007 (22)
- 2006 (30)
- 2005 (20)
- 2004 (17)
- 2003 (31)
- 2002 (20)
- 2001 (32)
- 2000 (27)
- 1999 (30)
- 1998 (26)
- 1997 (28)
- 1996 (32)
- 1995 (30)
- 1994 (25)
- 1993 (31)
- 1992 (31)
- 1991 (38)
- 1990 (28)
- 1989 (35)
- 1988 (31)
- 1987 (33)
- 1986 (29)
- 1985 (34)
- 1984 (47)
- 1983 (40)
- 1982 (42)
- 1981 (34)
- 1980 (52)
- 1979 (45)
- 1978 (40)
- 1977 (39)
- 1976 (52)
- 1975 (30)
- 1974 (29)
- 1973 (17)
- 1972 (23)
- 1971 (10)
- 1970 (8)
- 1969 (9)
- 1883 (1)
all
top 3
Main Field
- 55-XX (1,116)
- 47-XX (333)
- 57-XX (330)
- 54-XX (229)
- 58-XX (194)
- 35-XX (138)
- 37-XX (115)
- 34-XX (103)
- 60-XX (98)
- 65-XX (95)
- 53-XX (90)
- 81-XX (75)
- 46-XX (60)
- 30-XX (47)
- 14-XX (45)
- 82-XX (39)
- 05-XX (38)
- 52-XX (38)
- 49-XX (37)
- 70-XX (36)
- 93-XX (34)
- 76-XX (31)
- 26-XX (29)
- 74-XX (29)
- 68-XX (28)
- 32-XX (24)
- 78-XX (23)
- 20-XX (21)
- 11-XX (19)
- 90-XX (19)
- 51-XX (18)
- 83-XX (17)
- 92-XX (17)
- 15-XX (15)
- 45-XX (14)
- 91-XX (14)
- 22-XX (11)
- 16-XX (9)
- 19-XX (9)
- 17-XX (8)
- 00-XX (7)
- 28-XX (7)
- 41-XX (7)
- 01-XX (6)
- 06-XX (6)
- 33-XX (6)
- 62-XX (6)
- 18-XX (5)
- 39-XX (5)
- 42-XX (5)
- 12-XX (4)
- 31-XX (4)
- 43-XX (4)
- 94-XX (4)
- 03-XX (3)
- 80-XX (3)
- 85-XX (3)
- 13-XX (2)
- 40-XX (2)
- 44-XX (1)
- 97-XX (1)
Biographic Reference
all
top 3
Software
- Matlab (6)
- CHABIS (4)
- DLMF (4)
- Book3264Examples (3)
- BRENT (2)
- Coq (2)
- INTOPT_90 (2)
- Macaulay2 (2)
- NNLSlab (2)
- RFSFNS (2)
- RealBitangents (2)
- SADoRe (2)
- TopDeg (2)
- XPPAUT (2)
- ZEBEC (2)
- dCATCH (2)
- ANSYS (1)
- Adams (1)
- Algorithm 858 (1)
- Algorithm 973 (1)
- Archive Formal Proofs (1)
- BESSELINT (1)
- CHA (1)
- CQMC (1)
- CUB_RS (1)
- Chebfun (1)
- Chebfun2 (1)
- Concorde (1)
- CopulaModel (1)
- Coqtail (1)
- CouDALFISh (1)
- Count Complex Roots (1)
- DSTool (1)
- EISPACK (1)
- ELF (1)
- Eigensolve (1)
- Eigtool (1)
- Excel (1)
- FastGaussQuadrature (1)
- GAP (1)
- GNOME (1)
- Gensys (1)
- GitHub (1)
- Gmsh (1)
- Grad-CAM (1)
- HOL (1)
- HOMPACK90 (1)
- INTBIS (1)
- ISOLATE (1)
- Isabelle (1)
- Isabelle/HOL (1)
- JaxoDraw (1)
- Jet_fitting_3 (1)
- LAPACK (1)
- LEDA (1)
- Libaffa (1)
- MathOverflow (1)
- MathSAT5 (1)
- Mathematica (1)
- Mizar (1)
- NumPy (1)
- OpenGL (1)
- PNM (1)
- PROFIL/BIAS (1)
- PVM (1)
- QEPCAD (1)
- R (1)
- RODAS (1)
- RecurDyn (1)
- SC Toolbox (1)
- SINGULAR (1)
- SMT-LIB (1)
- SMT-RAT (1)
- Schwarz-Christoffel (1)
- ShNAPr (1)
- SiSyPHE (1)
- Simulink (1)
- Sturm-Tarski Theorem (1)
- TensorFlow (1)
- TetraFreeQ (1)
- Trimesh (1)
- Uhlig Toolkit (1)
- VPython (1)
- Visual Basic (1)
- Winding_Number_Eval (1)
- XSat (1)
- Yices (1)
- ZEAL (1)
- alr3 (1)
- alr4 (1)
- conley (1)
- dReal (1)
- ecdata (1)
- gss (1)
- inRS (1)
- mctoolbox (1)
- polygons (1)
- raSAT (1)
- shap (1)
- smathlib (1)
- and 3 more Software Packages
