Found 1,034 Documents (Results 1–100)
Linear combinations of i.i.d. Strictly stable variables with random coefficients and their application to anomalous diffusion processes. (English) Zbl 07893027
MSC:
82-XX
Three-parameter regularization algorithm for pseudo-solution of non-compatible systems. (English) Zbl 07853994
Generalized Voronovskaya theorem and the convergence of power series of positive linear operators. (English) Zbl 1541.41006
Reviewer: Cătălin Badea (Villeneuve d’Ascq)
Introducing a family of distributions by using the class of normal mean-variance mixture. (English) Zbl 07847103
Injectivity criteria of linear combinations of harmonic quasiregular mappings. (English) Zbl 1543.31001
Complex symmetry of linear combinations of composition operators on the McCarthy-Bergman space of Dirichlet series. (English) Zbl 07823182
Reviewer: Miyeon Kwon (Platteville)
Limiting the search in brute force method for subsets detection. (English) Zbl 07897927
Olenev, Nicholas (ed.) et al., Optimization and applications. 14th international conference, OPTIMA 2023, Petrovac, Montenegro, September 18–22, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14395, 329-343 (2023).
Linear codes detecting repeated \(b\)(fixed) bursts of unequal lengths in distinct sub-blocks. (English) Zbl 07835789
Numerical method combinations assessment for transport-dominated problems in the CHIMERE model: a case study of Agadir (Morocco). (English) Zbl 07826942
Melliani, Said (ed.) et al., Recent advances in fuzzy sets theory, fractional calculus, dynamic systems and optimization. Contributions based on the presentations at the international conference on partial differential equations and applications, modeling and simulation, Beni Mellal, Morocco, from June 1–2, 2021. Cham: Springer. Lect. Notes Netw. Syst. 476, 88-100 (2023).
Some miniatures with a cube. (Russian. English summary) Zbl 07823384
A convex combination of two quadratic stochastic operators acting in the \(2D\) simplex. (English. Russian original) Zbl 07806516
Russ. Math. 67, No. 7, 55-58 (2023); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2023, No. 7, 66-70 (2023).
Linear combinations of composition operators from \(H_\alpha^\infty\) to \(H_\beta^\infty\). (Chinese. English summary) Zbl 1538.47047
Optimal scale selection and knowledge discovery in generalized multi-scale decision tables. (English) Zbl 1537.68188
MSC:
68T37
Star network quantum steering. (English) Zbl 1542.81137
On convergence of infinite products of convex combinations of mappings in \(\mathrm{CAT}(0)\) spaces. (English) Zbl 1543.47123
Reviewer: Simeon Reich (Haifa)
An evaluation algorithm for \(q\)-Bézier triangular patches formed by convex combinations. (English) Zbl 07711022
Two algorithms for refinement of approximate solutions in the regularization method. (English) Zbl 1515.15006
BAMPHI: matrix-free and transpose-free action of linear combinations of \(\varphi\)-functions from exponential integrators. (English) Zbl 1503.65142
Zeros of \(L(s)+L(2s)+\cdots + L(Ns)\) in the region of absolute convergence. (English) Zbl 1506.11116
Reviewer: David Lowry-Duda (Providence)
Machine learning and logic: a new frontier in artificial intelligence. (English) Zbl 07757157
MSC:
68-XX
On sparsity of representations of polynomials as linear combinations of exponential functions. (English) Zbl 07730462
Reviewer: Giovanni Coppola (Napoli)
Solution of some linear systems of ordinary differential equations with variable coefficients. (English) Zbl 1513.34063
Combinations as bargraphs. (English) Zbl 1513.05009
Complex symmetry of linear combinations of composition operators on the Fock space. (English) Zbl 07589463
Modeling and stability analysis of cyberattack effects on heterogeneous intelligent traffic flow. (English) Zbl 07582117
MSC:
82-XX
Comments on: “Less conservative conditions for robust LQR-state-derivative controller design: an LMI approach” and new sufficient LMI conditions for invertibility of a convex combination of matrices. (English) Zbl 1493.93015
A characterization of the weak topology in the unit ball of purely atomic \(L_1\) preduals. (English) Zbl 1495.46012
Reviewer: Olav Nygaard (Kristiansand)
Confidence interval estimation of the youden index and corresponding cut-point for a combination of biomarkers under normality. (English) Zbl 07532287
MSC:
62-XX
On the convolution bodies of \(L_p\)-addition. (English) Zbl 1498.52014
Reviewer: Jin Li (Shanghai )
MSC:
52A40
Combining biomarkers by maximizing the true positive rate for a fixed false positive rate. (English) Zbl 1523.62164
MSC:
62P10
Convex combinations of centrality measures. (English) Zbl 1483.91163
MSC:
91D30
Some limit behavior for linear combinations of order statistics. (English) Zbl 1513.60034
Reviewer: Dongsheng Tu (Kingston)
Algebraic approach to univariate polynomial derivation. (English) Zbl 1482.11026
Reviewer: Vladimir P. Kostov (Nice)
MSC:
11B39
Iterative combinations for Srivastava-Gupta operators. (English) Zbl 1490.41013
Reviewer: Paola Lamberti (Torino)
Linear combinations of composition operators on weighted Bloch type space. (Chinese. English summary) Zbl 1484.47047
On non-denseness for a method of fundamental solutions with source points fixed in time for parabolic equations. (Sur la non-densité dans une méthode de solutions fondamentales avec des points sources indépendants du temps pour la résolution d’équations paraboliques.) (English. French summary) Zbl 1472.35007
A generalization of partition identities for first differences of partitions of \(n\) into at most \(m\) parts. (English) Zbl 1477.11180
Reviewer: Mircea Merca (Cornu de Jos)
Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates. (English) Zbl 1543.03046
Hierarchical probabilistic forecasting of electricity demand with smart meter data. (English) Zbl 1457.62286
Metric Fourier approximation of set-valued functions of bounded variation. (English) Zbl 1475.42008
Reviewer: Miroslav Repický (Košice)
Synthesised fractional-order PD controller design for fractional-order time-delay systems based on improved robust stability surface analysis. (English) Zbl 1542.93302
On the distribution of linear combinations of chi-square random variables. (English) Zbl 07616804
Bekker, Andriëtte (ed.) et al., Computational and methodological statistics and biostatistics. Contemporary essays in advancement. Cham: Springer. Emerg. Top. Stat. Biostat., 211-252 (2020).
MSC:
62P10
Forecasting with GARCH models under structural breaks: an approach based on combinations across estimation windows. (English) Zbl 1489.62371
Linear combinations of prime powers in \(X\)-coordinates of Pell equations. (English) Zbl 1485.11027
Reviewer: Mahadi Ddamulira (Kampala)
On the strong law of large numbers for linear combinations of concomitants. (English. Russian original) Zbl 1460.62062
Vestn. St. Petersbg. Univ., Math. 53, No. 3, 282-286 (2020); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 7(65), No. 3, 418-424 (2020).
Linear combinations of two polygonal numbers that take infinitely often a square value. (English) Zbl 1472.11099
Reviewer: Sai Gopal Rayaguru (Rourkela)
A Bayesian seamless phase I-II trial design with two stages for cancer clinical trials with drug combinations. (English) Zbl 1448.62173
MSC:
62P10
Strong converse inequalities and quantitative Voronovskaya-type theorems for trigonometric Fejér sums. (English) Zbl 1463.42002
Voronovskaja’s theorem for functions with exponential growth. (English) Zbl 1452.41011
Reviewer: Włodzimierz Łenski (Poznań)
Computing the homology of semialgebraic sets. I: Lax formulas. (English) Zbl 1440.14264
Reviewer: Nelly Villamizar (Swansea)
Banach spaces where convex combinations of relatively weakly open subsets of the unit ball are relatively weakly open. (English) Zbl 1441.46005
Reviewer: Olav Nygaard (Kristiansand)
Quantitative logics for equivalence of effectful programs. (English) Zbl 07515965
König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 281-301 (2019).
Forecasting volatility using combination across estimation windows: an application to S&P500 stock market index. (English) Zbl 1470.91258
Hierarchic superposition revisited. (English) Zbl 1443.68212
Lutz, Carsten (ed.) et al., Description logic, theory combination, and all that. Essays dedicated to Franz Baader on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11560, 15-56 (2019).
MSC:
68V15
Mechanised assessment of complex natural-language arguments using expressive logic combinations. (English) Zbl 1435.68315
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019).
On bounds for probabilities of combinations of events, the Jordan formula, and the Bonferroni inequalities. (English. Russian original) Zbl 1448.60026
Vestn. St. Petersbg. Univ., Math. 52, No. 2, 178-186 (2019); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 6(64), No. 2, 253-264 (2019).
Mapping \(k\)-combinations and \(Dih_4\) in John Cage’s Variations I as utilities for determinate and indeterminate realization strategies. (English) Zbl 1427.00036
Approximation by translates of a single function of functions in space induced by the convolution with a given function. (English) Zbl 1428.41040
A low spatial complexity algorithm to generate combinations with the strong minimal change property. (English) Zbl 1426.05003
Relationally equal treatment of equals and affine combinations of values for TU games. (English) Zbl 1425.91039
Soc. Choice Welfare 53, No. 2, 197-212 (2019); correction ibid. 53, No. 3, 555 (2019).
Linear combinations of \(d\)-orthogonal polynomials. (English) Zbl 1427.42032
Reviewer: Alta Jooste (Pretoria)
Optimal forecast reconciliation for hierarchical and grouped time series through trace minimization. (English) Zbl 1420.62402
Rings whose elements are linear combinations of three commuting idempotents. (English) Zbl 1428.16037
MSC:
16U90
Objective Bayesian testing for the linear combinations of normal means. (English) Zbl 1455.62059
Reviewer: Dongsheng Tu (Kingston)
Algebraic approximations to linear combinations of powers: an extension of results by Mahler and Corvaja-Zannier. (English) Zbl 1426.11069
Reviewer: Jaroslav Hančl (Ostrava)
Minkowski triples of curve segments. (English) Zbl 1400.51004
Cocchiarella, Luigi (ed.), ICGG 2018 – Proceedings of the 18th international conference on geometry and graphics. 40th anniversary – Milan, Italy, August 3–7, 2018. In 2 volumes. Cham: Springer; Milan: Politecnico de Milano (ISBN 978-3-319-95587-2/pbk; 978-3-319-95588-9/ebook). Advances in Intelligent Systems and Computing 809, 437-444 (2019).
A note on collinearity diagnostics and centering. (English) Zbl 07663930
MSC:
62-XX
Truth-preserving operations on sums of Kripke frames. (English) Zbl 1418.03101
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 541-558 (2018).
Experimental design for multi-drug combination studies using signaling networks. (English) Zbl 1415.62102
Models and algorithms of automata theory for the control of an aircraft group. (English. Russian original) Zbl 1406.93229
Autom. Remote Control 79, No. 10, 1863-1870 (2018); translation from Avtom. Telemekh. 2018, No. 10, 154-163 (2018).
Biorthogonality and para-orthogonality of \(R_I\) polynomials. (English) Zbl 1401.42027
Reviewer: Pierluigi Vellucci (Roma)
The equivalence theorem of approximation by linear combinations of gamma operators in Orlicz spaces. (Chinese. English summary) Zbl 1413.41015
Finding the redundant gates in reversible circuits. (English) Zbl 1515.68135
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11106, 205-219 (2018).
Filter Results by …
Document Type
- Journal Articles (889)
- Collection Articles (98)
- Books (47)
all
top 5
Author
- Gupta, Vijay (19)
- Tachev, Gancho T. (9)
- Gribkova, Nadezhda Viktorovna (7)
- van Zuijlen, Martien C. A. (6)
- Agrawal, Purshottam Narain (5)
- Bening, Vladimir E. (5)
- Dyn, Nira (5)
- Farkhi, Elza M. (5)
- Helmers, Roelof (5)
- Kaftal, Victor G. (5)
- Mokhov, Alona (5)
- Nadarajah, Saralees (5)
- Ng, Ping Wong (5)
- Pap, Gyula (5)
- Szulc, Tomasz (5)
- Tomar, Jitendra Singh (5)
- Zhang, Shuang (5)
- Csörgő, Sándor (4)
- Guo, Shunsheng (4)
- Maheshwari, Prerna (4)
- Neuman, Edward (4)
- Provost, Serge B. (4)
- Ruymgaart, Frits H. (4)
- Akl, Selim G. (3)
- Białas, Stanisław (3)
- Burdick, Richard K. (3)
- Caughey, David A. (3)
- Christiansen, Freddy Bugge (3)
- Deo, Naokant (3)
- Egorov, V. A. (3)
- Govil, Narendra Kumar (3)
- Groeneboom, Piet (3)
- Gupta, D. C. (3)
- Jameson, Antony (3)
- Kevei, Péter (3)
- Koga, Tatsuzo (3)
- Kolpakov, Alexander G. (3)
- König, Heinz (3)
- Kotz, Samuel (3)
- Kozin, I. V. (3)
- Li, Cuixiang (3)
- Mantellini, Ilaria (3)
- Nevzorov, Valeriĭ Borisovich (3)
- Parnami, J. C. (3)
- Parr, William C. (3)
- Portnoy, Stephen L. (3)
- Puri, Madan Lal (3)
- Roth, Friedrich (3)
- Rudiuk, Edmund M. (3)
- Ruskey, Frank (3)
- Veraverbeke, Noël (3)
- Zhou, Songping (3)
- Abrahamsen, Trond Arnold (2)
- Abramson, Morton (2)
- Adams, George G. (2)
- Ahlswede, Rudolf (2)
- Albers, Willem (2)
- Arora, Ritu (2)
- Asghary, Nasim (2)
- Babalola, Kunle Oladeji (2)
- Babu, Gutti Jogesh (2)
- Balakrishnan, Narayanaswamy (2)
- Bardaro, Carlo (2)
- Barndorff-Nielsen, Ole Eiler (2)
- Benzmüller, Christoph Ewald (2)
- Berdysheva, Elena E. (2)
- Beutner, Eric (2)
- Blæsild, Preben (2)
- Böcherer, Siegfried (2)
- Boylan, John Edward (2)
- Buonaccorsi, John P. (2)
- Burke, Edmund Kieran (2)
- Bushnell, David H. (2)
- Cachafeiro, Alicia (2)
- Cicchitelli, Giuseppe (2)
- Cockayne, Ernest J. (2)
- Coniglio, Marcelo Esteban (2)
- DasGupta, Anirban (2)
- De Gaetano, Davide (2)
- Deville, Robert (2)
- Dinh Dũng (2)
- Distefano, Joseph J. III (2)
- Driver, Kathy A. (2)
- Finger, Marcelo (2)
- Fraenkel, Aviezri Siegmund (2)
- Frolov, Andreĭ Nikolaevich (2)
- Funaki, Yukihiko (2)
- Gairola, Asha Ram (2)
- Garg, Poonam (2)
- Giorgi, Giovanni Maria (2)
- Golynichev, V. N. (2)
- Govindarajulu, Zakkula (2)
- Graybill, Franklin A. (2)
- Guo, Qing (2)
- Gupta, Prabhakar (2)
- Haghighi, Ahmad Reza (2)
- Haines, Linda M. (2)
- Hajdu, Lajos (2)
- Hall, Marshall jun. (2)
- Hallin, Marc (2)
- and 1,401 more Authors
all
top 5
Serial
- J. Am. Stat. Assoc. (17)
- Commun. Stat., Theory Methods (16)
- Ann. Stat. (15)
- J. Stat. Plann. Inference (15)
- AIAA J. (14)
- Linear Algebra Appl. (12)
- Sankhyā, Ser. A (11)
- Ann. Inst. Stat. Math. (10)
- J. Math. Anal. Appl. (9)
- Stat. Probab. Lett. (9)
- J. Comput. Appl. Math. (8)
- Autom. Remote Control (8)
- Eur. J. Oper. Res. (8)
- Comput. Struct. (7)
- Int. J. Solids Struct. (6)
- J. Sound Vib. (6)
- Metron (6)
- Sankhyā, Ser. B (6)
- Commun. Stat., Simulation Comput. (6)
- Can. J. Stat. (5)
- J. Appl. Mech. (5)
- Theory Probab. Appl. (5)
- Appl. Math. Comput. (5)
- Arch. Math. (5)
- Biom. J. (5)
- J. Multivariate Anal. (5)
- Chin. Ann. Math., Ser. A (5)
- J. R. Stat. Soc., Ser. B (5)
- Comput. Math. Appl. (4)
- Comput. Methods Appl. Mech. Eng. (4)
- Linear Multilinear Algebra (4)
- Math. Notes (4)
- Aust. J. Stat. (4)
- J. Algebra (4)
- Proc. Am. Math. Soc. (4)
- Sov. Math., Dokl. (4)
- J. Math. Res. Expo. (4)
- Georgian Math. J. (4)
- Stat. Sin. (4)
- Bernoulli (4)
- Mediterr. J. Math. (4)
- J. Forecast. (4)
- J. Math. Inequal. (4)
- Geophys. J. R. Astron. Soc. (3)
- Int. J. Math. Educ. Sci. Technol. (3)
- J. Math. Phys. (3)
- Math. Biosci. (3)
- Math. Proc. Camb. Philos. Soc. (3)
- Period. Math. Hung. (3)
- Physica A (3)
- Ann. Probab. (3)
- Biometrika (3)
- Bull. Calcutta Math. Soc. (3)
- J. Math. Psychol. (3)
- J. Number Theory (3)
- J. Oper. Res. Soc. (3)
- Kyungpook Math. J. (3)
- Mech. Res. Commun. (3)
- Result. Math. (3)
- Rev. Unión Mat. Argent. (3)
- Tamkang J. Math. (3)
- Theor. Popul. Biol. (3)
- Insur. Math. Econ. (3)
- Stochastic Anal. Appl. (3)
- Statistics (3)
- Math. Appl. (3)
- Bull. Inst. Math., Acad. Sin. (3)
- C. R. Acad. Sci., Paris, Sér. I (3)
- Math. Methods Stat. (3)
- Stat. Pap. (3)
- J. Math. Sci., New York (3)
- Dokl. Math. (3)
- An. Univ. Oradea, Fasc. Mat. (3)
- Math. Inequal. Appl. (3)
- Lobachevskii J. Math. (3)
- Adv. Appl. Discrete Math. (3)
- Hoppe Arch. (2) (3)
- Battaglini G. (3)
- Am. Stat. (2)
- Biol. Cybern. (2)
- Bull. Aust. Math. Soc. (2)
- Discrete Math. (2)
- Ing.-Arch. (2)
- Int. J. Eng. Sci. (2)
- Indian J. Pure Appl. Math. (2)
- Int. J. Theor. Phys. (2)
- J. Comput. Phys. (2)
- J. Franklin Inst. (2)
- Lith. Math. J. (2)
- Mat. Zametki (2)
- Metrika (2)
- Mekh. Tverd. Tela (2)
- Phys. Lett., A (2)
- Probl. Inf. Transm. (2)
- Z. Angew. Math. Phys. (2)
- Zh. Vychisl. Mat. Mat. Fiz. (2)
- Acta Arith. (2)
- Acta Sci. Math. (2)
- Adv. Math. (2)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (2)
- and 385 more Serials
all
top 5
Year of Publication
- 2024 (9)
- 2023 (14)
- 2022 (18)
- 2021 (18)
- 2020 (14)
- 2019 (19)
- 2018 (14)
- 2017 (13)
- 2016 (13)
- 2015 (11)
- 2014 (29)
- 2013 (31)
- 2012 (11)
- 2011 (13)
- 2010 (18)
- 2009 (16)
- 2008 (13)
- 2007 (22)
- 2006 (14)
- 2005 (15)
- 2004 (5)
- 2003 (18)
- 2002 (11)
- 2001 (19)
- 2000 (11)
- 1999 (14)
- 1998 (19)
- 1997 (20)
- 1996 (29)
- 1995 (19)
- 1994 (24)
- 1993 (22)
- 1992 (33)
- 1991 (27)
- 1990 (28)
- 1989 (26)
- 1988 (32)
- 1987 (39)
- 1986 (33)
- 1985 (43)
- 1984 (33)
- 1983 (26)
- 1982 (43)
- 1981 (24)
- 1980 (29)
- 1979 (18)
- 1978 (13)
- 1977 (8)
- 1976 (3)
- 1975 (1)
- 1971 (1)
- 1969 (1)
- 1967 (1)
- 1958 (1)
- 1954 (1)
- 1940 (1)
- 1932 (1)
- 1893 (3)
- 1892 (1)
- 1890 (1)
- 1889 (1)
- 1888 (2)
- 1886 (2)
- 1885 (2)
- 1884 (1)
- 1883 (2)
- 1882 (1)
- 1881 (4)
- 1880 (4)
- 1879 (1)
- 1878 (2)
- 1871 (2)
- 1869 (3)
all
top 3
Main Field
- 62-XX (319)
- 05-XX (106)
- 60-XX (89)
- 74-XX (86)
- 41-XX (80)
- 65-XX (74)
- 68-XX (56)
- 11-XX (50)
- 46-XX (49)
- 47-XX (43)
- 15-XX (37)
- 91-XX (34)
- 90-XX (33)
- 30-XX (31)
- 03-XX (29)
- 94-XX (28)
- 92-XX (26)
- 26-XX (25)
- 35-XX (25)
- 76-XX (25)
- 52-XX (20)
- 93-XX (20)
- 42-XX (18)
- 70-XX (18)
- 33-XX (16)
- 20-XX (15)
- 34-XX (14)
- 81-XX (14)
- 49-XX (13)
- 53-XX (10)
- 01-XX (8)
- 54-XX (8)
- 58-XX (8)
- 00-XX (7)
- 28-XX (7)
- 86-XX (7)
- 37-XX (6)
- 82-XX (6)
- 45-XX (5)
- 51-XX (5)
- 14-XX (4)
- 32-XX (4)
- 39-XX (4)
- 80-XX (4)
- 97-XX (4)
- 17-XX (3)
- 40-XX (3)
- 83-XX (3)
- 08-XX (2)
- 16-XX (2)
- 31-XX (2)
- 43-XX (2)
- 44-XX (2)
- 57-XX (2)
- 06-XX (1)
- 12-XX (1)
- 13-XX (1)
- 18-XX (1)
- 19-XX (1)
- 22-XX (1)
- 55-XX (1)
- 78-XX (1)
Biographic Reference
- Harriot, Thomas (1)
all
top 3
Software
- OEIS (3)
- Forecast (2)
- Matlab (2)
- MiniSat (2)
- PANDA (2)
- R (2)
- forecast (2)
- ACADO (1)
- AS 155 (1)
- Algorithm 644 (1)
- Algorithm 919 (1)
- CHomP (1)
- CORA (1)
- CUTEr (1)
- CandS (1)
- CodingTheory (1)
- DAISY (1)
- DYNAMO (1)
- Darwin (1)
- E Theorem Prover (1)
- E-Darvin (1)
- EBayesThresh (1)
- ETPS (1)
- FFORMA (1)
- GCVPACK (1)
- GMRFLib (1)
- GPT-4 (1)
- GeoGebra (1)
- GeoNames (1)
- Glucose (1)
- HOList (1)
- Hyperheuristics (1)
- Isabelle (1)
- Isabelle/HOL (1)
- Ivy (1)
- KIOPS (1)
- KONECT (1)
- KernSmooth (1)
- LAPACK (1)
- LEO-II (1)
- LMOMENTS (1)
- Leo (1)
- MISER3 (1)
- MachSMT (1)
- MapReduce (1)
- MathOverflow (1)
- Mathcad (1)
- MedleySolver (1)
- Metis_ (1)
- NLPQL (1)
- NeuroSAT (1)
- Nitpick (1)
- PBS (1)
- POLYNOMIAL (1)
- PcGets (1)
- Pueblo (1)
- QRM (1)
- REDLOG (1)
- SATzilla (1)
- SIAN (1)
- SLAM (1)
- STP (1)
- Satallax (1)
- SplinePak (1)
- SymbBesselJInteg (1)
- THF0 (1)
- TPS (1)
- TPTP (1)
- TRON (1)
- YAGO (1)
- alr3 (1)
- alr4 (1)
- bootstrap (1)
- car (1)
- carData (1)
- fpp2 (1)
- gamsel (1)
- hts (1)
- lmoments (1)
- nauty (1)
- perturb (1)
- phipm (1)
- wmtsa (1)
- z3 (1)