Found 3,029 Documents (Results 1–100)
An inclusion-exclusion principle for tautological sheaves on Hilbert schemes of points. (English) Zbl 07901743
Divisorial ideals in the power series ring \(A + XB \llbracket X \rrbracket\). (English) Zbl 07896527
Reviewer: Ali Benhissi (Monastir)
A Beilinson-Bernstein theorem for twisted arithmetic differential operators on the formal flag variety. (English. French summary) Zbl 07892778
Existence results of \(\mathrm{Spin}(2, n - 1)_0\)-pseudo-Riemannian cobordisms. (English) Zbl 1541.57028
Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat., RACSAM 118, No. 3, Paper No. 130, 19 p. (2024).
Separable commutative algebras and Galois theory in stable homotopy theories. (English) Zbl 07863033
Chern-Dold character in complex cobordisms and theta divisors. (English) Zbl 07863027
Reviewer: Rui Miguel Saramago (Porto Salvo)
Polynomial generators of \(\mathbf{MSU}^\ast [1/2]\) related to classifying maps of certain formal group laws. (English) Zbl 07860674
The intrinsic normal cone for Artin stacks. (Le Cône normal intrinsèque pour les champs d’Artin.) (English. French summary) Zbl 07852652
Reviewer: Robert Laterveer (Strasbourg)
Different Hamiltonians for differential Painlevé equations and their identification using a geometric approach. (English) Zbl 07845263
The stable conjugation-invariant word norm is rational in free groups. (English) Zbl 1537.20095
Reviewer: Egle Bettio (Venezia)
Affine Bruhat order and Demazure products. (English) Zbl 1537.20092
Reviewer: Egle Bettio (Venezia)
Formal ternary laws and Buchstaber’s 2-groups. (English) Zbl 1540.14050
Reviewer: Marcus Zibrowius (Düsseldorf)
Tate-linear formal varieties. (English) Zbl 07831969
A \(1\)-dimensional formal group over the prismatization of \(\mathrm{Spf}\,\mathbb{Z}_p\). (English) Zbl 07826259
MSC:
14F30
Geometric pushforward in Hodge filtered complex cobordism and secondary invariants. (English) Zbl 1541.55004
Reviewer: Rui Miguel Saramago (Porto Salvo)
Strictification and gluing of Lagrangian distributions on derived schemes with shifted symplectic forms. (English) Zbl 1539.14003
Reviewer: Yuwei Fan (Beijing)
Post’s correspondence problem for hyperbolic and virtually nilpotent groups. (English) Zbl 1532.20040
Reviewer: Egle Bettio (Venezia)
Topological bordism of singular spaces and an application to stratified \(\mathrm{L}\)-classes. (English) Zbl 1537.55002
Reviewer: Stratos Prassidis (Karlovasi)
Chern classes in equivariant bordism. (English) Zbl 1539.55003
Reviewer: Igor Sikora (Ankara)
On an example of Nagarajan. (English) Zbl 1524.13068
Reviewer: Ali Benhissi (Monastir)
Geometric representation of cohomology classes for the Lie groups Spin(7) and Spin(8). arXiv:2409.06491
Preprint, arXiv:2409.06491 [math.AT] (2024).
Bounded skew power series rings for inner \(\sigma\)-derivations. arXiv:2408.10545
Preprint, arXiv:2408.10545 [math.RA] (2024).
Products in spin\(^c\)-cobordism. arXiv:2407.10045
Preprint, arXiv:2407.10045 [math.AT] (2024).
Formal groups over non-commutative rings. arXiv:2406.14247
Preprint, arXiv:2406.14247 [math.AT] (2024).
The universal property of bordism of commuting involutions. arXiv:2406.00404
Preprint, arXiv:2406.00404 [math.AT] (2024).
Foams with flat connections and algebraic K-theory. arXiv:2405.14465
Preprint, arXiv:2405.14465 [math.KT] (2024).
Generalized positive scalar curvature on spin\(^c\) manifolds. arXiv:2404.00703
Preprint, arXiv:2404.00703 [math.DG] (2024).
Higher spin representations of the Yangian of \(\mathfrak{sl}_2\) and R-matrices. arXiv:2403.17433
Preprint, arXiv:2403.17433 [math.RT] (2024).
Rational Gluing in Edge Replacement Systems. arXiv:2403.09276
Preprint, arXiv:2403.09276 [math.GR] (2024).
Nested cobordisms, Cyl-objects and Temperley-Lieb algebras. arXiv:2403.01067
Preprint, arXiv:2403.01067 [math.AT] (2024).
Cobordism of G-manifolds. arXiv:2402.12478
Preprint, arXiv:2402.12478 [math.AT] (2024).
Quaternionic lattices and poly-context-free word problem. arXiv:2402.07494
Preprint, arXiv:2402.07494 [math.GR] (2024).
The Freeness Problem for Automaton Semigroups. arXiv:2402.01372
Preprint, arXiv:2402.01372 [cs.FL] (2024).
Properties and Examples of \(A\)-Landweber Exact Spectra. arXiv:2401.12227
Preprint, arXiv:2401.12227 [math.AT] (2024).
MFO-RIMS tandem workshop: Arithmetic homotopy and Galois theory. Abstracts from the MFO-RIMS tandem workshop held September 24–29, 2023. (English) Zbl 1537.00019
MSC:
00B05
00B25
11-06
12-06
14-06
55-06
12F12
14G32
14H30
14H45
14F06
55Pxx
14F22
14G05
14D15
11F70
Formalizing free groups in Isabelle/HOL: the Nielsen-Schreier theorem and the conjugacy problem. (English) Zbl 07810730
Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 158-173 (2023).
MSC:
68Vxx
Positive scalar curvature on manifolds with boundary and their doubles. (English) Zbl 07801223
Reviewer: Adnane Elmrabty (Guelmim)
Applying a power transformation to the orbit of the 2nd Painlevé equation and solving differential equations with polynomial right-hand sides via the 2nd Painlevé transcendent and in polynomials. (Russian. English summary) Zbl 1540.34160
Reviewer: Mengkun Zhu (Jinan)
On cuts of the quotient field of a ring of formal power series. (Russian. English summary) Zbl 1529.13018
Analogues of the Atiyah-Wall exact sequences for cobordism groups of singular maps. (English) Zbl 1539.57032
Reviewer: Richárd Rimányi (Chapel Hill)
On the algebraic cobordism ring of involutions. (English. French summary) Zbl 1540.14016
Algebraic theories of power operations. (English) Zbl 07782685
Reviewer: Lennart Meier (Utrecht)
Derived series of the multidimensional Jennings group. (English) Zbl 1537.20079
Reviewer: Rachel D. Camina (Cambridge)
M/F-theory as \(Mf\)-theory. (English) Zbl 1538.81049
On the bases of the image of 2-adic logarithm on the group of principal units. (English) Zbl 1525.11139
\(SU\)-linear operations in complex cobordism and the \(c_1\)-spherical bordism theory. (English. Russian original) Zbl 1537.55003
Izv. Math. 87, No. 4, 768-797 (2023); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 87, No. 4, 133-165 (2023).
Reviewer: Rui Miguel Saramago (Porto Salvo)
On bialgebras, comodules, descent data and Thom spectra in \(\infty\)-categories. (English) Zbl 1535.16041
Reviewer: Mahender Singh (S.A.S. Nagar)
State complexity bounds for the commutative closure of group languages. (English) Zbl 07770051
MSC:
68Q45
Connective models for topological modular forms of level \(n\). (English) Zbl 1533.55009
Reviewer: Gabriel Angelini-Knoll (Paris)
Groups whose word problems are accepted by abelian \(G\)-automata. (English) Zbl 07766948
Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 246-257 (2023).
MSC:
68Q45
Affine Deligne-Lusztig varieties and folded galleries governed by chimneys. (Les Variétés affines de Deligne-Lusztig et les galeries pliées dirigées par des cheminées.) (English. French summary) Zbl 1527.20078
Reviewer: Wilberd van der Kallen (Utrecht)
Differential models for the Anderson dual to bordism theories and invertible QFT’s. II. (English) Zbl 1533.81074
Differential models for the Anderson dual to bordism theories and invertible QFT’s. I. (English) Zbl 1533.81075
Conjugacy languages in virtual graph products. (English) Zbl 1522.20138
Reviewer: Enrico Jabara (Venezia)
Geometric Hodge filtered complex cobordism. (English) Zbl 1529.55005
Reviewer: Rui Miguel Saramago (Porto Salvo)
The Kakeya conjecture on local fields of positive characteristic. (English) Zbl 1535.11164
Reviewer: Kevin Keating (Gainesville)
A survey on iterations in rings of formal power series in one indeterminate. (English) Zbl 1520.13029
Balcerzak, Marek (ed.) et al., Inspirations in real analysis. Selected papers based on the presentations at the international conference, Będlewo, Poland, April 3–8, 2022. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 125, 45-70 (2023).
Relative regular sequences and generalized cohomology of infinite real Grassmannians. (English) Zbl 1531.55005
Reviewer: Shilpa Gondhali (Pilani)
MSC:
55N22
Formality of cochains on \(BG\). (English) Zbl 1541.55013
Reviewer: Marek Golasiński (Olsztyn)
Canonical Witt formal scheme extensions and \(p\)-torsion groups. (English) Zbl 1533.13019
Reviewer: Xiao Xiao (Utica)
\(K\)-theory and formality. (English) Zbl 1525.19003
Reviewer: Do Ngoc Diep (Hà Nội)
Elliptic cohomology is unique up to homotopy. (English) Zbl 07714245
Reviewer: Zhen Huan (Wuhan)
Landweber exactness of the formal group law in \(c_1\)-spherical bordism. (English. Russian original) Zbl 1520.55006
Math. Notes 113, No. 6, 850-858 (2023); translation from Mat. Zametki 113, No. 6, 918-928 (2023).
Reviewer: Malkhaz Bakuradze (Tbilisi)
MSC:
55N22
On the group of self-homotopy equivalences of an almost formal space. (English) Zbl 1519.55005
Reviewer: Kohhei Yamaguchi (Tokyo)
On \(\pi \)-divisible \(\mathcal{O} \)-modules over fields of characteristic \(p\). (English) Zbl 1519.14043
Reviewer: Xiao Xiao (Utica)
On the transition monoid of the Stallings automaton of a subgroup of a free group. (English) Zbl 1527.20046
The structure of formal modules as Galois modules in cyclic unramified \(p\)-extensions. (English. Russian original) Zbl 1529.11116
J. Math. Sci., New York 272, No. 3, 367-375 (2023); translation from Zap. Nauchn. Semin. POMI 500, 37-50 (2021).
Reviewer: Kevin Keating (Gainesville)
Moduli of formal torsors. II. (Modules de torseurs formels. II.) (English. French summary) Zbl 1516.14030
Reviewer: Joan Pons-Llopis (Maó)
Torsion of algebraic groups and iterate extensions associated with Lubin-Tate formal groups. (English) Zbl 1537.11137
Complex orientations and TP of complete DVRs. (English) Zbl 1525.55005
Reviewer: Malkhaz Bakuradze (Tbilisi)
On a class of poly-context-free groups generated by automata. (English) Zbl 1514.20120
Reviewer: Ioan Tomescu (Bucureşti)
Tree languages and branched groups. (English) Zbl 1512.20081
Reviewer: Andrea Caranti (Trento)
A Laplacian to compute intersection numbers on \(\overline{\mathcal{M}}_{g,n}\) and correlation functions in NCQFT. (English) Zbl 1521.81185
Trace densities and algebraic index theorems for sheaves of formal Cherednik algebras. (English) Zbl 1533.16028
Filter Results by …
Document Type
- Journal Articles (2,282)
- Collection Articles (468)
- Books (162)
- arXiv Preprints (117)
all
top 5
Author
- Vostokov, Sergeĭ Vladimirovich (41)
- Bukhshtaber, Viktor Matveevich (32)
- Vershinin, Vladimir V. (27)
- Morava, Jack Johnson (26)
- Bakuradze, Malkhaz (25)
- Ravenel, Douglas C. (25)
- Baker, Andrew J. (24)
- Ray, Nigel (23)
- Botvinnik, Boris I. (21)
- Hopkins, Michael Jerome (20)
- Wilson, W. Stephen (19)
- Thomas, Richard M. (18)
- Elder, Murray J. (17)
- Kochman, Stanley O. (15)
- Kříž, Igor (15)
- Nadiradze, Roin (15)
- Holt, Derek F. (14)
- Prástaro, Agostino (14)
- Silva, Pedro V. (14)
- Yagita, Nobuaki (14)
- Fesenko, Ivan Borisovich (13)
- Hovey, Mark A. (13)
- Oort, Frans (13)
- Torii, Takeshi (13)
- Childs, Lindsay N. (12)
- Ciobanu, Laura (12)
- Davis, Donald M. (12)
- Diekert, Volker (12)
- Gilkey, Peter B. (12)
- Kholodov, Alexander Nickolaevich (12)
- Landweber, Peter S. (12)
- Rees, Sarah (12)
- Strickland, Neil Patrick (12)
- Rodaro, Emanuele (11)
- Vasiu, Adrian (11)
- Zainoulline, Kirill (11)
- Bendersky, Martin (10)
- D’angeli, Daniele (10)
- Kato, Kazuya (10)
- Mahowald, Mark Edward (10)
- Wu, Chingmu (10)
- Gilman, Robert H. (9)
- Johnson, David Copeland (9)
- Kitchloo, Nitu (9)
- Reich, Ludwig (9)
- Rudyak, Yuli B. (9)
- Zhong, Changlong (9)
- Benois, D. G. (8)
- Brungs, Hans-Heinrich (8)
- Fomenko, Anatoliĭ Timofeevich (8)
- Fontaine, Jean-Marc (8)
- Gonzalez, Jesus (8)
- Greenlees, John P. C. (8)
- Harbater, David (8)
- Kamata, Masayoshi (8)
- Laures, Gerd (8)
- Lü, Zhi (8)
- Naumann, Niko (8)
- Quick, Gereon (8)
- Stephan, Frank (8)
- Wang, Yanying (8)
- Barthel, Tobias (7)
- Bleak, Collin (7)
- Bondarko, Mikhail Vladimirovich (7)
- Chai, Chingli (7)
- Devinatz, Ethan S. (7)
- Ditters, Bert E. J. (7)
- Golubyatnikov, Vladimir Petrovich (7)
- Grigorchuk, Rostislav Ivanovich (7)
- Hazewinkel, Michiel (7)
- Hu, Po (7)
- Jain, Sanjay (7)
- Levine, Alex J. (7)
- Levine, Marc Noel (7)
- Lohrey, Markus (7)
- Mishchenko, Aleksandr Sergeevich (7)
- Panov, Taras E. (7)
- Pin, Jean-Eric (7)
- Sakarovitch, Jacques (7)
- Sarkar, Soumen (7)
- Shapiro, Michael D. (7)
- Shokurov, A. V. (7)
- Smith, Larry (7)
- Taback, Jennifer (7)
- Würgler, Urs (7)
- Yokura, Shoji (7)
- Yosimura, Zen-ichi (7)
- Zimmermann, Karl (7)
- Abrashkin, Viktor Aleksandrovich (6)
- Bartholdi, Laurent (6)
- Belitskii, Genrich R. (6)
- Boardman, J. Michael (6)
- Brunetti, Maurizio (6)
- Bunkova, Elena Yur’evna (6)
- Ceccherini-Silberstein, Tullio G. (6)
- de Jong, Aise Johan (6)
- Dubrovin, Nikolaĭ Ivanovich (6)
- Johnson, Keith Peter (6)
- Klimann, Ines (6)
- Lenart, Cristian (6)
- and 2,292 more Authors
all
top 5
Serial
- J. Algebra (86)
- Trans. Am. Math. Soc. (62)
- J. Pure Appl. Algebra (53)
- Proc. Am. Math. Soc. (50)
- Theor. Comput. Sci. (39)
- Commun. Algebra (38)
- Adv. Math. (37)
- Math. Z. (37)
- Invent. Math. (35)
- Am. J. Math. (33)
- Int. J. Algebra Comput. (33)
- Topology Appl. (29)
- Russ. Math. Surv. (28)
- Homology Homotopy Appl. (27)
- J. Reine Angew. Math. (26)
- Pac. J. Math. (26)
- Algebr. Geom. Topol. (26)
- Math. Ann. (25)
- Math. Notes (24)
- Compos. Math. (23)
- J. Number Theory (21)
- Manuscr. Math. (21)
- Topology (21)
- Can. J. Math. (18)
- Osaka J. Math. (17)
- Proc. Lond. Math. Soc. (3) (17)
- C. R. Acad. Sci., Paris, Sér. I (17)
- Math. Proc. Camb. Philos. Soc. (16)
- J. Math. Kyoto Univ. (16)
- Doc. Math. (16)
- Ann. Inst. Fourier (15)
- Duke Math. J. (15)
- J. Lond. Math. Soc., II. Ser. (15)
- J. Math. Sci., New York (14)
- Geom. Topol. (14)
- Ann. Sci. Éc. Norm. Supér. (4) (13)
- Arch. Math. (13)
- Ann. Math. (2) (13)
- Commun. Math. Phys. (12)
- Ill. J. Math. (12)
- Int. Math. Res. Not. (12)
- St. Petersbg. Math. J. (12)
- J. Topol. (12)
- Bull. Lond. Math. Soc. (11)
- Bull. Soc. Math. Fr. (11)
- J. Comput. Syst. Sci. (11)
- J. Sov. Math. (11)
- Math. USSR, Izv. (11)
- Publ. Res. Inst. Math. Sci. (11)
- Sov. Math., Dokl. (11)
- Math. USSR, Sb. (11)
- C. R. Acad. Sci., Paris, Sér. A (11)
- Proc. Steklov Inst. Math. (11)
- Can. Math. Bull. (10)
- Sib. Mat. Zh. (10)
- Forum Math. (10)
- Izv. Akad. Nauk SSSR, Ser. Mat. (10)
- J. Math. Phys. (9)
- Nucl. Phys., B (9)
- Usp. Mat. Nauk (9)
- Hiroshima Math. J. (9)
- Tamkang J. Math. (9)
- Bull. Am. Math. Soc., New Ser. (9)
- New York J. Math. (9)
- Lect. Notes Math. (9)
- J. Homotopy Relat. Struct. (9)
- Acta Inf. (8)
- Geom. Dedicata (8)
- J. Math. Soc. Japan (8)
- Math. Nachr. (8)
- Mem. Am. Math. Soc. (8)
- Sib. Math. J. (8)
- J. Symb. Comput. (8)
- \(K\)-Theory (8)
- J. Am. Math. Soc. (8)
- Sel. Math., New Ser. (8)
- Sb. Math. (8)
- Groups Complex. Cryptol. (8)
- Rocky Mt. J. Math. (7)
- Comment. Math. Helv. (7)
- Fundam. Math. (7)
- Math. Scand. (7)
- Proc. Japan Acad., Ser. A (7)
- Rend. Semin. Mat. Univ. Padova (7)
- Semigroup Forum (7)
- Soobshch. Akad. Nauk Gruz. SSR (7)
- Int. J. Found. Comput. Sci. (7)
- Vestn. St. Petersbg. Univ., Math. (7)
- Q. J. Math. (7)
- J. Algebra Appl. (7)
- Pure Appl. Math. Q. (7)
- Bull. Aust. Math. Soc. (6)
- Isr. J. Math. (6)
- J. Math. Anal. Appl. (6)
- Acta Math. Sin. (6)
- Ann. Sc. Norm. Super. Pisa, Cl. Sci., IV. Ser. (6)
- Glasg. Math. J. (6)
- Mat. Sb., Nov. Ser. (6)
- Proc. Edinb. Math. Soc., II. Ser. (6)
- Tokyo J. Math. (6)
- and 432 more Serials
all
top 5
Year of Publication
- 2024 (49)
- 2023 (81)
- 2022 (73)
- 2021 (66)
- 2020 (95)
- 2019 (75)
- 2018 (71)
- 2017 (69)
- 2016 (67)
- 2015 (71)
- 2014 (62)
- 2013 (56)
- 2012 (59)
- 2011 (54)
- 2010 (51)
- 2009 (60)
- 2008 (67)
- 2007 (62)
- 2006 (45)
- 2005 (55)
- 2004 (44)
- 2003 (47)
- 2002 (51)
- 2001 (46)
- 2000 (70)
- 1999 (54)
- 1998 (64)
- 1997 (42)
- 1996 (59)
- 1995 (78)
- 1994 (54)
- 1993 (60)
- 1992 (69)
- 1991 (54)
- 1990 (63)
- 1989 (76)
- 1988 (55)
- 1987 (71)
- 1986 (53)
- 1985 (63)
- 1984 (53)
- 1983 (69)
- 1982 (80)
- 1981 (50)
- 1980 (70)
- 1979 (78)
- 1978 (54)
- 1977 (15)
- 1976 (8)
- 1975 (9)
- 1974 (9)
- 1973 (6)
- 1972 (10)
- 1971 (25)
- 1970 (19)
- 1969 (2)
- 1968 (2)
- 1967 (2)
- 1966 (2)
- 1965 (1)
- 1963 (2)
- 1962 (2)
all
top 3
Main Field
- 55-XX (1,282)
- 14-XX (979)
- 20-XX (648)
- 57-XX (588)
- 11-XX (467)
- 68-XX (447)
- 16-XX (315)
- 13-XX (215)
- 19-XX (141)
- 58-XX (111)
- 03-XX (104)
- 05-XX (97)
- 12-XX (94)
- 22-XX (92)
- 17-XX (91)
- 18-XX (91)
- 53-XX (78)
- 32-XX (77)
- 81-XX (75)
- 37-XX (53)
- 06-XX (45)
- 34-XX (36)
- 00-XX (31)
- 94-XX (31)
- 35-XX (30)
- 46-XX (23)
- 33-XX (18)
- 39-XX (18)
- 15-XX (17)
- 83-XX (15)
- 01-XX (14)
- 43-XX (14)
- 30-XX (13)
- 08-XX (12)
- 54-XX (12)
- 47-XX (9)
- 82-XX (9)
- 91-XX (9)
- 52-XX (8)
- 51-XX (7)
- 60-XX (7)
- 65-XX (7)
- 70-XX (7)
- 93-XX (6)
- 26-XX (5)
- 49-XX (5)
- 62-XX (5)
- 92-XX (5)
- 90-XX (4)
- 28-XX (3)
- 31-XX (2)
- 42-XX (2)
- 76-XX (2)
- 45-XX (1)
- 74-XX (1)
- 97-XX (1)
all
top 3
Biographic Reference
- Goerss, Paul G. (1)
- Grothendieck, Alexander (1)
- Hotz, Günter (1)
- McAlister, Donald B. (1)
- Thierrin, Gabriel (1)
- Vvedenskiĭ, Oleg Nikolaevich (1)
all
top 3
Software
- GAP (12)
- Magma (6)
- SINGULAR (5)
- SageMath (5)
- OEIS (4)
- Archive Formal Proofs (3)
- GitHub (3)
- kbmag (3)
- ALGOL 60 (2)
- AUTOMATA (2)
- AutomGrp (2)
- CRAG (2)
- FR (2)
- Isabelle (2)
- Isabelle/HOL (2)
- MathOverflow (2)
- Normaliz (2)
- automata (2)
- AMoRE (1)
- Algorithm 862 (1)
- CASA (1)
- Calabi-Yau database (1)
- Combinatorics_Words (1)
- DLMF (1)
- Deep_Learning (1)
- Free Groups (1)
- Groebner_Bases (1)
- Group-Ring-Module (1)
- Grout (1)
- HOL (1)
- IntegerSequences (1)
- Isar (1)
- Isolde (1)
- Jordan Normal Forms (1)
- LCF (1)
- LIE (1)
- Lean (1)
- MAF (1)
- Macaulay2 (1)
- Mathemagix (1)
- Mathematica (1)
- Matrix_Tensor (1)
- Metis_ (1)
- Mizar (1)
- Mmxlib (1)
- Modula (1)
- Polynomials (1)
- Sage-Combinat (1)
- SgpViz (1)
- Sledgehammer (1)
- Tarskis_Geometry (1)
- Walnut (1)
- admcycles (1)
- classifyCeq.lib (1)
- mathlib (1)
- matrixss (1)
- numericalsgps (1)
- polymake (1)
- schubert (1)
- sl2cfoam (1)
- z3 (1)