On normalized Horn systems. (English) Zbl 1441.14064
Reviewer: Timur Sadykov (Moscow)
Found 2,570 Documents (Results 301–400)
Affine-periodic solutions for impulsive differential systems. (English) Zbl 1451.34052
Reviewer: Abdullah Özbekler (Ankara)
Inner horns for 2-quasi-categories. (English) Zbl 1440.18051
Reviewer: Tobias Fritz (Innsbruck)
On several unified reduction formulas for the Humbert function \(\Phi_2\) with applications. (English) Zbl 1434.33021
An iterative algorithm to find maximum spanning sets and minimum linearly independent sets which partition a finite generator. (English) Zbl 1448.65288
Primitive root bias for twin primes. II: Schinzel-type theorems for totient quotients and the sum-of-divisors function. (English) Zbl 1450.11002
Reviewer: József Sándor (Cluj-Napoca)
A variant of Horn’s problem and the derivative principle. (English) Zbl 1430.15009
Reviewer: Tin Yau Tam (Reno)
Some extended hypergeometric matrix functions and their fractional calculus. arXiv:2011.00772
Preprint, arXiv:2011.00772 [math.CA] (2020).
Bailey-type factorizations for Horn functions. arXiv:2010.16093
Preprint, arXiv:2010.16093 [math.CA] (2020).
On some formulas for the \(k\)-analogue of Appell functions and generating relations via \(k\)-fractional derivative. arXiv:2007.13643
Preprint, arXiv:2007.13643 [math.CA] (2020).
Further Novel reductions of Kampé de Fériet function. arXiv:2006.09478
Preprint, arXiv:2006.09478 [math.CA] (2020).
General Rearrangement Lemma for Heat Trace Asymptotic on Noncommutative Tori. arXiv:2004.05714
Preprint, arXiv:2004.05714 [math-ph] (2020).
On the incomplete Lauricella matrix functions of several variables. arXiv:2003.11419
Preprint, arXiv:2003.11419 [math.CA] (2020).
Solving the Dirichlet and Holmgren problems for a three-dimensional elliptic equation by the potential method. arXiv:2003.08678
Preprint, arXiv:2003.08678 [math.AP] (2020).
Some results on the Kampé de Feŕiet hypergeometric matrix function. arXiv:2003.07532
Preprint, arXiv:2003.07532 [math.CA] (2020).
On the recursion formulas for the matrix special functions of one and two variables. arXiv:2003.07522
Preprint, arXiv:2003.07522 [math.CA] (2020).
Umbral-Algebraic Methods and Asymptotic Properties of Special Polynomials. arXiv:2002.06245
Preprint, arXiv:2002.06245 [math.CA] (2020).
Generating Functions for Lacunary Legendre and Legendre-like Polynomials. arXiv:2002.05722
Preprint, arXiv:2002.05722 [math.CA] (2020).
Sorcar: property-driven algorithms for learning conjunctive invariants. (English) Zbl 1539.68071
Chang, Bor-Yuh Evan (ed.), Static analysis. 26th international symposium, SAS 2019, Porto, Portugal, October 8–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11822, 323-346 (2019).
Coinduction in uniform: foundations for corecursive proof search with Horn clauses. (English) Zbl 1524.68183
Caires, Luís (ed.), Programming languages and systems. 28th European symposium on programming, ESOP 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11423, 783-813 (2019).
New results on cutting plane proofs for Horn constraint systems. (English) Zbl 07650340
Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 43, 14 p. (2019).
Property-directed inference of relational invariants. (Russian. English summary) Zbl 1497.68316
Integral representations involving new hypergeometric functions of four variables. (English) Zbl 1495.33004
Reviewer: Thomas Ernst (Uppsala)
On the Gottlieb polynomials in several variables. (English) Zbl 1474.33060
MSC:
33C65
A new proof of a reduction formula for the Appell series \(F_3\) due to Bailey. (English) Zbl 1474.33061
Some reduction formulas for Appell’s function of fourth kind having different argument. (English) Zbl 1463.33029
Some general families of the Hurwitz-Lerch zeta functions and their applications: recent developments and directions for further researches. (English) Zbl 1436.11111
A study of Marichev-Saigo-Maeda fractional integral operators associated with the S-generalized Gauss hypergeometric function. (English) Zbl 1434.33012
Joining implications in formal contexts and inductive learning in a Horn description logic. (English) Zbl 1529.68297
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 110-129 (2019).
Direct and binary direct bases for one-set updates of a closure system. (English) Zbl 1529.68287
Cristea, Diana (ed.) et al., Formal concept analysis. 15th international conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11511, 55-72 (2019).
Kleene algebra with hypotheses. (English) Zbl 1524.68201
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 207-223 (2019).
Certain quadruple hypergeometric series and their integral representations. (English) Zbl 1431.33006
Supercongruences for truncated Appell series. (English) Zbl 1459.11010
Reviewer: Enzo Bonacci (Latina)
Integral representations for Horn’s \(H_2\) function and Olsson’s \(F_P\) function. (English) Zbl 1447.33009
Reviewer: Francisco Pérez Acosta (La Laguna)
A new extension of the Pochhammer symbol and its application to hypergeometric functions. (English) Zbl 1428.33005
On a certain extension of the Riemann-Liouville fractional derivative operator. (English) Zbl 1426.33016
Period map of Triple coverings of \(\text{P}^2\) and mixed Hodge structures. (English) Zbl 1435.32018
Reviewer: Makiko Mase (Mannheim)
Convex aggregation problems in \(\mathbb{Z}^2\). (English) Zbl 1451.68301
Couprie, Michel (ed.) et al., Discrete geometry for computer imagery. 21st IAPR international conference, DGCI 2019, Marne-la-Vallée, France, March 26–28, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11414, 432-443 (2019).
On the generalized Sylvester polynomials. (English) Zbl 1426.33042
Lindahl, Karl-Olof (ed.) et al., Analysis, probability, applications, and computation. Proceedings of the 11th ISAAC congress, Växjö, Sweden, August 14–18, 2017. Cham: Birkhäuser. Trends Math., 47-55 (2019).
MSC:
33C65
Monotonicity of asymptotic relations for generalized hypergeometric functions. (English) Zbl 1426.33022
Generating functions of Pollaczek polynomials: a revisit. (English) Zbl 1431.33013
Reviewer: Chrysoula G. Kokologiannaki (Patras)
Some properties for Appell series \(F_2\) over finite fields. (English) Zbl 1472.33008
Reviewer: D. L. Suthar (Dessie)
Certain extended special functions and fractional integral and derivative operators via an extended beta function. (English) Zbl 1426.26020
On \((p,q)\)-Appell polynomials. (English) Zbl 1438.33024
Reviewer: P. K. Banerji (Jodhpur)
Counting rational points on Kummer surfaces. (English) Zbl 1442.14040
Reviewer: David McKinnon (Waterloo)
States on EMV-algebras. (English) Zbl 1418.06008
MSC:
06D35
Finding results for certain relatives of the Appell polynomials. (English) Zbl 1426.33041
Reviewer: M. Abdessadek Saib (Tebessa)
Hypergeometric functions interpolating Appell-Lauricella’s \(F_D\) and \(F_A\). (English) Zbl 1426.33043
Reviewer: Francisco Marcellán (Leganes)
MSC:
33C65
Interrelationships between Marichev-Saigo-Maeda fractional integral operators, the Laplace transform and the \(\overline{H}\)-function. (English) Zbl 1418.33001
A \((p, \nu)\)-extension of the Appell function \(F_1(\cdot)\) and its properties. (English) Zbl 1415.33005
Tomographic reconstruction of 2-convex polyominoes using dual Horn clauses. (English) Zbl 1426.68272
Reviewer: Anton Shutov (Vladimir)
Torus equivariant \(D\)-modules and hypergeometric systems. (English) Zbl 1430.14043
Reviewer: Alberto Castaño Domínguez (Sevilla)
The Horn problem for real symmetric and quaternionic self-dual matrices. (English) Zbl 1451.15008
Reviewer: Tin Yau Tam (Reno)
Finite summation formulas of Srivastava’s general triple hypergeometric function. (English) Zbl 1409.33011
Hypergeometric solutions for Coulomb self-energy model of uniformly charged hollow cylinder. (English) Zbl 1408.33011
The Appell’s function \(F_3\) and the solutions of a PDE with singular coefficients. (English) Zbl 1406.35214
A \((p, q)\)-extension of Srivastava’s triple hypergeometric function \(H_B\) and its properties. (English) Zbl 1404.33012
Generalized Extended Riemann-Liouville type fractional derivative operator. arXiv:1912.03464
Preprint, arXiv:1912.03464 [math.CA] (2019).
Operational vs. Umbral Methods and Borel Transform. arXiv:1908.04160
Preprint, arXiv:1908.04160 [math.CA] (2019).
Elementary and universal theories of nonabelian commutative transitive and CSA groups. (English) Zbl 07909408
Baginski, Paul (ed.) et al., Infinite group theory. From the past to the future. Collected papers of the confernece in honor of the 70th birthdays of Gerhard Rosenberger and Dennis Spellman, Fairfield, CT, USA, April 23, 2015 and New York, NY, USA, April 24, 2015. Hackensack, NJ: World Scientific. 81-93 (2018).
Extracting interval temporal logic rules: a first approach. (English) Zbl 1487.68192
Alechina, Natasha (ed.) et al., 25th international symposium on temporal representation and reasoning. TIME 2018, Warsaw, Poland, October 15–17, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 120, Article 7, 15 p. (2018).
New numerical approach for solving fractional differential-algebraic equations. (English) Zbl 1499.65360
Bilateral and bilinear generating functions for the modified generalized Sylvester polynomials. (English) Zbl 1474.33050
A higher order Painlevé system in two variables and extensions of the Appell hypergeometric functions \(F_1\), \(F_2\) and \(F_3\). (English) Zbl 1426.34114
Decomposition formulas of Kampé de Fériets double hypergeometric functions. (English) Zbl 1438.33012
Operator scaling with specified marginals. (English) Zbl 1428.47004
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 190-203 (2018).
A finite field analogue of the Appell series \(F_4\). (English) Zbl 1428.33028
Reviewer: József Sándor (Cluj-Napoca)
New quadruple hypergeometric series and their integral representation. (New quadraple hypergeometric series and their integral representation.) (English) Zbl 1424.33016
The Lauricella hypergeometric function \(F_D^{(N)}\), the Riemann-Hilbert problem, and some applications. (English. Russian original) Zbl 1428.33027
Russ. Math. Surv. 73, No. 6, 941-1031 (2018); translation from Usp. Mat. Nauk 73, No. 6, 3-94 (2018).
Reviewer: István Mező (Debrecen)
The hypergeometric function for the root system of type A with a certain degenerate parameter. (English) Zbl 1428.33029
Reviewer: József Sándor (Cluj-Napoca)
Filter Results by …
Document Type
- Journal Articles (2,153)
- Collection Articles (321)
- Books (57)
- arXiv Preprints (39)
all
top 5
Author
- Srivastava, Hari Mohan (93)
- Choi, Junesang (53)
- Rathie, Arjun Kumar (39)
- Qureshi, Mohammad Idris (28)
- Hasanov, Anvar H. (25)
- Makino, Kazuhisa (25)
- Pathan, Mahmood Ahmad (24)
- Exton, Harold (23)
- Kalla, Shyam Lal (22)
- Brychkov, Yury A. (21)
- Chandel, R. C. Singh (21)
- Agarwal, Praveen (19)
- Ibaraki, Toshihide (19)
- Bezrodnykh, Sergeĭ I. (18)
- Ernst, Thomas (18)
- Kim, Yong Sup (18)
- Verma, Ashish (17)
- Saxena, Ram Kishore (16)
- Shrivastava, H. S. P. (16)
- Younis, Jihad A. (16)
- Besov, Oleg Vladimirovich (15)
- Khan, Nabiullah U. (14)
- López, José Luis (14)
- Pogány, Tibor K. (14)
- Savischenko, Nikolay V. (14)
- Bin-Saad, Maged Gumaan (13)
- Boros, Endre (13)
- Eiter, Thomas (13)
- Khan, Subuhi (13)
- Kumar, Hemant (13)
- Matsumoto, Keiji (13)
- Saigo, Megumi (13)
- Raina, Ravinder Krishna (12)
- Shehata, Ayman (12)
- Buschman, Robert George (11)
- Dattoli, Giuseppe (11)
- Galué, Leda (11)
- Kleine Büning, Hans (11)
- Quraishi, Kaleem Ahmed (11)
- Ricci, Paolo Emilio (11)
- Saad, Nasser (11)
- Sahai, Vivek (11)
- Turaev, Mamasali (11)
- Goto, Yoshiaki (10)
- Lin, Shyder (10)
- Palyutin, Evgeniĭ Andreevich (10)
- Parmar, Rakesh Kumar (10)
- Sooppy Nisar, Kottakkaran (10)
- Čepek, Ondřej (9)
- Hammer, Peter Ladislaw (9)
- Kamarujjama, Mohammad (9)
- Karlsson, Per W. (9)
- Kogan, Alexander (9)
- Kučera, Petr (9)
- Ozarslan, Mehmet Ali (9)
- Paris, Richard Bruce (9)
- Shukla, Ajay Kumar (9)
- Tarasov, V. F. (9)
- Chaurasia, Vinod Bihari Lal (8)
- Czédli, Gábor (8)
- Goyal, Som Prakash (8)
- Joshi, Mohan Chandra (8)
- Kato, Mitsuo (8)
- Luo, Minjie (8)
- Palamidessi, Catuscia (8)
- Agrawal, B. D. (7)
- Bownik, Marcin (7)
- Burris, Stanley N. (7)
- Jasper, John Sahayam (7)
- Khan, Mumtaz Ahmad (7)
- Liu, Shuoh-Jung (7)
- Massey, Pedro G. (7)
- Mimachi, Katsuhisa (7)
- Moustafa, Shimaa I. (7)
- Purohit, Sunil Dutt (7)
- Rapeli, Shrinivas J. (7)
- Ritelli, Daniele (7)
- Sahin, Recep (7)
- Sasaki, Takeshi (7)
- Subramani, Krishnan (7)
- Arora, Ashish (6)
- Ferreira, Chelo (6)
- Ghayasuddin, Mohd (6)
- Haraoka, Yoshishige (6)
- Hébrard, Jean-Jacques (6)
- Hermenegildo, Manuel V. (6)
- Hsiang, Jieh (6)
- Kniehl, Bernd A. (6)
- Licciardi, Silvia (6)
- Mathai, Arakaparampli Mathai (6)
- Milovanović, Gradimir V. (6)
- Mingari Scarpello, Giovanni (6)
- Minker, Jack (6)
- Nelson, George C. (6)
- Pagola, Pedro J. (6)
- Pérez Sinusía, Ester (6)
- Rahman, Gauhar (6)
- Ram, Jeta (6)
- Rusinowitch, Michaël (6)
- Sadykov, Timur Mradovich (6)
- and 2,441 more Authors
all
top 5
Serial
- Integral Transforms Spec. Funct. (73)
- Theor. Comput. Sci. (51)
- J. Log. Program. (43)
- Jñānābha (37)
- J. Math. Anal. Appl. (35)
- J. Comput. Appl. Math. (34)
- Discrete Appl. Math. (27)
- Algebra Univers. (27)
- Inf. Process. Lett. (25)
- Commun. Korean Math. Soc. (24)
- Kyushu J. Math. (22)
- Ann. Math. Artif. Intell. (21)
- Vijnana Parishad Anusandhan Patrika (21)
- Artif. Intell. (20)
- Indian J. Pure Appl. Math. (18)
- Adv. Math. (16)
- Appl. Math. Comput. (16)
- Funkc. Ekvacioj, Ser. Int. (16)
- Linear Algebra Appl. (16)
- J. Symb. Log. (15)
- Honam Math. J. (15)
- South East Asian J. Math. Math. Sci. (15)
- J. Rajasthan Acad. Phys. Sci. (14)
- Math. Educ. (13)
- Math. Notes (13)
- Proc. Am. Math. Soc. (13)
- J. Indian Acad. Math. (13)
- Comput. Phys. Commun. (12)
- Theory Pract. Log. Program. (12)
- Comput. Math. Appl. (11)
- Algebra Logic (11)
- Gaṇita Sandesh (11)
- SIAM J. Math. Anal. (11)
- J. Autom. Reasoning (10)
- J. Log. Comput. (10)
- Ramanujan J. (10)
- J. Ramanujan Soc. Math. Math. Sci. (10)
- Acta Cienc. Indica, Math. (9)
- Stud. Log. (9)
- Tamkang J. Math. (9)
- New Generation Comput. (9)
- J. Phys. A, Math. Gen. (9)
- Far East J. Math. Sci. (FJMS) (9)
- Adv. Difference Equ. (9)
- J. Math. Phys. (8)
- J. Number Theory (8)
- Trans. Am. Math. Soc. (8)
- Ann. Pure Appl. Logic (8)
- J. Math. Sci., New York (8)
- Adv. Stud. Contemp. Math., Kyungshang (8)
- J. Sib. Fed. Univ., Math. Phys. (8)
- Discrete Math. (7)
- Linear Multilinear Algebra (7)
- Rocky Mt. J. Math. (7)
- Gaṇita (7)
- Invent. Math. (7)
- J. Assoc. Comput. Mach. (7)
- J. Comput. Syst. Sci. (7)
- Math. Stud. (7)
- Publ. Inst. Math., Nouv. Sér. (7)
- J. Symb. Comput. (7)
- Inf. Comput. (7)
- J. Fractional Calc. (7)
- Mat. Metody Fiz.-Mekh. Polya (7)
- ACM Trans. Comput. Log. (7)
- Palest. J. Math. (7)
- Nucl. Phys., B (6)
- Acta Sci. Math. (6)
- Int. J. Math. Math. Sci. (6)
- Integral Equations Oper. Theory (6)
- J. Funct. Anal. (6)
- Kyungpook Math. J. (6)
- Sov. Math., Dokl. (6)
- Tôhoku Math. J. (2) (6)
- Appl. Math. Lett. (6)
- Fukuoka Univ. Sci. Rep. (6)
- Algebras Groups Geom. (6)
- Math. Log. Q. (6)
- Log. J. IGPL (6)
- Int. J. Appl. Math. (6)
- Asian-Eur. J. Math. (6)
- Math. Comput. (5)
- Bull. Calcutta Math. Soc. (5)
- Indian J. Math. (5)
- J. Math. Soc. Japan (5)
- Proc. Lond. Math. Soc. (3) (5)
- Quaest. Math. (5)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (5)
- Int. Math. Res. Not. (5)
- Comput. Math. Math. Phys. (5)
- Taiwanese J. Math. (5)
- J. Inequal. Appl. (5)
- Bull. Pure Appl. Sci. E, Math. Stat. (5)
- Fract. Calc. Appl. Anal. (5)
- J. Korean Soc. Math. Educ., Ser. B, Pure Appl. Math. (5)
- Lobachevskii J. Math. (5)
- Proc. Jangjeon Math. Soc. (5)
- Vikram Math. J. (5)
- Miskolc Math. Notes (5)
- SIGMA, Symmetry Integrability Geom. Methods Appl. (5)
- and 607 more Serials
all
top 5
Year of Publication
- 2024 (35)
- 2023 (66)
- 2022 (71)
- 2021 (59)
- 2020 (94)
- 2019 (55)
- 2018 (78)
- 2017 (93)
- 2016 (47)
- 2015 (70)
- 2014 (76)
- 2013 (77)
- 2012 (60)
- 2011 (58)
- 2010 (63)
- 2009 (58)
- 2008 (65)
- 2007 (51)
- 2006 (44)
- 2005 (54)
- 2004 (40)
- 2003 (36)
- 2002 (58)
- 2001 (43)
- 2000 (55)
- 1999 (42)
- 1998 (53)
- 1997 (61)
- 1996 (67)
- 1995 (70)
- 1994 (50)
- 1993 (68)
- 1992 (78)
- 1991 (63)
- 1990 (64)
- 1989 (49)
- 1988 (53)
- 1987 (49)
- 1986 (49)
- 1985 (36)
- 1984 (42)
- 1983 (23)
- 1982 (25)
- 1981 (16)
- 1980 (14)
- 1979 (12)
- 1978 (9)
- 1977 (3)
- 1976 (6)
- 1975 (1)
- 1974 (2)
- 1973 (1)
- 1972 (13)
- 1971 (15)
- 1970 (15)
- 1968 (2)
- 1966 (2)
- 1965 (1)
- 1958 (2)
- 1956 (1)
- 1935 (2)
- 1934 (2)
- 1932 (1)
- 1884 (1)
- 1878 (1)
all
top 3
Main Field
- 33-XX (1,357)
- 68-XX (649)
- 03-XX (424)
- 26-XX (148)
- 11-XX (139)
- 05-XX (102)
- 08-XX (100)
- 15-XX (97)
- 35-XX (88)
- 44-XX (87)
- 46-XX (82)
- 14-XX (80)
- 47-XX (76)
- 42-XX (66)
- 06-XX (60)
- 32-XX (58)
- 34-XX (58)
- 65-XX (52)
- 81-XX (51)
- 41-XX (48)
- 60-XX (48)
- 30-XX (45)
- 90-XX (33)
- 20-XX (31)
- 18-XX (30)
- 62-XX (29)
- 76-XX (29)
- 94-XX (26)
- 40-XX (25)
- 22-XX (22)
- 52-XX (22)
- 53-XX (22)
- 39-XX (17)
- 45-XX (17)
- 58-XX (15)
- 78-XX (15)
- 92-XX (15)
- 16-XX (14)
- 37-XX (12)
- 43-XX (12)
- 74-XX (12)
- 13-XX (11)
- 17-XX (11)
- 51-XX (10)
- 70-XX (9)
- 01-XX (8)
- 12-XX (8)
- 91-XX (8)
- 55-XX (7)
- 28-XX (6)
- 57-XX (6)
- 80-XX (6)
- 00-XX (5)
- 54-XX (5)
- 82-XX (5)
- 93-XX (5)
- 31-XX (4)
- 49-XX (3)
- 97-XX (3)
- 19-XX (2)
- 85-XX (2)
- 86-XX (1)
all
top 3
Biographic Reference
- Hobbes, Thomas (1)
- Horn, Friedrich Josef Maria (1)
- Jeroslow, Robert G. (1)
- Newton, Isaac (1)
- Wallis, John (1)
all
top 3
Software
- DLMF (36)
- Ltur (16)
- Mathematica (15)
- z3 (13)
- JBool (12)
- HYPERDIRE (11)
- Datalog (9)
- GHC (9)
- OEIS (7)
- Schwarz-Christoffel (7)
- Spacer (7)
- AppellF2 (6)
- PARLOG (6)
- PTTP (6)
- SeaHorn (6)
- VeriMAP (6)
- Yices (6)
- DIMACS (5)
- Hornlog (5)
- Maple (5)
- SC Toolbox (5)
- ECCE (4)
- HSF (4)
- Macaulay2 (4)
- PPL (4)
- RAHFT (4)
- SATCHMO (4)
- SCPACK (4)
- SETHEO (4)
- TRACER (4)
- Boogie (3)
- Ciao (3)
- CiaoPP (3)
- Coq (3)
- F1 (3)
- HypSeries (3)
- Hypexp (3)
- JayHorn (3)
- MBConicHulls (3)
- Nestedsums (3)
- NumExp (3)
- SageMath (3)
- TPTP (3)
- XSummer (3)
- solvePartialLDE (3)
- AMBRE (2)
- ARMC (2)
- Beluga (2)
- CPAchecker (2)
- CPLEX (2)
- CVC4 (2)
- Chaff (2)
- CliffOC (2)
- Equator (2)
- FeynGKZ (2)
- Gandalf (2)
- HORN-3 (2)
- HORN-4 (2)
- HarmonicSums (2)
- INGRES (2)
- Idris (2)
- InvGen (2)
- Irdis (2)
- Leibniz (2)
- MGTP (2)
- ML (2)
- MathSAT5 (2)
- MiniSat (2)
- OTTER (2)
- Olsson.wl (2)
- OpenXM (2)
- Quantum Calculator (2)
- ROBDD (2)
- SLAM (2)
- SMACK (2)
- Smodels (2)
- XSB (2)
- gfun (2)
- yang (2)
- 4ti2 (1)
- ABACUS (1)
- ALF (1)
- ALGOL 68 (1)
- APRIORI (1)
- AProVE (1)
- ASA (1)
- ASSAT (1)
- ATGen (1)
- Algorithm 736 (1)
- Apron (1)
- Automath (1)
- BABEL (1)
- BIDE (1)
- BIOLER-1 (1)
- BLAST (1)
- BerkMin (1)
- Boolector (1)
- Boost (1)
- Boost C++ Libraries (1)
- CASL (1)
- and 168 more Software Packages
