Found 112 Documents (Results 1–100)
Topology of the moduli spaces of Higgs bundles over abelian varieties. (English) Zbl 07915453
Gothen, Peter (ed.) et al., Moduli spaces and vector bundles – new trends. VBAC 2022 conference in honor of Peter Newstead’s 80th birthday, University of Warwick, Coventry, United kingdom, July 25–29, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 803, 23-37 (2024).
Intersection cohomology of rank 2 character varieties of surface groups. (English) Zbl 1523.14084
Reviewer: Sean Lawton (Fairfax)
Weighted Hodge ideals of reduced divisors. (English) Zbl 1523.14065
Reviewer: Aleksandr G. Aleksandrov (Moskva)
Robust aircraft conflict resolution under trajectory prediction uncertainty. (English) Zbl 1525.90449
P=W conjectures for character varieties with symplectic resolution. (Les conjectures P=W pour les variétés de caractères ayant une résolution symplectique.) (English. French summary) Zbl 1499.14087
Reviewer: Patrick Graf (Bayreuth)
Cohomology of contact loci. (English) Zbl 1495.14026
Reviewer: Dmitry Stepanov (Moskva)
Disjunctive linear separation conditions and mixed-integer formulations for aircraft conflict resolution. (English) Zbl 1490.90197
On the nonnegativity of stringy Hodge numbers. (English) Zbl 1489.14019
Reviewer: Mohammad Reza Rahmati (León)
Resolutions of Newton non-degenerate mixed polynomials of strongly polar non-negative mixed weighted homogeneous face type. (English) Zbl 1481.14088
Reviewer: Tadeusz Krasiński (Łódź)
Meta-heuristic algorithm for aircraft pre-tactical conflict resolution with altitude and heading angle change maneuvers. (English) Zbl 1476.90205
A mixed integer linear programming model for multi-sector planning using speed and heading changes. (English) Zbl 1510.90309
Intersection cohomology of pure sheaf spaces using Kirwan’s desingularization. (English) Zbl 1456.14015
Reviewer: Edoardo Ballico (Povo)
A multi-frame super-resolution based on new variational data fidelity term. (English) Zbl 1481.94018
Parameter resolution of estimation methods for linear regression models. (Chinese. English summary) Zbl 1474.62064
Combining regression and mixed-integer programming to model counterinsurgency. (English) Zbl 1455.91209
On the topology of a resolution of isolated singularities. II. (English) Zbl 1439.14017
Reviewer: Aleksandr G. Aleksandrov (Moskva)
Mixed 2- and \(2^r\)-level fractional factorial split-plot designs with clear effects. (English) Zbl 1432.62260
MSC:
62K15
On complex homogeneous singularities. (English) Zbl 1423.14024
Reviewer: Vladimir P. Kostov (Nice)
Learning MILP resolution outcomes before reaching time-limit. (English) Zbl 1525.90283
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11494, 275-291 (2019).
Multidomain mixed variational analysis of transport flow through elastoviscoplastic porous media. (English) Zbl 1418.35244
Mixed stabilities for analyzing opponents’ heterogeneous behavior within the graph model for conflict resolution. (English) Zbl 1431.91129
MSC:
91B06
Bounds on the maximum number of clear two-factor interaction components for \(8 \times 4 \times {2^n}\) designs. (Chinese. English summary) Zbl 1399.62134
Maximizing the number of conflict-free aircraft using mixed-integer nonlinear programming. (English) Zbl 1391.90424
Two decomposition algorithms for solving a minimum weight maximum clique model for the air conflict resolution problem. (English) Zbl 1394.90603
On the aircraft conflict resolution problem: a VNS approach in a multiobjective framework. (English) Zbl 1387.90232
Pardo, Eduardo G. (ed.) et al., Selected short papers of the 4th international conference on variable neighborhood search (ICVNS’16), Malaga, Spain, October 3–5, 2016. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 58, 151-158 (2017).
Resolution of singularities of differential forms and Hsiang-Pati coordinates. (English) Zbl 1379.14011
Ji, Lizhen (ed.), Hodge Theory and \(L^2\)-analysis. Somerville, MA: International Press; Beijing: Higher Education Press (ISBN 978-1-57146-351-7/pbk). Advanced Lectures in Mathematics (ALM) 39, 127-149 (2017).
Resolution of singularities of the cotangent sheaf of a singular variety. (English) Zbl 1360.14038
Reviewer: Dmitry Stepanov (Moskwa)
View upsampling optimization for mixed resolution 3D video coding. (English) Zbl 1441.94013
MSC:
94A08
Toward computer-assisted discovery and automated proofs of cutting plane theorems. (English) Zbl 1445.68329
Cerulli, Raffaele (ed.) et al., Combinatorial optimization. 4th international symposium, ISCO 2016, Vietri sul Mare, Italy, May 16–18, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9849, 332-344 (2016).
New formulations for the conflict resolution problem in the scheduling of television commercials. (English) Zbl 1348.90393
Semistable reduction of a normal crossing \(\mathbb Q\)-divisor. (English) Zbl 1357.32022
Reviewer: Jan Stevens (Göteborg)
Multiobjective optimization for aircraft conflict resolution. A metaheuristic approach. (English) Zbl 1346.90838
Numerical approximation of partial differential equations. (English) Zbl 1353.65089
Texts in Applied Mathematics 64. Cham: Springer (ISBN 978-3-319-32353-4/hbk; 978-3-319-32354-1/ebook). xv, 535 p. (2016).
Reviewer: Rolf Dieter Grigorieff (Berlin)
MSC:
65Mxx
65Nxx
65M06
65M60
65N06
65N22
65N30
65N50
65N55
65-02
65N08
65M08
35J25
35K05
65F08
74S05
74B05
74K20
78A25
78M10
76D05
76M10
35L05
A linear characterization of the switching dynamic behavior of timed continuous Petri nets with structural conflicts. (English) Zbl 1344.68165
A new variant of the minimum-weight maximum-cardinality clique problem to solve conflicts between aircraft. (English) Zbl 1370.90076
Le Thi, Hoai An (ed.) et al., Modelling, computation and optimization in information systems and management sciences. Proceedings of the 3rd international conference on modelling, computation and optimization in information systems and management sciences, MCO 2015, Lorraine, France, May 11–13, 2015. Part I. Cham: Springer (ISBN 978-3-319-18160-8/pbk; 978-3-319-18161-5/ebook). Advances in Intelligent Systems and Computing 359, 3-14 (2015).
A space-discretized mixed-integer linear model for air-conflict resolution with speed and heading maneuvers. (English) Zbl 1348.90668
Mixed-level designs with resolution III or IV containing clear two-factor interaction components. (English) Zbl 1329.62355
A VNS metaheuristic for solving the aircraft conflict detection and resolution problem by performing turn changes. (English) Zbl 1334.90081
Fractional factorial split-plot designs with two- and four-level factors containing clear effects. (English) Zbl 1317.62063
2-Jordan blocks for the eigenvalue \(\lambda = 1\) of Yomdin-Lê surface singularities. (2-Blocs de Jordan pour la valeur propre \(\lambda = 1\) des singularités de surface de type Yomdin-Lê.) (English. Abridged French version) Zbl 1330.14013
Reviewer: Jan Stevens (Göteborg)
Generalized mixed product ideals. (English) Zbl 1303.13012
Reviewer: Christodor-Paul Ionescu (Bucureşti)
Conditions of \(2^{(n_1+n_2)-(k_1+k_2)}4^2\) mixed-level split-plot designs containing clear effects. (Chinese. English summary) Zbl 1488.62129
Conflict avoidance: \(0-1\) linear models for conflict detection & resolution. (English) Zbl 1276.90015
MSC:
90B20
Computational strategies for non-convex multistage MINLP models with decision-dependent uncertainty and gradual uncertainty resolution. (English) Zbl 1269.90073
Exploiting the power of MIP solvers in MAXSAT. (English) Zbl 1390.68592
Järvisalo, Matti (ed.) et al., Theory and applications of satisfiability testing – SAT 2013. 16th international conference, Helsinki, Finland, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39070-8/pbk). Lecture Notes in Computer Science 7962, 166-181 (2013).
Completions of Grothendieck groups. (English) Zbl 1271.18017
Reviewer: Marc Nieper-Wißkirchen (Augsburg)
Mixed-level fractional factorial split-plot designs containing clear effects. (English) Zbl 1410.62154
A mathematical study of the ice flow behavior in a neighborhood of the grounding line. (English) Zbl 1191.86007
Camacho, Antonio G. (ed.) et al., Earth sciences and mathematics. Volume II. Basel: Birkhäuser (ISBN 978-3-7643-9963-4). Pageoph Topical Volumes, 1603-1618 (2009).
Challenges in constraint-based analysis of hybrid systems. (English) Zbl 1248.68328
Oddi, Angelo (ed.) et al., Recent advances in constraints. 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18–20, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03250-9/pbk). Lecture Notes in Computer Science 5655. Lecture Notes in Artificial Intelligence, 51-65 (2009).
MSC:
68Q60
68T15
Some results on \(4^m 2^n\) designs with clear two-factor interaction components. (English) Zbl 1143.62043
MSC:
62K15
\(2^m 4^n\) designs with resolution III or IV containing clear two-factor interaction components. (English) Zbl 1148.62063
Mixed resolutions and simplicial sections. (English) Zbl 1143.14002
Reviewer: Marek Golasiński (Toruń)
Two-level factorial designs for searching dispersion factors and estimating location main effects. (English) Zbl 1104.62089
MSC:
62K15
Motivic integration and McKay correspondence. (English) Zbl 1082.14002
Arbarello, E. (ed.) et al., School and conference on intersection theory and moduli. Lectures given at the school and conference, Trieste, Italy, September 9–27, 2002. Trieste: ICTP - The Abdus Salam International Centre for Theoretical Physics (ISBN 92-95003-28-4/pbk). ICTP Lecture Notes 19, 295-327 (2004).
Reviewer: Gerhard Pfister (Kaiserslautern)
Generalized Tjurina numbers of an isolated complete intersection singularity. (English) Zbl 1063.32006
Reviewer: Carlos Galindo (Castellon)
Orbifold cohomology as periodic cyclic homology. (English) Zbl 1056.14028
Reviewer: Friedrich Wagemann (Nantes)
Spectral representation and asymptotic properties of certain deterministic fields with innovation components. (English) Zbl 1032.62091
Reviewer: Andrew Olenko (Kyïv)
On Hodge spectrum and multiplier ideals. (English) Zbl 1035.14010
Reviewer: Eugenii I. Shustin (Tel Aviv)
Coherent states for SU(3). (English) Zbl 1011.81023
On the string-theoretic Euler numbers of 3-dimensional \(A\)-\(D\)-\(E\) singularities. (English) Zbl 1092.32015
On the string-theoretic Euler number of a class of absolutely isolated singularities. (English) Zbl 0986.14020
Reviewer: Gerhard Pfister (Kaiserslautern)
A characterization of quasi-homogeneous purely elliptic complete intersection singularities. (English) Zbl 0969.32012
Reviewer: Z.Hajto (Kraków)
Hodge numbers attached to a polynomial map. (English) Zbl 0944.32029
Reviewer: T.de Jong (Saarbrücken)
An affine algebraic type of the Plücker-Milnor formula on \(\mathbb{C}^2\). (English) Zbl 0934.32022
Reviewer: A.G.Aleksandrov (Moskva)
Non-Archimedean integrals and stringy Euler numbers of log-terminal pairs. (English) Zbl 0943.14004
Reviewer: M.Lejeune-Jalabert (Grenoble)
Resolution search. (English) Zbl 0869.90055
MUltlog 1.0: towards an expert system for many-valued logics. (English) Zbl 1412.68204
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 226-230 (1996).
Limiting imbeddings. The case of missing derivatives. (English) Zbl 0930.46029
Reviewer: J.Musielak (Poznań)
High resolution upwind-mixed finite element methods for advection- diffusion equations with variable time-stepping. (English) Zbl 0837.65107
Reviewer: T.Roubíček (Praha)
Singularities and topology of hypersurfaces. (English) Zbl 0753.57001
Universitext. New York etc.: Springer-Verlag. xvi, 263 p. (1992).
Reviewer: C.T.C.Wall (Liverpool)
Résolution stochastique de systèmes d’équations aux dérivées partielles du type parabolique affine et applications physiques. (Stochastic resolution of affine parabolic partial differential equations and physical applications). (French) Zbl 0725.65105
Reviewer: Raoul F. Gloden (Ispra)
Compact normal forms in propositional logic and integer programming formulations. (English) Zbl 0695.90064
Logic-based decision support. Mixed integer model formulation. (English) Zbl 0698.90062
Annals of Discrete Mathematics, 40. Amsterdam etc.: North-Holland. xv, 222 p. $ 78.00; Dfl. 160.00 (1989).
Optimality of some fractional factorial designs. (English) Zbl 0709.62067
Optimal design and analysis of experiments, Pap. 1st Int. Conf.-Workshop, Neuchâtel/Switz. 1988, 39-45 (1988).
Numerical modelling of nonlinear effects in laminar flow through a porous medium. (English) Zbl 0644.76107
Deep-water plunging breakers: A comparison between potential theory and experiments. (English) Zbl 0642.76020
Linear operators. Part II: Spectral theory, self adjoint operators in Hilbert space. With the assistance of William G. Bade and Robert G. Bartle. Repr. of the orig., publ. 1963 by John Wiley & Sons Ltd., Paperback ed. (English) Zbl 0635.47002
Wiley Classics Library. New York etc.: John Wiley & Sons Ltd./Interscience Publishers, Inc. ix, 859-1923 $25.95 (1988).
Differentialformen in der algebraischen und analytischen Geometrie. (Differentiam forms in the algebraic and analytic geometry). (German) Zbl 0711.14009
Bochum: Univ. Bochum, Habil.-Schr. 121 S. (1987).
Reviewer: J.H.de Boer
The dualizing complexes of normal isolated du Bois singularities. (English) Zbl 0800.32007
Nagata, M. (ed.) et al., Algebraic and topological theories. Papers from the symposium dedicated to the memory of Dr. Takehiko Miyata held in Kinosaki, October 30-November 9, 1984. Tokyo: Kinokuniya Company Ltd. 387-390 (1986).
Application of the ”generalized Riemann problem” method to 1-D compressible flows with material interfaces. (English) Zbl 0591.76118
Polyhedral resolutions of algebraic varieties. (English) Zbl 0602.14012
Reviewer: M.Heep
Filter Results by …
Document Type
- Journal Articles (91)
- Collection Articles (15)
- Books (6)
all
top 5
Author
- Zhao, Shengli (8)
- Alonso-Ayuso, Antonio (4)
- Escudero, Laureano Fernando (4)
- Liu, Min-Qian (3)
- Martín-Campo, F. Javier (3)
- Omer, Jérémy (3)
- Rey, David (3)
- Soumis, François (3)
- Belotto, André (2)
- Bierstone, Edward (2)
- Budur, Nero (2)
- Dais, Dimitrios I. (2)
- Desaulniers, Guy (2)
- Dias, Fernando H. C. (2)
- Kuo, Tzee-Char (2)
- Lê, Quy Thuong (2)
- Lehouillier, Thibault (2)
- Martín-Morales, Jorge (2)
- Mauri, Mirko (2)
- Milman, Pierre D. (2)
- Mladenović, Nenad (2)
- Olano, Sebastián (2)
- Vosegaard, Henrik (2)
- Zhang, Runchu (2)
- Zhao, Qianqian (2)
- Abramsky, Samson (1)
- Achar, Pramod N. (1)
- Adiprasito, Karim Alexander (1)
- Alduncin, Gonzalo (1)
- Alla, Hassane (1)
- Anderson, Virgil L. (1)
- Baaz, Matthias (1)
- Bacchus, Fahiem (1)
- Bade, William George (1)
- Baranovsky, Vladimir (1)
- Bartels, Sören (1)
- Barthel, Gottfried (1)
- Bartle, Robert G. (1)
- Bartlett, Maurice Stevenson (1)
- Batyrev, Victor V. (1)
- Ben-Artzi, Matania (1)
- Ben-David, Emanuel (1)
- Birkes, David S. (1)
- Birman, Amnon (1)
- Biswas, Indranil (1)
- Bizoń, Piotr (1)
- Borkowski, John Joseph (1)
- Bose, Raj Chandra (1)
- Brasselet, Jean-Paul (1)
- Cafieri, Sonia (1)
- Caltagirone, Jean-Paul (1)
- Carlson, James A. (1)
- Cecen, Ramazan Kursat (1)
- Cetek, Cem (1)
- Chen, Shiping (1)
- Chen, Xiangfei (1)
- Chmaj, Tadeusz (1)
- Chung, Kiryong (1)
- Chvátal, Václav (1)
- Cohen, Guy (1)
- Collombier, Dominique (1)
- Coulaud, Olivier (1)
- Davies, Jessica Katharine (1)
- Dawson, Clint N. (1)
- de Cataldo, Mark Andrea A. (1)
- Di Gennaro, Vincenzo (1)
- Dimca, Alexandru (1)
- Dommermuth, Douglas G. (1)
- Dunford, Nelson (1)
- Eggers, Andreas (1)
- Fang, Liping (1)
- Felisetti, Camilla (1)
- Fermüller, Christian G. (1)
- Fernández de Bobadilla, Javier (1)
- Fischetti, Martina (1)
- Arango Florentino, Carlos Armindo (1)
- Fontelos López, Marco Antonio (1)
- Franco, Davide (1)
- Francos, Joseph M. (1)
- Fuller, David A. (1)
- Gabbouj, Moncef (1)
- Gagnon, Philippe (1)
- Gaku, Liu (1)
- Galbreath, David R. (1)
- Ghazdali, Abdelghani (1)
- Giallombardo, Giovanni (1)
- Giarlotta, Alfio (1)
- Glover, Fred W. (1)
- Goel, Vikas (1)
- Grandjean, Vincent (1)
- Grossmann, Ignacio E. (1)
- Gudiño-Mendoza, Berenice (1)
- Hakim, Moad (1)
- Han, Xiaoxue (1)
- Hanafi, Saïd (1)
- Hannuksela, Miska M. (1)
- Hassan, Mohamed Ossama (1)
- Hayashi, Yoshiko (1)
- Hering, Amanda S. (1)
- Herzog, Jürgen (1)
- and 94 more Authors
all
top 5
Serial
- J. Stat. Plann. Inference (4)
- Comput. Oper. Res. (4)
- Eur. J. Oper. Res. (4)
- J. Fluid Mech. (2)
- Metrika (2)
- Biometrika (2)
- Math. Ann. (2)
- Ann. Oper. Res. (2)
- Top (2)
- J. Singul. (2)
- Appl. Anal. (1)
- Bull. Aust. Math. Soc. (1)
- Discrete Appl. Math. (1)
- Isr. J. Math. (1)
- J. Comput. Phys. (1)
- J. Math. Phys. (1)
- Nonlinearity (1)
- J. Geom. Phys. (1)
- Acta Math. Vietnam. (1)
- Adv. Math. (1)
- Ann. Inst. Fourier (1)
- Ann. Mat. Pura Appl. (4) (1)
- Arch. Math. (1)
- Bull. Lond. Math. Soc. (1)
- Compos. Math. (1)
- Inf. Sci. (1)
- J. Differ. Geom. (1)
- Kodai Math. J. (1)
- Manuscr. Math. (1)
- Oper. Res. (1)
- Pac. J. Math. (1)
- Publ. Res. Inst. Math. Sci. (1)
- Ric. Mat. (1)
- Technometrics (1)
- Tôhoku Math. J. (2) (1)
- Trans. Am. Math. Soc. (1)
- Sov. Math. (1)
- Stat. Probab. Lett. (1)
- Oper. Res. Lett. (1)
- Order (1)
- J. Symb. Comput. (1)
- Probab. Theory Relat. Fields (1)
- New Generation Comput. (1)
- Numer. Methods Partial Differ. Equations (1)
- Sci. China, Ser. A (1)
- Int. J. Math. (1)
- Multidimensional Syst. Signal Process. (1)
- Int. Math. Res. Not. (1)
- J. Glob. Optim. (1)
- Appl. Math. Modelling (1)
- Bull. Inst. Math., Acad. Sin. (1)
- Commun. Stat., Theory Methods (1)
- Math. Chron. (1)
- U.S.S.R. Comput. Math. Math. Phys. (1)
- Vestn. Mosk. Univ., Ser. I (1)
- Bull. Dir. Étud. Rech., Sér. C (1)
- Stat. Pap. (1)
- Math. Res. Lett. (1)
- Sémin. Lothar. Comb. (1)
- J. Comb. Optim. (1)
- Far East J. Theor. Stat. (1)
- Ann. Math. (2) (1)
- J. Eur. Math. Soc. (JEMS) (1)
- Adv. Geom. (1)
- Acta Math. Sci., Ser. A, Chin. Ed. (1)
- C. R., Math., Acad. Sci. Paris (1)
- J. Inst. Math. Jussieu (1)
- Proc. Camb. Philos. Soc. (1)
- Ann. Discrete Math. (1)
- Stat., Textb. Monogr. (1)
- Texts Appl. Math. (1)
- Acta Math. Sin., Chin. Ser. (1)
- Nonlinear Anal., Hybrid Syst. (1)
- Electron. J. Stat. (1)
- J. Topol. Anal. (1)
- Sci. Sin., Math. (1)
- Forum Math. Sigma (1)
- J. Éc. Polytech., Math. (1)
- Universitext (1)
all
top 5
Year of Publication
- 2025 (1)
- 2024 (1)
- 2023 (3)
- 2022 (4)
- 2021 (5)
- 2020 (6)
- 2019 (6)
- 2017 (6)
- 2016 (7)
- 2015 (6)
- 2014 (2)
- 2013 (5)
- 2012 (3)
- 2010 (1)
- 2009 (2)
- 2008 (3)
- 2007 (1)
- 2006 (1)
- 2004 (3)
- 2003 (3)
- 2002 (3)
- 2001 (3)
- 2000 (1)
- 1999 (3)
- 1997 (2)
- 1996 (2)
- 1995 (2)
- 1992 (2)
- 1990 (2)
- 1989 (1)
- 1988 (5)
- 1987 (1)
- 1986 (2)
- 1985 (1)
- 1984 (3)
- 1983 (2)
- 1982 (3)
- 1981 (2)
- 1979 (1)
- 1978 (1)
- 1938 (1)
all
top 3
Main Field
- 14-XX (39)
- 32-XX (36)
- 90-XX (26)
- 62-XX (25)
- 68-XX (10)
- 76-XX (7)
- 35-XX (6)
- 65-XX (6)
- 55-XX (5)
- 58-XX (5)
- 91-XX (5)
- 03-XX (4)
- 13-XX (4)
- 18-XX (3)
- 46-XX (3)
- 60-XX (3)
- 05-XX (2)
- 26-XX (2)
- 57-XX (2)
- 74-XX (2)
- 94-XX (2)
- 06-XX (1)
- 16-XX (1)
- 19-XX (1)
- 22-XX (1)
- 41-XX (1)
- 43-XX (1)
- 47-XX (1)
- 53-XX (1)
- 78-XX (1)
- 81-XX (1)
- 86-XX (1)
all
top 3
Software
- CPLEX (5)
- AMPL (2)
- Gurobi (2)
- MINOTAUR (2)
- ABsolver (1)
- BARON (1)
- BLAST (1)
- BOTTEMA (1)
- CVX (1)
- FOCI (1)
- GLOB (1)
- GitHub (1)
- HySAT (1)
- Ipopt (1)
- MASS (R) (1)
- MUltlog (1)
- MathSAT (1)
- Matlab (1)
- MiniMaxSat (1)
- POPMUSIC (1)
- PORTA (1)
- PPL (1)
- PSATO (1)
- PaMira (1)
- PaSAT (1)
- QEPCAD (1)
- R (1)
- Refal (1)
- SATO (1)
- SageMath (1)
- Sat4j (1)
- SoftPOSIT (1)
- Stan (1)
- UCI-ml (1)
- VisualUTA (1)
- cutgeneratingfunctionology (1)
- fastLink (1)
- infinite group relaxation (1)
- kepler98 (1)
- robustbase (1)
