Found 32 Documents (Results 1–32)
Formalizing graph trail properties in Isabelle/HOL. (English) Zbl 1455.68258
Benzmüller, Christoph (ed.) et al., Intelligent computer mathematics. 13th international conference, CICM 2020, Bertinoro, Italy, July 26–31, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12236, 190-205 (2020).
Optimality regions and fluctuations for Bernoulli last passage models. (English) Zbl 1394.60100
MSC:
60K35
Increasing tableaux, Narayana numbers and an instance of the cyclic sieving phenomenon. (English) Zbl 1347.05252
Squarefree monomial ideals that fail the persistence property and non-increasing depth. (English) Zbl 1320.13015
Reviewer: Susan Morey (San Marcos)
Good edge-labelling of graphs. (English) Zbl 1305.05204
Altitude of wheels and wheel-like graphs. (English) Zbl 1205.05202
MSC:
05C78
Soft edge results for longest increasing paths on the planar lattice. (English) Zbl 1202.60154
MSC:
60K35
I-type optional increasing paths. (Chinese. English summary) Zbl 1174.60374
Trees with depression three. (English) Zbl 1149.05042
Reviewer: László A. Székely (Columbia)
Weighted increasing trees and exponential generating functions. (English) Zbl 1141.05021
Reviewer: K. C. Chowdhury (Guwahati)
Altitude of \(K_{3,n}\). (English) Zbl 1073.05062
Reviewer: Hans L. Bodlaender (Utrecht)
Generation of Dyck paths with increasing peaks. (Génération de chemins de Dyck à pics croissants.) (French) Zbl 0994.05005
Reviewer: H.N.V.Temperley (Langport)
MSC:
05A15
Properties of optional increasing paths. (Chinese. English summary) Zbl 0956.60036
MSC:
60G40
Multi-armed bandits in discrete and continuous time. (English) Zbl 0940.60063
Reviewer: M.Nisio (Osaka)
A combinatorial approach to nonlinear functional expansions: An introduction with an example. (English) Zbl 0754.05005
Reviewer: M.de la Sen (Bilbao)
Increasing paths on the one-skeleton of a convex compact set in a normed space. (English) Zbl 0593.52001
MSC:
52A05
Increasing paths on the one-skeleton of a convex compact set in a normed space. (English) Zbl 0553.52001
Pac. J. Math. (to appear).
MSC:
52A05
Optional increasing paths. (English) Zbl 0456.60051
Processus aleatoires a deux indices, Colloq, E.N.S.T.-C.N.E.T., Paris 1980, Lect. Notes Math. 863, 172-201 (1981).
Dichotomy method in certain minimax problems on graphs. (English. Russian original) Zbl 0507.90088
Autom. Remote Control 41, No. 8, 1111-1113 (1981); translation from Avtom. Telemekh. 1980, No. 8, 85-87 (1980).
Filter Results by …
Document Type
- Journal Articles (30)
- Collection Articles (2)
all
top 5
Author
- Mynhardt, Christina Magdalena (6)
- Dalla, Leoni (2)
- Georgiou, Nicos (2)
- Schurch, Mark (2)
- Zhou, Xinquan (2)
- Ahlbach, Connor (1)
- Araújo, Júlio César Silva (1)
- Arman, Andrii (1)
- Basdevant, Anne-Laure (1)
- Breytenbach, Jean A. (1)
- Burger, Alewyn Petrus (1)
- Clark, T. C. (1)
- Cochayne, E. J. (1)
- Cohen, Nathann (1)
- David, Jacob (1)
- De Silva, Jessica (1)
- Dzido, Tomasz (1)
- Elliott, Bradley (1)
- Falvai, B. (1)
- Furmańczyk, Hanna (1)
- Gallivan, Steve (1)
- Gerin, Lucas (1)
- Giroire, Frédéric (1)
- Hà, Huy Tài (1)
- Havet, Frédéric (1)
- Henderson, N. D. R. (1)
- Kaspi, Haya (1)
- Kovács, Laura Ildikó (1)
- Lachnitt, Hanna (1)
- Leroux, Pierre (1)
- Mandelbaum, Avi (1)
- Merzbach, Ely (1)
- Molla, Theodore (1)
- Oh, Suho (1)
- Ortmann, Janosch (1)
- Penaud, Jean-Guy (1)
- Pfender, Florian (1)
- Pressey, Timothy (1)
- Putcha, Mohan S. (1)
- Retter, Troy (1)
- Roberts, Matthew Iain (1)
- Rodl, Vojtech (1)
- Roques, Olivier (1)
- Stokke, Anna (1)
- Sun, Mengyao (1)
- Szeider, Stefan (1)
- Tait, Michael (1)
- Vajnshtejn, A. D. (1)
- Viennot, Xavier Gérard (1)
- Visentin, Terry I. (1)
- Walsh, John Bradstreet (1)
- Woan, Wen-Jin (1)
- Wu, Christopher (1)
- Zhao, Lee Zhuo (1)
all
top 5
Serial
- Discrete Math. (4)
- J. Comb. Math. Comb. Comput. (2)
- Electron. Commun. Probab. (2)
- Discrete Appl. Math. (1)
- Isr. J. Math. (1)
- Acta Math. Vietnam. (1)
- Can. Math. Bull. (1)
- J. Comb. Theory, Ser. A (1)
- Pac. J. Math. (1)
- Theor. Comput. Sci. (1)
- Ann. Appl. Probab. (1)
- Ann. Inst. Henri Poincaré, Nouv. Sér., Sect. B (1)
- Autom. Remote Control (1)
- Ann. Inst. Henri Poincaré, Probab. Stat. (1)
- Electron. J. Comb. (1)
- Pure Appl. Math. (1)
- Discuss. Math., Graph Theory (1)
- J. Baoji Coll. Arts Sci., Nat. Sci. (1)
- Sémin. Lothar. Comb. (1)
- Math. Phys. Anal. Geom. (1)
- Ann. Comb. (1)
- Int. J. Pure Appl. Math. (1)
- Cent. Eur. J. Math. (1)
- Involve (1)
Software
- HOL (1)
- Isabelle (1)
- Isabelle/HOL (1)