Found 5,215 Documents (Results 1–100)
A correction of the friction term in depth-averaged granular flow models related to the motion/stop criterion. (English) Zbl 07921383
Parés, Carlos (ed.) et al., Hyperbolic problems: theory, numerics, applications, HYP2022. Proceedings of the XVIII international conference, Málaga, Spain, June 20–24, 2022. Volume II. Cham: Springer. SEMA SIMAI Springer Ser. 35, 281-290 (2024).
MSC:
35Lxx
Almost strong finite type rings and Krull dimension of power series ring extensions from sequences. (English) Zbl 07916053
Near resonance vibration isolation on a levered-dual response (LEDAR) Coulomb-damped system by differential preloads/offsets in linear springs. (English) Zbl 07912649
On the theory and applications of \(G\)-dimension with respect to a semidualizing module. (English) Zbl 07910528
Powers of generalized binomial edge ideals of path graphs. (English) Zbl 07902406
Reviewer: Tongsuo Wu (Shanghai)
TFDepth: self-supervised monocular depth estimation with multi-scale selective transformer feature fusion. (English) Zbl 07900210
A semi-conservative depth-averaged material point method for fast flow-like landslides and mudflows. (English) Zbl 07899921
Pebble-depth. (English) Zbl 07898950
MSC:
68Qxx
On the depth of cylindrical indentation of an elastic half-space for different types of displacement boundary conditions. (English) Zbl 07895516
MSC:
74-XX
On the upslope propagation of an adiabatic normal mode in a wedge-shaped sea. (English) Zbl 07895149
Anisotropic Ginzburg-Landau model for superconductivity with five-dimensional operators. (English) Zbl 07894216
Limits of preprocessing. (English) Zbl 07890763
On the depth of a multiplexer function with a small number of select lines. (English. Russian original) Zbl 07885074
Math. Notes 115, No. 5, 748-754 (2024); translation from Mat. Zametki 115, No. 5, 741-748 (2024).
Layered shallow water equations: spatiotemporally varying layer ratios with specific adaptation to wet/dry interfaces. (English) Zbl 07882705
Comparing machine learning algorithms by union-free generic depth. (English) Zbl 07879259
MSC:
68T05
Model-based statistical depth for matrix data. (English) Zbl 07870193
MSC:
62-XX
Stable value of depth of symbolic powers of edge ideals of graphs. (English) Zbl 07864447
Reviewer: Ashkan Nikseresht (Shiraz)
Self-exciting price impact via negative resilience in stochastic order books. (English) Zbl 1537.91293
Defective coloring is perfect for minors. (English) Zbl 07857941
Reviewer: David B. Penman (Colchester)
Schnyder Woods and long induced paths in 3-connected planar graphs. (English) Zbl 07857860
Soto, José A. (ed.) et al., Latin 2024: theoretical informatics. 16th Latin American symposium, Puerto Varas, Chile, March 18–22, 2024. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14579, 19-30 (2024).
Depth-optimized quantum implementation of ARIA. (English) Zbl 07857810
Seo, Hwajeong (ed.) et al., Information security and cryptology – ICISC 2023. 26th international conference on information security and cryptology, ICISC 2023, Seoul, South Korea, November 29 – December 1, 2023. Revised selected papers. Part I. Singapore: Springer. Lect. Notes Comput. Sci. 14561, 79-96 (2024).
Toffoli-depth reduction method preserving in-place quantum circuits and its application to SHA3-256. (English) Zbl 07856721
Quantiles and depth for directional data from elliptically and skew-rotationally symmetric distributions. (English) Zbl 07855848
MSC:
62-XX
State space approach to characterize Rayleigh waves in nonlocal thermoelastic medium with double porosity under three-phase-lag model. (English) Zbl 1541.74044
Model-based statistical depth with applications to functional data. (English) Zbl 07846638
MSC:
62Gxx
A data depth based nonparametric test of independence between two random vectors. (English) Zbl 07846371
Vertically averaged and moment equations: new derivation, efficient numerical solution and comparison with other physical approximations for modeling non-hydrostatic free surface flows. (English) Zbl 07842865
Algebraic properties of binomial edge ideals of Levi graphs associated with curve arrangements. (English) Zbl 1540.13027
Reviewer: Piotr Pokora (Kraków)
Evolution of wind-induced wave groups in water of finite depth. (English) Zbl 07839572
Reviewer: Denys Dutykh (Le Bourget-du-Lac)
A scalable well-balanced numerical scheme for the simulation of fast landslides with efficient time stepping. (English) Zbl 07834060
Numerical analysis of air-water two-phase upflow in artificial upwelling of deep ocean water by airlift pump. (English) Zbl 07833628
MSC:
76-XX
Lower bounds for the depth of the second power of edge ideals. (English) Zbl 1535.13017
Reviewer: Hossein Faridian (Clemson)
Depth and Stanley depth of two special classes of monomial ideals. (English) Zbl 1539.13033
Reviewer: Yi-Huang Shen (Hefei)
An operator-splitting approach with a hybrid finite volume/finite difference scheme for extended Boussinesq models. (English) Zbl 07827752
Depth-first search performance in a random digraph with geometric outdegree distribution. (English) Zbl 1536.05412
Quantum modular \(\widehat{Z}^G\)-invariants. (English) Zbl 1540.57020
Reviewer: V. Hosana Ranaivomanana (Antananarivo)
Rees algebras and generalized depth-like conditions in prime characteristic. (English) Zbl 07819217
Reviewer: Wenbo Niu (Fayetteville)
Exploring two-dimensional internal waves: a new three-coupled Davey-Stewartson system and physics-informed neural networks with weight assignment methods. (English) Zbl 1535.76026
Reviewer: Denys Dutykh (Le Bourget-du-Lac)
Stability properties of nontrivial periodic water waves for fixed-depth rotational equatorial flows. (English) Zbl 1534.35401
Decreasing behavior of the depth functions of edge ideals. (English) Zbl 1537.13024
Reviewer: Anargyros Katsabekis (Ioannina)
Non-Gorenstein loci of Ehrhart rings of chain and order polytopes. (English) Zbl 1536.13027
Reviewer: Janet Vassilev (Albuquerque)
Lower bounds for the depth of symbolic powers of edge ideals of graphs. (English) Zbl 1537.13025
Reviewer: T. Tamizh Chelvam (Tirunelveli)
On Auslander’s depth formula. (English) Zbl 07791759
Reviewer: Li Liang (Lanzhou)
Valuations with an infinite limit-depth. (English) Zbl 1531.13002
Reviewer: Carlos Galindo (Castellón)
General local cohomology modules with small dimensions. (English) Zbl 1532.13022
Reviewer: Alireza Vahidi (Tehran)
A framework for controllable Pareto front learning with completed scalarization functions and its applications. (English) Zbl 1536.90205
MSC:
90C29
Feature selection based on the self-calibration of binocular camera extrinsic parameters. (English) Zbl 07776506
MSC:
68T45
Linear threshold functions in decision lists, decision trees, and depth-2 circuits. (English) Zbl 1529.68099
MSC:
68Q06
Stability of annihilators of cohomology and closed subsets defined by Jacobian ideals. arXiv:2409.17934
Preprint, arXiv:2409.17934 [math.AC] (2024).
Asymptotic depth of invariant chains of edge ideals. arXiv:2409.06252
Preprint, arXiv:2409.06252 [math.AC] (2024).
Square-free powers of Cohen-Macaulay forests, cycles, and whiskered cycles. arXiv:2409.06021
Preprint, arXiv:2409.06021 [math.AC] (2024).
Comparing Hilbert depth of \(I\) with Hilbert depth of \(S/I\). III. arXiv:2407.04759
Preprint, arXiv:2407.04759 [math.AC] (2024).
Betti numbers of powers of path ideals of cycles. arXiv:2404.17880
Preprint, arXiv:2404.17880 [math.AC] (2024).
Comparing Hilbert depth of \(I\) with Hilbert depth of \(S/I\). II. arXiv:2404.04646
Preprint, arXiv:2404.04646 [math.AC] (2024).
Multivariate Bernstein-type Polynomials of Finitely Generated D-Modules. arXiv:2404.02069
Preprint, arXiv:2404.02069 [math.AC] (2024).
Comparing Hilbert depth of \(I\) with Hilbert depth of \(S/I\). arXiv:2403.17078
Preprint, arXiv:2403.17078 [math.AC] (2024).
Combinatorics of the integral closure of edge ideals of strong quasi-n-partite graphs. arXiv:2403.16109
Preprint, arXiv:2403.16109 [math.AC] (2024).
Unmixedness of generalized Veronese bi-type ideals. arXiv:2403.16094
Preprint, arXiv:2403.16094 [math.AC] (2024).
A finiteness result towards the Casas-Alvero Conjecture. arXiv:2402.18717
Preprint, arXiv:2402.18717 [math.AG] (2024).
Depth and Stanley depth of powers of the path ideal of a cycle graph. II. arXiv:2401.15594
Preprint, arXiv:2401.15594 [math.AC] (2024).
Edge ideals of some edge-weighted graphs. arXiv:2401.02111
Preprint, arXiv:2401.02111 [math.AC] (2024).
Functional linear models for the analysis of similarity of waveforms. (English) Zbl 07921408
Brentari, Eugenio (ed.) et al., Models for data analysis. SIS 2018. Selected papers based on the presentations at the 49th scientific meeting of the Italian Statistical Society, Palermo, Italy, June 20–22, 2018. Cham: Springer. Springer Proc. Math. Stat. 402, 125-140 (2023).
MSC:
62-XX
Parity games of bounded tree-depth. (English) Zbl 07918712
Klin, Bartek (ed.) et al., 31st EACSL annual conference on computer science logic, CSL 2023, February 13–16, 2023, Warsaw, Poland. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 252, Article 33, 20 p. (2023).
MSC:
03B70
Constant-depth sorting networks. (English) Zbl 07918364
Kalai, Yael Tauman (ed.), 14th innovations in theoretical computer science conference, ITCS 2023, January 10–13, 2023, MIT, Cambridge, Massachusetts, USA. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 251, Article 43, 19 p. (2023).
MSC:
68Qxx
Bounding conjugacy depth functions for wreath products of finitely generated abelian groups. (English) Zbl 07910105
Reviewer: Enrico Jabara (Venezia)
Buy and hold golden strategies in financial markets with frictions and depth constraints. (English) Zbl 07878240
On the need for large quantum depth. (English) Zbl 07876160
MSC:
68-XX
Three-dimensional bending-gravitational waves in a floating ice sheet from a moving source of disturbances. (English. Russian original) Zbl 07874294
Fluid Dyn. 58, No. 9, 1716-1724 (2023); translation from Prikl. Mat. Mekh. 87, No. 6, 1037-1048 (2023).
Parallel simulations for fast-moving landslides: space-time mesh adaptation and sharp tracking of the wetting front. (English) Zbl 07847183
Quantum depth in the random oracle model. (English) Zbl 07844658
Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 1111-1124 (2023).
MSC:
68Qxx
Optimal explicit small-depth formulas for the coin problem. (English) Zbl 07844638
Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 881-894 (2023).
MSC:
68Qxx
Filter Results by …
Document Type
- Journal Articles (4,461)
- Collection Articles (594)
- Books (92)
- arXiv Preprints (68)
all
top 5
Author
- Ratliff, Louis J. jun. (39)
- Herzog, Jürgen (35)
- Cimpoeaş, Mircea (32)
- Gilmer, Robert W. jun. (31)
- Dobbs, David Earl (30)
- Jarboui, Noômen (30)
- Zuo, Yijun (28)
- Kadison, Lars (26)
- Seyed Fakhari, Seyed Amin (23)
- Zhu, Guangjun (23)
- Nagy, Stanislav (22)
- Yassemi, Siamak (22)
- Simis, Aron (21)
- Kabbaj, Salah-Eddine (20)
- Sharp, Rodney Y. (20)
- Vasconcelos, Wolmer V. (20)
- Popescu, Dorin (19)
- Müller, Christine H. (18)
- Ngô Viêt Trung (18)
- Rousseeuw, Peter J. (18)
- Tang, Zhongming (18)
- Ayache, Ahmed (17)
- Bouchiba, Samir (16)
- Brodmann, Markus P. (16)
- Kang, Byung Gyun (16)
- Restuccia, Gaetana (16)
- Heinzer, William J. (15)
- Ishaq, Muhammad (15)
- Kayal, Neeraj (15)
- Liu, Regina Y. C. (15)
- Lombardi, Henri (15)
- Saha, Chandan (15)
- Saxena, Nitin (15)
- Félix, Yves (14)
- Fontana, Marco (14)
- Huneke, Craig L. (14)
- La Barbiera, Monica (14)
- Liu, Xiaohui (14)
- Paindaveine, Davy (14)
- Wiegand, Roger Allen (14)
- Eisenbud, David (13)
- Hibi, Takayuki (13)
- Vanden-Broeck, Jean-Marc (13)
- Yang, Xiaoyan (13)
- Halperin, Stephen (12)
- Mafi, Amir (12)
- Mandal, Birendra Nath (12)
- Nguyen, Dang Hop (12)
- Park, Mi Hee (12)
- Shelah, Saharon (12)
- Viola, Emanuele (12)
- Wegener, Ingo (12)
- Arnold, Jimmy T. (11)
- Cascos, Ignacio (11)
- Enochs, Edgar E. (11)
- Goto, Shiro (11)
- McAdam, Stephen J. (11)
- Mozharovskyi, Pavlo (11)
- Sally, Judith D. (11)
- Shen, Yihuang (11)
- Srinivasan, Srikanth (11)
- Terai, Naoki (11)
- Tousi, Massoud (11)
- Ulrich, Bernd (11)
- Balanescu, Silviu (10)
- Ben Nasr, Mabrouk (10)
- Bouvier, Alain (10)
- Bruns, Winfried (10)
- Hà, Huy Tài (10)
- Mosler, Karl Clemens (10)
- Quitté, Claude (10)
- Sahandi, Parviz (10)
- Saptharishi, Ramprasad (10)
- Toan, Phan Thanh (10)
- Blanchet-Sadri, Francine (9)
- Cahen, Paul-Jean (9)
- Celikbas, Olgur (9)
- Duong Quôc Việt (9)
- Fraiman, Ricardo (9)
- Galkin, O. A. (9)
- Hochster, Melvin (9)
- Kumar, Mrinal (9)
- Li, Jun (9)
- Limaye, Nutan (9)
- Nešetřil, Jaroslav (9)
- Ossona de Mendez, Patrice (9)
- Picavet, Gabriel (9)
- Sadeghi, Arash (9)
- Serfling, Robert J. (9)
- Shpilka, Amir (9)
- Šiman, Miroslav (9)
- Thomas, Jean-Claude (9)
- Zhukovskiĭ, Maksim Evgen’evich (9)
- Beame, Paul W. (8)
- Coquand, Thierry (8)
- Ene, Viviana (8)
- Evans, E. Graham jun. (8)
- Genton, Marc G. (8)
- Iyengar, Srikanth B. (8)
- Jenda, Overtoun M. G. (8)
- and 5,975 more Authors
all
top 5
Serial
- Commun. Algebra (186)
- J. Algebra (164)
- J. Fluid Mech. (114)
- J. Pure Appl. Algebra (101)
- Proc. Am. Math. Soc. (86)
- Inf. Process. Lett. (66)
- SIAM J. Comput. (59)
- J. Multivariate Anal. (49)
- Trans. Am. Math. Soc. (47)
- Theor. Comput. Sci. (46)
- J. Algebra Appl. (43)
- Arch. Math. (42)
- Fluid Dyn. (32)
- Comput. Complexity (29)
- Appl. Math. Modelling (28)
- Comput. Stat. Data Anal. (27)
- Int. J. Numer. Methods Fluids (26)
- Discrete Appl. Math. (25)
- Pac. J. Math. (25)
- Math. Z. (24)
- Ann. Stat. (23)
- Int. J. Comput. Vis. (23)
- Manuscr. Math. (21)
- Algebra Colloq. (21)
- J. Lond. Math. Soc., II. Ser. (19)
- Stat. Probab. Lett. (19)
- C. R. Acad. Sci., Paris, Sér. A (19)
- Geophys. J. R. Astron. Soc. (18)
- Rocky Mt. J. Math. (18)
- J. Am. Stat. Assoc. (18)
- Nagoya Math. J. (18)
- Math. Proc. Camb. Philos. Soc. (17)
- Phys. Fluids (17)
- J. Comput. Syst. Sci. (17)
- Discrete Comput. Geom. (17)
- Stat. Pap. (17)
- Discrete Math. (16)
- J. Eng. Math. (16)
- Inf. Comput. (16)
- SIAM J. Discrete Math. (16)
- Eur. J. Oper. Res. (16)
- Pattern Recognition (16)
- Bull. Math. Soc. Sci. Math. Roum., Nouv. Sér. (16)
- Am. J. Math. (15)
- Math. Nachr. (15)
- Math. Scand. (15)
- Comput. Geom. (15)
- Eur. J. Mech., B, Fluids (15)
- Geophys. Astrophys. Fluid Dyn. (14)
- Houston J. Math. (14)
- Int. J. Numer. Anal. Methods Geomech. (14)
- J. Stat. Plann. Inference (14)
- J. Algebr. Comb. (14)
- Can. Math. Bull. (13)
- Algorithmica (13)
- Commun. Stat., Simulation Comput. (13)
- J. Math. Imaging Vis. (13)
- J. Nonparametric Stat. (13)
- Theory Comput. Syst. (13)
- Biol. Cybern. (12)
- Int. J. Eng. Sci. (12)
- J. Acoust. Soc. Am. (12)
- Wave Motion (12)
- Beitr. Algebra Geom. (12)
- Invent. Math. (12)
- Topology Appl. (12)
- Bull. Korean Math. Soc. (12)
- J. Stat. Comput. Simulation (12)
- SIAM J. Appl. Math. (12)
- Bernoulli (12)
- J. Commut. Algebra (12)
- Comput. Math. Appl. (11)
- Inverse Probl. (11)
- Z. Angew. Math. Phys. (11)
- Compos. Math. (11)
- Multidimensional Syst. Signal Process. (11)
- Test (11)
- An. Științ. Univ. “Ovidius” Constanța, Ser. Mat. (11)
- Indian J. Pure Appl. Math. (10)
- J. Aust. Math. Soc., Ser. B (10)
- J. Comput. Phys. (10)
- Hiroshima Math. J. (10)
- Proc. Lond. Math. Soc. (3) (10)
- J. Algorithms (10)
- Combinatorica (10)
- Proc. R. Soc. Lond., Ser. A (10)
- Turk. J. Math. (10)
- Acta Mech. (9)
- Comput. Fluids (9)
- Math. Notes (9)
- Ann. Mat. Pura Appl. (4) (9)
- Collect. Math. (9)
- J. Math. Kyoto Univ. (9)
- Rend. Circ. Mat. Palermo (2) (9)
- Comput. Aided Geom. Des. (9)
- Random Struct. Algorithms (9)
- Int. J. Algebra Comput. (9)
- Discrete Math. Appl. (9)
- Prikl. Mekh. Tekh. Fiz. (9)
- J. Appl. Stat. (9)
- and 985 more Serials
all
top 5
Year of Publication
- 2024 (89)
- 2023 (155)
- 2022 (160)
- 2021 (169)
- 2020 (158)
- 2019 (172)
- 2018 (131)
- 2017 (148)
- 2016 (156)
- 2015 (155)
- 2014 (139)
- 2013 (123)
- 2012 (137)
- 2011 (111)
- 2010 (122)
- 2009 (104)
- 2008 (114)
- 2007 (94)
- 2006 (72)
- 2005 (76)
- 2004 (76)
- 2003 (71)
- 2002 (86)
- 2001 (84)
- 2000 (99)
- 1999 (91)
- 1998 (72)
- 1997 (79)
- 1996 (66)
- 1995 (91)
- 1994 (85)
- 1993 (82)
- 1992 (65)
- 1991 (58)
- 1990 (71)
- 1989 (87)
- 1988 (82)
- 1987 (80)
- 1986 (110)
- 1985 (87)
- 1984 (116)
- 1983 (136)
- 1982 (129)
- 1981 (100)
- 1980 (102)
- 1979 (91)
- 1978 (67)
- 1977 (47)
- 1976 (42)
- 1975 (50)
- 1974 (25)
- 1973 (41)
- 1972 (27)
- 1971 (18)
- 1970 (8)
- 1969 (2)
- 1967 (4)
- 1964 (2)
- 1869 (1)
all
top 3
Main Field
- 13-XX (1,847)
- 68-XX (1,005)
- 76-XX (740)
- 62-XX (492)
- 05-XX (458)
- 94-XX (272)
- 14-XX (260)
- 74-XX (233)
- 03-XX (218)
- 86-XX (215)
- 35-XX (202)
- 65-XX (199)
- 16-XX (193)
- 90-XX (151)
- 20-XX (138)
- 60-XX (109)
- 91-XX (88)
- 06-XX (87)
- 18-XX (82)
- 92-XX (79)
- 11-XX (73)
- 52-XX (69)
- 12-XX (57)
- 54-XX (57)
- 57-XX (51)
- 46-XX (50)
- 55-XX (48)
- 37-XX (46)
- 81-XX (45)
- 93-XX (39)
- 15-XX (38)
- 78-XX (34)
- 17-XX (33)
- 82-XX (33)
- 22-XX (32)
- 32-XX (28)
- 80-XX (26)
- 45-XX (17)
- 41-XX (15)
- 49-XX (15)
- 53-XX (15)
- 47-XX (13)
- 01-XX (12)
- 34-XX (12)
- 51-XX (12)
- 00-XX (11)
- 85-XX (11)
- 08-XX (10)
- 70-XX (10)
- 30-XX (9)
- 44-XX (7)
- 58-XX (7)
- 19-XX (6)
- 26-XX (6)
- 97-XX (6)
- 28-XX (5)
- 33-XX (5)
- 42-XX (4)
- 83-XX (4)
- 31-XX (3)
- 43-XX (1)
Biographic Reference
- Lorenzen, Paul (1)
- Singh, Kesar (1)
all
top 3
Software
- Macaulay2 (51)
- AS 307 (44)
- R (38)
- fda (R) (36)
- CoCoA (27)
- ddalpha (22)
- GitHub (18)
- UCI-ml (17)
- NYU Depth (16)
- robustbase (14)
- Qhull (13)
- ElemStatLearn (12)
- Matlab (12)
- Hdepth (10)
- Rainbow (10)
- depth (10)
- SINGULAR (9)
- DepthProc (8)
- fda.usc (8)
- GAP (6)
- SeDuMi (6)
- Tabu search (6)
- MNM (5)
- Magma (5)
- Normaliz (5)
- StochaTR (5)
- sn (5)
- Adam (4)
- Algorithm 447 (4)
- GrabCut (4)
- HE-E1GODF (4)
- ImageNet (4)
- Isabelle/HOL (4)
- KernSmooth (4)
- PRMLT (4)
- SPIN (4)
- SciPy (4)
- Scikit (4)
- k-means++ (4)
- lowerbounds-survey (4)
- rgl (4)
- ABAQUS (3)
- AlexNet (3)
- AneuRisk65 (3)
- Archive Formal Proofs (3)
- BSDS (3)
- CRAN (3)
- Cityscapes (3)
- CompPD (3)
- D-Claw (3)
- DeepLab (3)
- Depth First Search (3)
- Faster R-CNN (3)
- GeneSrF (3)
- HLLE (3)
- KITTI (3)
- KinectFusion (3)
- LEDA (3)
- LIGHTER-R (3)
- Mask R-CNN (3)
- OEIS (3)
- Octave (3)
- PASCAL VOC (3)
- PointNet (3)
- ROBPCA (3)
- RefineNet (3)
- SIFT (3)
- SYNTHIA Dataset (3)
- SageMath (3)
- ScanNet (3)
- SegNet (3)
- SuLQ (3)
- TensorFlow (3)
- U-Net (3)
- clusfind (3)
- depthTools (3)
- moQuantile (3)
- modQR (3)
- mvShapiroTest (3)
- randomSurvivalForest (3)
- rotasym (3)
- t-SNE (3)
- torchdiffeq (3)
- ABCDepth (2)
- ACL2 (2)
- ADCIRC (2)
- AFGen (2)
- ANSYS (2)
- AS 277 (2)
- AS 78 (2)
- AUTOMATE (2)
- Algorithm 489 (2)
- Algorithm 97 (2)
- COIL-20 (2)
- CUDA (2)
- CircStats (2)
- Coq (2)
- DIMACS (2)
- DTAM (2)
- DeconvNet (2)
- and 571 more Software Packages
