Found 629 Documents (Results 1–100)
The ultra log-concavity of \(Z\)-polynomials and \(\gamma\)-polynomials of uniform matroids. (English) Zbl 07917830
A novel investigation on propagation of envelop optical soliton structure through a dispersive medium in the nonlinear Whitham-Broer-Kaup dynamical equation. (English) Zbl 07880125
Breaking permutation-based pseudorandom cryptographic schemes using distributed exact quantum algorithms. (English) Zbl 07875135
A new preconditioned nonlinear conjugate gradient method in real arithmetic for computing the ground states of rotational Bose-Einstein condensate. (English) Zbl 07860851
Update of \(\mathcal{H}\Phi\): newly added functions and methods in versions 2 and 3. (English) Zbl 07833758
Hardinian arrays. (English) Zbl 1536.05017
Safe and verified Gomory mixed-integer cuts in a rational mixed-integer program framework. (English) Zbl 1534.65087
Reviewer: Steven B. Damelin (Ann Arbor)
On the seeds and the great-grandchildren of a numerical semigroup. (English) Zbl 1533.06007
Reviewer: Pedro A. García Sánchez (Granada)
Multi-headed lattices and Green functions. arXiv:2405.20294
Preprint, arXiv:2405.20294 [math.CO] (2024).
Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices. arXiv:2405.09457
Preprint, arXiv:2405.09457 [cond-mat.stat-mech] (2024).
Verified exact real computation with nondeterministic functions and limits. (English) Zbl 07856031
Fernau, Henning (ed.) et al., Fundamentals of computation theory. 24th international symposium, FCT 2023, Trier, Germany, September 18–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14292, 363-377 (2023).
MSC:
68Qxx
Univariate rational sums of squares. (English) Zbl 1533.14051
Reviewer: Sonia Pérez Díaz (Madrid)
Improved synthesis of Toffoli-Hadamard circuits. (English) Zbl 07786602
Kutrib, Martin (ed.) et al., Reversible computation. 15th international conference, RC 2023, Giessen, Germany, July 18–19, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13960, 169-209 (2023).
Two global quasi-Newton algorithms for solving matrix polynomial equations. (English) Zbl 1538.65125
A note on two new closed-form evaluations of the generalized hypergeometric function \({}_5 F_4\) with argument \(\dfrac{1}{256}\). (English) Zbl 1531.33012
Exact and inexact Douglas-Rachford splitting methods for solving large-scale sparse absolute value equations. (English) Zbl 1518.65049
MSC:
65H10
A computational status update for exact rational mixed integer programming. (English) Zbl 1515.90077
MSC:
90C11
An explicit polynomial to globalize algorithms for solving matrix polynomial equations. (English) Zbl 1497.65075
Algebraic solutions of linear differential equations: an arithmetic approach. arXiv:2304.05061
Preprint, arXiv:2304.05061 [math.NT] (2023).
Quantum speedups for treewidth. (English) Zbl 07872962
Le Gall, François (ed.) et al., 17th conference on the theory of quantum computation, communication and cryptography, TQC 2022, Urbana Champaign, Illinois, USA, July 11–15, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 232, Article 11, 18 p. (2022).
Near-optimal algorithms for point-line covering problems. (English) Zbl 07836588
Berenbrink, Petra (ed.) et al., 39th international symposium on theoretical aspects of computer science, STACS 2022, Marseille, France, virtual conference, March 15–18, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 219, Article 21, 18 p. (2022).
MSC:
68Qxx
Computational and implementational analysis of generating functions for higher order combinatorial numbers and polynomials attached to Dirichlet characters. (English) Zbl 07780970
Reviewer: Yilmaz Simsek (Antalya)
Counting Condorcet. (English) Zbl 1512.05030
Lattice walks ending on a coordinate hyperplane avoiding backtracking and repeats. (English) Zbl 1512.05036
Series acceleration formulas obtained from experimentally discovered hypergeometric recursions. (English) Zbl 1530.33007
A new class of nonlinear conjugate gradient coefficients for unconstrained optimization. (English) Zbl 1504.90099
Efficient predicate evaluation using randomized degeneracy detection. (English) Zbl 07633850
MSC:
68U05
Spherically symmetric solutions of a chiral self-gravitating model in \(f(R,\square R)\) gravity. (English) Zbl 1511.83058
Computation of distributions of statistics by means of Markov chains. (English. Russian original) Zbl 07600135
Discrete Math. Appl. 32, No. 4, 285-295 (2022); translation from Diskretn. Mat. 32, No. 4, 38-51 (2020).
New non-traveling wave solutions for the (2+1)-dimensional variable coefficients Date-Jimbo-Kashiwara-Miwa equation. (English) Zbl 1498.35165
Mode computation of immersed multilayer plates by solving an eigenvalue problem. (English) Zbl 1524.74172
Nonlinear spin dynamics of a couple of nonlinear Schrödinger’s equations by the improved form of an analytical method. (English) Zbl 1538.35343
Abundant explicit non-traveling wave solutions for the (2+1)-dimensional breaking soliton equation. (English) Zbl 1491.35395
On complex soliton solutions, complex elliptic solutions and complex rational function solutions for the Sasa-Satsuma model equation with variable coefficients. (English) Zbl 1487.35162
Bounds for polynomials on algebraic numbers and application to curve topology. (English) Zbl 1486.14074
Reviewer: Alexander Kovačec (Coimbra)
Abundant new non-traveling wave solutions for the \((3+1)\)-dimensional Boiti-Leon-Manna-Pempinelli equation. (English) Zbl 07907263
Efficient privacy-preserving variable-length substring match for genome sequence. (English) Zbl 1519.92168
Carbone, Alessandra (ed.) et al., 21st international workshop on algorithms in bioinformatics, WABI 2021, August 2–4, 2021, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 201, Article 2, 23 p. (2021).
There are EXACTLY 1493804444499093354916284290188948031229880469556 ways to derange a standard deck of cards (ignoring suits) [and many other such useful facts]. (English) Zbl 1499.05031
Exact solutions of nonlinear equations in mathematical physics via negative power expansion method. (English) Zbl 1490.35378
Axiomatic reals and certified efficient exact real computation. (English) Zbl 1540.03108
Silva, Alexandra (ed.) et al., Logic, language, information, and computation. 27th international workshop, WoLLIC 2021, virtual event, October 5–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13038, 252-268 (2021).
Implementation of computation formulas for certain classes of Apostol-type polynomials and some properties associated with these polynomials. (English) Zbl 1489.05005
Exact real computation of solution operators for linear analytic systems of partial differential equations. (English) Zbl 07497965
Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 370-390 (2021).
MSC:
68W30
A generalized (2 + 1)-dimensional Calogaro-Bogoyavlenskii-Schiff equation: symbolic computation, symmetry reductions, exact solutions, conservation laws. (English) Zbl 1485.35099
The absent-minded passengers problem: a motivating challenge solved by computer algebra. (English) Zbl 07465791
How to make traversable wormholes: eternal \( \mathrm{AdS}_4\) wormholes from coupled CFT’s. (English) Zbl 1476.83016
Dynamics of exact soliton solutions in the double-chain model of deoxyribonucleic acid. (English) Zbl 1479.35765
Formal semantics and verification of network-based biocomputation circuits. (English) Zbl 1472.68057
Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 464-485 (2021).
Comparing reactions in reaction systems. (English) Zbl 1517.68121
MSC:
68Q07
New exact traveling wave solutions to the (2+1)-dimensional chiral nonlinear Schrödinger equation. (English) Zbl 1473.35513
Degree upper bounds for involutive bases. (English) Zbl 1491.13038
Reviewer: Michael F. Singer (Raleigh)
Fast and stable evaluation of splines and their derivatives generated by the seven-direction quartic box-spline. (English) Zbl 1459.65023
Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT. (English) Zbl 1468.68276
Contact linearizability of scalar ordinary differential equations of arbitrary order. (English) Zbl 07635843
Boulier, François (ed.) et al., Computer algebra in scientific computing. 22nd international workshop, CASC 2020, Linz, Austria, September 14–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12291, 421-430 (2020).
MSC:
68W30
Families of exact solutions of Biswas-Milovic equation by an exponential rational function method. (English) Zbl 1501.35371
Continuous and monotone machines. (English) Zbl 07559427
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 56, 16 p. (2020).
MSC:
68Qxx
Fast nonseparable Gaussian stochastic process with application to methylation level interpolation. (English) Zbl 07499253
MSC:
62-XX
Exact solutions of cubic-quintic modified Korteweg-de-Vries equation. (English) Zbl 1483.35189
Altenbach, Holm (ed.) et al., Nonlinear wave dynamics of materials and structures. Cham: Springer. Adv. Struct. Mater. 122, 433-445 (2020).
Reviewer: Ahmed Lesfari (El Jadida)
Proving two conjectural series for \(\zeta (7)\) and discovering more series for \(\zeta (7)\). (English) Zbl 07441059
Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 42-47 (2020).
New exact solutions of the \((3 + 1)\)-dimensional Jimbo-Miwa equation. (Chinese. English summary) Zbl 1474.35183
Digital hyperplane fitting. (English) Zbl 1482.68256
Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 164-180 (2020).
Interaction solutions and abundant exact solutions for the new (3+1)-dimensional generalized Kadomtsev-Petviashvili equation in fluid mechanics. (English) Zbl 1461.35086
Quantitative result on the deviation of a real algebraic curve from its vertical tangents. (English) Zbl 1460.14127
Seck, Diaraf (ed.) et al., Nonlinear analysis, geometry and applications. Proceedings of the first biennial international research symposium, NLAGA-BIRS, Dakar, Senegal, June 24–28, 2019. Cham: Birkhäuser. Trends Math., 439-457 (2020).
Searching new exact solutions of the \((3+1)\)-dimensional generalized shallow water system by the \((G'/G)\)-expansion method. (Chinese. English summary) Zbl 1463.35418
Symbolic computation of new exact solutions for some nonlinear equations in mathematical physics. (Chinese. English summary) Zbl 1463.68144
Filter Results by …
Document Type
- Journal Articles (503)
- Collection Articles (110)
- Books (11)
- arXiv Preprints (5)
all
top 5
Author
- Zeilberger, Doron (11)
- Kauers, Manuel (10)
- Yap, Chee-Keng (10)
- Zhang, Hongqing (10)
- Berger, Ulrich (8)
- Schirra, Stefan (7)
- Bostan, Alin (6)
- Tian, Bo (6)
- Bekir, Ahmet (5)
- Gao, Yitian (5)
- Gleixner, Ambros M. (5)
- Li, Zhibin (5)
- Niqui, Milad (5)
- Salvy, Bruno (5)
- Wolpert, Nicola (5)
- Abdou, Mohamed Aly Mohamed (4)
- Andrade, Jose Ailton Alencar (4)
- De Loera, Jesús A. (4)
- Emiris, Ioannis Z. (4)
- Hereman, Willy A. (4)
- Kaplan, Melike (4)
- Konečný, Michal (4)
- Koutschan, Christoph (4)
- Li, Desheng (4)
- Liu, Jianguo (4)
- Manocha, Dinesh (4)
- Paule, Peter (4)
- Pion, Sylvain (4)
- Rathie, Pushpa Narayan (4)
- Roy, Marie-Françoise (4)
- Sagraloff, Michael (4)
- Steffy, Daniel E. (4)
- Tsigaridas, Elias P. (4)
- Zhang, Shanqing (4)
- Berberich, Eric (3)
- Chen, Yong (3)
- Diatta, Daouda Niang (3)
- Distler, Andreas (3)
- Guo, Li (3)
- Halperin, Dan (3)
- Higham, Nicholas J. (3)
- Kaltofen, Erich L. (3)
- Kettner, Lutz (3)
- Keyser, John (3)
- Kim, Hyunmin (3)
- Krattenthaler, Christian Friedrich (3)
- Krishnan, Shankar M. (3)
- Kucukoglu, Irem (3)
- Marcial-Romero, José Raymundo (3)
- Mehlhorn, Kurt (3)
- Mörig, Marc (3)
- Naldi, Simone (3)
- Park, Sewon (3)
- Pernet, Clément (3)
- Qiu, Daowen (3)
- Rouillier, Fabrice (3)
- Schömer, Elmar (3)
- Shang, Yadong (3)
- Sit, William Yu (3)
- Taogetusang (3)
- Thies, Holger (3)
- Wein, Ron (3)
- Yao, Ruoxia (3)
- Yong, Xuelin (3)
- Zheng, Xiaoxiao (3)
- Zuo, Yijun (3)
- Adem, Abdullahi Rashid (2)
- Agahi, Hamzeh (2)
- Akbulut, Arzu (2)
- Akritas, Alkiviadis G. (2)
- Andrews, George Eyre (2)
- Balakrishnan, Narayanaswamy (2)
- Baldiotti, M. C. (2)
- Baldwin, Douglas E. (2)
- Băleanu, Dumitru I. (2)
- Barvinok, Alexander I. (2)
- Benzine, Rachid (2)
- Bilal, Muhammad (2)
- Bohn, Adam (2)
- Boumediene, Amina (2)
- Bras-Amorós, Maria (2)
- Bright, Curtis (2)
- Burnikel, Christoph (2)
- Cai, Guangya (2)
- Chang, Ee-Chien (2)
- Choi, Sungwoo (2)
- Chyzak, Frédéric (2)
- Cui, Xiangyang (2)
- Diatta, Sény (2)
- Ding, Chensen (2)
- Ding, Yao (2)
- Edalat, Abbas (2)
- Edelsbrunner, Herbert (2)
- Eifler, Leon (2)
- Eigenwillig, Arno (2)
- Ekhad, Shalosh B. (computer) (2)
- Elwakil, S. A. (2)
- Faenza, Yuri (2)
- Farjudian, Amin (2)
- Fiorini, Samuel (2)
- and 952 more Authors
all
top 5
Serial
- Appl. Math. Comput. (20)
- Theor. Comput. Sci. (18)
- J. Symb. Comput. (16)
- Comput. Phys. Commun. (12)
- J. Comput. Appl. Math. (9)
- Comput. Math. Appl. (8)
- Comput. Methods Appl. Mech. Eng. (6)
- Math. Comput. (6)
- Comput. Aided Geom. Des. (6)
- Comput. Geom. (6)
- Int. J. Comput. Math. (6)
- Linear Algebra Appl. (6)
- Math. Comput. Sci. (6)
- Math. Methods Appl. Sci. (5)
- Phys. Lett., A (5)
- Chaos Solitons Fractals (5)
- Electron. J. Comb. (5)
- Ann. Comb. (5)
- Quantum Inf. Process. (5)
- Inf. Process. Lett. (4)
- Math. Comput. Simul. (4)
- Numer. Math. (4)
- Adv. Appl. Math. (4)
- Int. J. Comput. Geom. Appl. (4)
- Numer. Algorithms (4)
- J. Phys. A, Math. Gen. (4)
- Comput. Stat. Data Anal. (4)
- Exp. Math. (4)
- Commun. Nonlinear Sci. Numer. Simul. (4)
- Log. Methods Comput. Sci. (4)
- Math. Program. Comput. (4)
- IMA J. Numer. Anal. (3)
- Computing (3)
- SIAM J. Matrix Anal. Appl. (3)
- Commun. Stat., Simulation Comput. (3)
- Commun. Stat., Theory Methods (3)
- J. Stat. Comput. Simulation (3)
- Theory Comput. Syst. (3)
- J. Integer Seq. (3)
- J. UCS (3)
- J. Nanchang Univ., Nat. Sci. (3)
- J. Appl. Anal. Comput. (3)
- Enumer. Comb. Appl. (3)
- Int. J. Theor. Phys. (2)
- Z. Angew. Math. Mech. (2)
- Calcolo (2)
- J. Number Theory (2)
- Networks (2)
- Proc. Am. Math. Soc. (2)
- J. Lanzhou Univ., Nat. Sci. (2)
- Math. Pract. Theory (2)
- Ann. Pure Appl. Logic (2)
- Acta Phys. Sin. (2)
- Algorithmica (2)
- SIAM J. Discrete Math. (2)
- Comput.-Aided Des. (2)
- Int. J. Found. Comput. Sci. (2)
- Discrete Math. Appl. (2)
- Math. Program. (2)
- SIAM J. Sci. Comput. (2)
- ETNA, Electron. Trans. Numer. Anal. (2)
- Adv. Comput. Math. (2)
- J. Difference Equ. Appl. (2)
- INFORMS J. Comput. (2)
- Sémin. Lothar. Comb. (2)
- Taiwanese J. Math. (2)
- Discrete Math. Theor. Comput. Sci. (2)
- Ann. Phys. (8) (2)
- Fundam. Inform. (2)
- Int. J. Mod. Phys. C (2)
- J. Mach. Learn. Res. (2)
- Math. Sci. Res. J. (2)
- Int. J. Pure Appl. Math. (2)
- J. Algebra Appl. (2)
- J. Inn. Mong. Norm. Univ., Nat. Sci. (2)
- J. Phys. A, Math. Theor. (2)
- Chin. J. Phys., Taipei (2)
- Asian-Eur. J. Math. (2)
- ACM Commun. Comput. Algebra (2)
- Quantum Inf. Comput. (2)
- Int. J. Nonlinear Sci. (2)
- Commun. Theor. Phys. (2)
- J. Log. Anal. (2)
- Int. J. Appl. Comput. Math. (2)
- Int. J. Mod. Phys. A (1)
- Acta Mech. (1)
- Acta Tech. Acad. Sci. Hung. (1)
- Am. Math. Mon. (1)
- Appl. Anal. (1)
- Can. J. Stat. (1)
- Classical Quantum Gravity (1)
- Comput. Struct. (1)
- Discrete Appl. Math. (1)
- IEEE Trans. Reliab. (1)
- Isr. J. Math. (1)
- J. Comput. Phys. (1)
- J. Eng. Math. (1)
- J. Math. Phys. (1)
- J. Stat. Phys. (1)
- Math. Notes (1)
- and 168 more Serials
all
top 5
Year of Publication
- 2024 (15)
- 2023 (19)
- 2022 (23)
- 2021 (24)
- 2020 (21)
- 2019 (23)
- 2018 (28)
- 2017 (19)
- 2016 (22)
- 2015 (15)
- 2014 (17)
- 2013 (29)
- 2012 (11)
- 2011 (27)
- 2010 (28)
- 2009 (22)
- 2008 (29)
- 2007 (27)
- 2006 (19)
- 2005 (14)
- 2004 (11)
- 2003 (11)
- 2002 (10)
- 2001 (14)
- 2000 (9)
- 1999 (9)
- 1998 (4)
- 1997 (10)
- 1996 (7)
- 1995 (5)
- 1994 (7)
- 1993 (12)
- 1992 (9)
- 1991 (9)
- 1990 (4)
- 1989 (7)
- 1988 (7)
- 1987 (6)
- 1986 (6)
- 1985 (4)
- 1984 (8)
- 1983 (5)
- 1982 (5)
- 1981 (4)
- 1980 (5)
- 1978 (6)
- 1976 (1)
- 1974 (1)
- 1973 (1)
all
top 3
Main Field
- 68-XX (308)
- 65-XX (225)
- 05-XX (140)
- 35-XX (119)
- 33-XX (51)
- 62-XX (48)
- 81-XX (48)
- 11-XX (43)
- 03-XX (35)
- 15-XX (35)
- 90-XX (35)
- 41-XX (23)
- 82-XX (20)
- 14-XX (19)
- 34-XX (18)
- 26-XX (17)
- 37-XX (17)
- 74-XX (17)
- 52-XX (15)
- 20-XX (14)
- 12-XX (13)
- 60-XX (13)
- 76-XX (13)
- 13-XX (12)
- 94-XX (12)
- 92-XX (10)
- 06-XX (9)
- 16-XX (8)
- 30-XX (8)
- 83-XX (8)
- 91-XX (7)
- 78-XX (6)
- 86-XX (6)
- 93-XX (5)
- 39-XX (4)
- 47-XX (4)
- 17-XX (3)
- 32-XX (3)
- 49-XX (3)
- 54-XX (3)
- 55-XX (3)
- 58-XX (3)
- 70-XX (3)
- 00-XX (2)
- 22-XX (2)
- 28-XX (2)
- 42-XX (2)
- 46-XX (2)
- 51-XX (2)
- 53-XX (2)
- 57-XX (2)
- 80-XX (2)
- 18-XX (1)
- 40-XX (1)
- 43-XX (1)
- 97-XX (1)
all
top 3
Software
- Maple (52)
- OEIS (18)
- Mathematica (17)
- CGAL (14)
- LEDA (14)
- Coq (11)
- Matlab (9)
- MACSYMA (8)
- GitHub (7)
- LAPACK (7)
- LattE (7)
- GAP (6)
- MAPC (6)
- RATH (6)
- gmp (6)
- iRRAM (6)
- Haskell (5)
- MPFR (5)
- 2D Arrangement (4)
- C-CoRN (4)
- DDESpecialSolutions (4)
- DEtools (4)
- EXACUS (4)
- MIPLIB (4)
- PDESpecialSolutions (4)
- R (4)
- SageMath (4)
- gfun (4)
- lobpcg.m (4)
- ATFM (3)
- Boost (3)
- DLMF (3)
- FGb (3)
- Guess (3)
- HolonomicFunctions (3)
- Hull (3)
- JDQZ (3)
- Minlog (3)
- MultiZeilberger (3)
- NTL (3)
- Omega (3)
- QSopt-Exact (3)
- QSopt_ex (3)
- REDUCE (3)
- RealLib (3)
- SCIP (3)
- SHRAD (3)
- SQUINT (3)
- Smallsemi (3)
- SoPlex (3)
- core 2 (3)
- polymake (3)
- 01poly (2)
- 2D Minkowski sums (2)
- 2L_enum (2)
- ARPACK (2)
- Ariadne (2)
- BiVariateMoms (2)
- Boost C++ Libraries (2)
- CLT (2)
- CPLEX (2)
- CRAN (2)
- Concorde (2)
- DET (2)
- DIMACS (2)
- DRAT-trim (2)
- ESOLID (2)
- FFTW (2)
- Flocq (2)
- ISOLATE (2)
- Isabelle/HOL (2)
- JACOBI (2)
- Jordan (2)
- LIE (2)
- LIE0 (2)
- LOOPS (2)
- LinBox (2)
- MDDS (2)
- MINION (2)
- Magma (2)
- MathCheck (2)
- NumericMonoid (2)
- NumericalSemigroupsWithGenus (2)
- OGDF (2)
- PDEtools (2)
- Qhull (2)
- RZ (2)
- Rif (2)
- SINGULAR (2)
- SLEEF (2)
- SPECTRA (2)
- STL (2)
- SYMMGRP.MAX (2)
- ScaLAPACK (2)
- Semigroups (2)
- SteinLib (2)
- VIPR (2)
- birkhoff faces (2)
- insulate (2)
- mctoolbox (2)
- and 222 more Software Packages