Found 520 Documents (Results 1–100)
Well partial orders. (English) Zbl 07920713
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 273-301 (2024).
On the maximum local mean order of sub-\(k\)-trees of a \(k\)-tree. (English) Zbl 07914205
MSC:
05C05
A linear algorithm for the neighbor-component order connectivity of arbitrary trees. (English) Zbl 1537.05030
Development of high-order adaptive multi-step Runge-Kutta-Nyström method for solving special second-order ODEs. (English) Zbl 1540.65206
Solution to a conjecture on the mean subtree order of graphs under edge addition. (English) Zbl 1522.05034
MSC:
05C05
Euclidean algorithm for a class of linear orders. (English) Zbl 07745191
MSC:
06A05
A proof of the tree alternative conjecture under the topological minor relation. (English) Zbl 1521.05194
General Gutman index of a graph. (English) Zbl 1529.92055
Reviewer: Dieter Erle (Dortmund)
Network dynamics with higher-order interactions: coupled cell hypernetworks for identical cells and synchrony. (English) Zbl 1525.37038
Torsion in the outer automorphism groups of generalized Baumslag-Solitar groups. (English. Russian original) Zbl 1514.20127
Sib. Math. J. 64, No. 1, 67-75 (2023); translation from Sib. Mat. Zh. 64, No. 1, 79-88 (2023).
Hopf algebras of parking functions and decorated planar trees. (English) Zbl 1510.16032
Reviewer: Loïc Foissy (Calais)
Adaptive multi-step Runge-Kutta-Nyström methods for general second-order ordinary differential equations. (English) Zbl 1506.65100
MSC:
65L06
Limit-closed Profiles. arXiv:2309.06954
Preprint, arXiv:2309.06954 [math.CO] (2023).
Pop & Push: ordered tree iteration in \(\mathcal{O}(1)\)-time. (English) Zbl 07911119
Bae, Sang Won (ed.) et al., 33rd international symposium on algorithms and computation (ISAAC 2022), Seoul, Korea, December 19–21, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 248, Article 53, 16 p. (2022).
MSC:
68Wxx
Estimating and testing relations and trees on the basis of pairwise comparisons. (English) Zbl 07839208
MSC:
62-XX
Partitioning the edge set of a bipartite graph into the minimal number of subgraphs isomorphic to those of a simple 4 order cycle. (Russian. English summary) Zbl 1542.68141
Formalization of functional block diagrams using HOL theorem proving. (English) Zbl 1528.68395
Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 22-35 (2022).
Improved algorithms for ranking and unranking \((k, m)\)-ary trees in B-order. (English) Zbl 1498.05053
Topological ubiquity of trees. (English) Zbl 1497.05034
Zeroth-order general Randić index of trees with given distance \(k\)-domination number. (English) Zbl 1487.05066
The order structure of forts iterated by quadratic polynomials. (English) Zbl 1501.39010
Reviewer: Mohammad Sajid (Buraydah)
First-order theories of bounded trees. (English) Zbl 1523.03013
Reviewer: Beibut Kulpeshov (Almaty)
A context-free grammar for the \(e\)-positivity of the trivariate second-order Eulerian polynomials. (English) Zbl 1476.05006
The uniform Kruskal theorem: between finite combinatorics and strong set existence. arXiv:2208.00209
Preprint, arXiv:2208.00209 [math.LO] (2022).
Pseudo-finiteness of arbitrary graphs of bounded shrub-depth. arXiv:2202.06308
Preprint, arXiv:2202.06308 [math.CO] (2022).
The distribution of radial eigenvalues of the Euclidean Laplacian on homogeneous isotropic trees. (English) Zbl 1483.05020
Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. (English) Zbl 1509.03116
New degrees of freedom for high-order Whitney approximations of Darcy’s flows. (English) Zbl 1468.65182
Shellability of face posets of electrical networks and the CW poset property. (English) Zbl 1535.06004
Containment graphs and posets of paths in a tree: wheels and partial wheels. (English) Zbl 1484.05177
Dimension of CPT posets. (English) Zbl 1472.06002
Reviewer: Jānis Cīrulis (Riga)
Exponential bipartite consensus of fractional-order non-linear multi-agent systems in switching directed signed networks. (English) Zbl 1542.93360
On indeterminate strings matching. (English) Zbl 07651105
Gørtz, Inge Li (ed.) et al., 31st annual symposium on combinatorial pattern matching, CPM 2020, Copenhagen, Denmark, June 17–19, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 161, Article 14, 14 p. (2020).
MSC:
68W32
The critical behaviors and the scaling functions of a coalescence equation. (English) Zbl 1514.82101
MSC:
82B44
Betweenness in order-theoretic trees. (English) Zbl 1509.03030
Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 79-94 (2020).
Ambiguity hierarchy of regular infinite tree languages. (English) Zbl 07559451
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 80, 14 p. (2020).
MSC:
68Qxx
On some tree-indexed series with one and two parameters. (English) Zbl 1445.05027
Burgos Gil, José Ignacio (ed.) et al., Periods in quantum field theory and arithmetic. Outcome of the “Research Trimester on Multiple Zeta Values, Multiple Polylogarithms, and Quantum Field Theory”, ICMAT 2014, Madrid, Spain, September 15–19, 2014. Cham: Springer. Springer Proc. Math. Stat. 314, 431-443 (2020).
Analyticity for rapidly determined properties of Poisson Galton-Watson trees. (English) Zbl 1453.60147
Reviewer: Bastien Mallein (Paris)
More on tree properties. (English) Zbl 1484.03052
On the strength of Ramsey’s theorem for trees. (English) Zbl 1444.03012
Reviewer: Jeffry L. Hirst (Boone)
A partial order and cluster-similarity metric on rooted phylogenetic trees. (English) Zbl 1435.92045
Reviewer: Fatima T. Adylova (Tashkent)
Exotic aromatic B-series for the study of long time integrators for a class of ergodic SDEs. (English) Zbl 1433.60078
Improved algorithms for ranking and unranking \((k, m)\)-ary trees. (English) Zbl 1534.68151
Du, Ding-Zhu (ed.) et al., Algorithmic aspects in information and management. 13th international conference, AAIM 2019, Beijing, China, August 6–8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11640, 16-28 (2019).
Learning definable hypotheses on trees. (English) Zbl 07561484
Barcelo, Pablo (ed.) et al., 22nd international conference on database theory, ICDT 2019, March 26–28, 2019, Lisbon, Portugal. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 127, Article 24, 18 p. (2019).
MSC:
68P15
Parameterized leaf power recognition via embedding into graph products. (English) Zbl 1520.68121
Paul, Christophe (ed.) et al., 13th international symposium on parameterized and exact computation, IPEC 2018, August 22–24, 2018, Helsinki, Finland. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 115, Article 16, 14 p. (2019).
Sharkovskii’s ordering and estimates of the number of periodic trajectories of given period of a self-map of an interval. (English. Russian original) Zbl 1427.37030
Vestn. St. Petersbg. Univ., Math. 52, No. 3, 281-285 (2019); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 6(64), No. 3, 422-429 (2019).
Explicit Runge-Kutta methods for starting integration of Lane-Emden problem. (English) Zbl 1429.65149
On a global sequential scenario of bifurcation trees to chaos in a first-order, periodically excited, time-delayed system. (English) Zbl 1435.34070
Amortized efficiency of generation, ranking and unranking left-child sequences in lexicographic order. (English) Zbl 1419.05151
Categoricity results and large model constructions for second-order ZF in dependent type theory. (English) Zbl 1468.03013
Maximizing the mean subtree order. (English) Zbl 1417.05031
MSC:
05C05
Explicit integrator of Runge-Kutta type for direct solution of \(u^{(4)} = f(x, u, u', u'')\). (English) Zbl 1416.65203
MSC:
65L06
Representing definable functions of \(\mathrm{HA}^{\omega}\) by neighbourhood functions. (English) Zbl 1461.03057
Numerical calibration of Steiner trees. (English) Zbl 1448.49003
Reviewer: Bülent Karasözen (Ankara)
A first course in logic. (English) Zbl 1457.03001
Boca Raton, FL: CRC Press (ISBN 978-0-8153-8665-0/pbk; 978-0-8153-8664-3/hbk; 978-1-351-17537-1/pbk). xv, 233 p. (2019).
Reviewer: Éric Martin (Sydney)
Filter Results by …
Document Type
- Journal Articles (403)
- Collection Articles (88)
- Books (25)
- arXiv Preprints (4)
all
top 5
Author
- Courcelle, Bruno (10)
- Shelah, Saharon (10)
- Chang, Jou-Ming (8)
- Wu, Ro-Yu (8)
- Sanz-Serna, Jesús María (7)
- Weiermann, Andreas (7)
- Butcher, John C. (6)
- Tsitouras, Charalampos (6)
- Wang, Hua (6)
- Famelis, Ioannis Th. (5)
- Grohe, Martin (5)
- Murua, Ander (5)
- Pai, Kung-Jui (5)
- Simpson, Stephen G. (5)
- You, Xiong (5)
- Blumensath, Achim (4)
- Bojańczyk, Mikołaj (4)
- Chen, Shubo (4)
- Hirst, Jeffry Lynn (4)
- Miller, Dale Allen (4)
- Rathjen, Michael (4)
- Seese, Detlef G. (4)
- Senu, Norazak (4)
- Thomas, Wolfgang (4)
- Wagner, Stephan G. (4)
- Abraham, Uri (3)
- Cambie, Stijn (3)
- Chartier, Philippe (3)
- Gupta, Arvind (3)
- Hliněný, Petr (3)
- Kaller, Damon (3)
- Kellerman, Ruaan (3)
- Mafuta, Phillip (3)
- Nešetřil, Jaroslav (3)
- Rabinovich, Alexander (3)
- Shermer, Tom (3)
- Timoshenko, Evgeniĭ Iosifovich (3)
- Vetrík, Tomáš (3)
- Wu, Xinyuan (3)
- Yan, Fengming (3)
- Zamfir, Cristina (3)
- Abdulla, Parosh Aziz (2)
- Abdulsalam, Athraa (2)
- Alonso Rodríguez, Ana (2)
- Andrews, Peter B. (2)
- Aronis, Stavros (2)
- Bahr, Patrick (2)
- Balachandran, Selvaraj (2)
- Bodlaender, Hans L. (2)
- Boolos, George S. (2)
- Bruno, Jorge L. (2)
- Chan, Hung-Chang (2)
- Chan, Robert Peng Kong (2)
- Chan, T. M. H. (2)
- Chang, Ruay Shiung (2)
- Chang, Shun-Chieh (2)
- Chang, Yu-Hsuan (2)
- Chaudhuri, Kaustuv (2)
- Damnjanovic, Zlatan (2)
- Dao, Thi-Bich-Hanh (2)
- Dauchet, Max (2)
- Diday, Edwin (2)
- Doets, Kees (2)
- Droste, Manfred (2)
- Eppstein, David Arthur (2)
- Fang, Yonglei (2)
- Freund, Anton (2)
- Frick, Markus (2)
- Funk, Will (2)
- Gaglione, Anthony M. (2)
- Gajarský, Jakub (2)
- García-Díaz, Miguel (2)
- Gentilini, Paolo (2)
- Gheerbrant, Amélie (2)
- Goranko, Valentin F. (2)
- Gross, Daniel J. (2)
- Guénoche, Alain (2)
- Gupta, Chander Kanta (2)
- Gurevich, Yuri (2)
- Havvaei, Elham (2)
- Heinig, Monika M. (2)
- Henning, Michael Anthony (2)
- Hersh, Patricia (2)
- Hetzl, Stefan (2)
- Holland, Wilbur Charles jun. (2)
- Ismail, Fudziah Bt. (2)
- Jonsson, Bengt (2)
- Kartzow, Alexander (2)
- Kovchegov, Yevgeniy V. (2)
- Lacina, Stephen (2)
- Lifsches, Shmuel (2)
- Lin, Qifa (2)
- Lutzer, David J. (2)
- Mahajan, Sanjeev (2)
- Majid, Zanariah Abdul (2)
- Mazorodze, Jaya Percival (2)
- McBeth, Muhammad Ali (2)
- McColm, Gregory L. (2)
- Mól, Lucas A. S. (2)
- Mostowski, Andrzej Włodzimierz (2)
- and 653 more Authors
all
top 5
Serial
- Discrete Appl. Math. (12)
- J. Symb. Log. (11)
- Discrete Math. (10)
- Ann. Pure Appl. Logic (10)
- J. Comb. Theory, Ser. B (9)
- J. Graph Theory (8)
- Order (8)
- Log. Methods Comput. Sci. (8)
- Arch. Math. Logic (7)
- Inf. Process. Lett. (6)
- Ars Comb. (6)
- Theor. Comput. Sci. (6)
- J. Comput. Appl. Math. (5)
- Notre Dame J. Formal Logic (5)
- Eur. J. Comb. (5)
- Appl. Numer. Math. (5)
- Numer. Algorithms (5)
- Adv. Math. (4)
- BIT (4)
- SIAM J. Numer. Anal. (4)
- Trans. Am. Math. Soc. (4)
- Topology Appl. (4)
- Random Struct. Algorithms (4)
- Int. J. Comput. Math. (4)
- Bull. Symb. Log. (4)
- Algebra Logic (3)
- Ann. Math. Logic (3)
- Appl. Math. Comput. (3)
- Fundam. Math. (3)
- J. Comput. Syst. Sci. (3)
- Mem. Am. Math. Soc. (3)
- SIAM J. Comput. (3)
- Stud. Log. (3)
- J. Symb. Comput. (3)
- Algorithmica (3)
- J. Autom. Reasoning (3)
- RAIRO, Inform. Théor. Appl. (3)
- Congr. Numerantium (3)
- An. Univ. Craiova, Ser. Mat. Inf. (3)
- Log. J. IGPL (3)
- Discrete Math. Theor. Comput. Sci. (3)
- Found. Comput. Math. (3)
- Stud. Logic Found. Math. (3)
- Commun. Algebra (2)
- Isr. J. Math. (2)
- J. Math. Biol. (2)
- Math. Proc. Camb. Philos. Soc. (2)
- Math. Comput. (2)
- Bull. Math. Biol. (2)
- Ann. Sci. Éc. Norm. Supér. (4) (2)
- J. Algebra (2)
- Semigroup Forum (2)
- Adv. Appl. Math. (2)
- Inf. Comput. (2)
- J. Log. Comput. (2)
- J. Algebr. Comb. (2)
- J. Logic Lang. Inf. (2)
- Electron. J. Comb. (2)
- Electron. Commun. Probab. (2)
- J. Math. Chem. (2)
- Theory Comput. Syst. (2)
- J. Comb. Optim. (2)
- J. ACM (2)
- Theor. Inform. Appl. (2)
- Fundam. Inform. (2)
- MATCH Commun. Math. Comput. Chem. (2)
- Discrete Math. Algorithms Appl. (2)
- J. Comb. (2)
- Afr. Mat. (2)
- Arch. Math. Logik Grundlagenforsch. (1)
- Comput. Math. Appl. (1)
- Comput. Phys. Commun. (1)
- IEEE Trans. Inf. Theory (1)
- Indian J. Pure Appl. Math. (1)
- J. Comput. Phys. (1)
- J. Stat. Phys. (1)
- Mitt. Dtsch. Math.-Ver. (1)
- Nonlinearity (1)
- Psychometrika (1)
- Rocky Mt. J. Math. (1)
- Stud. Math. (1)
- Theor. Math. Phys. (1)
- Z. Angew. Math. Mech. (1)
- Math. Intell. (1)
- Abh. Math. Semin. Univ. Hamb. (1)
- Acta Cybern. (1)
- Ann. Stat. (1)
- Ann. Sci. Univ. Clermont-Ferrand II, Math. (1)
- Appl. Math. Optim. (1)
- Arch. Math. (1)
- Biom. J. (1)
- Bull. Soc. R. Sci. Liège (1)
- Cah. Topologie Géom. Différ. Catégoriques (1)
- Calcolo (1)
- Can. J. Math. (1)
- Čas. Pěstování Mat. (1)
- Comput. J. (1)
- Computing (1)
- Control Cybern. (1)
- Diss. Math. (1)
- and 116 more Serials
all
top 5
Year of Publication
- 2024 (13)
- 2023 (13)
- 2022 (21)
- 2021 (16)
- 2020 (18)
- 2019 (18)
- 2018 (14)
- 2017 (22)
- 2016 (16)
- 2015 (11)
- 2014 (15)
- 2013 (12)
- 2012 (16)
- 2011 (21)
- 2010 (20)
- 2009 (12)
- 2008 (13)
- 2007 (9)
- 2006 (7)
- 2005 (11)
- 2004 (8)
- 2003 (8)
- 2002 (8)
- 2001 (5)
- 2000 (5)
- 1999 (7)
- 1998 (12)
- 1997 (6)
- 1996 (13)
- 1995 (8)
- 1994 (10)
- 1993 (8)
- 1992 (11)
- 1991 (13)
- 1990 (12)
- 1989 (8)
- 1988 (5)
- 1987 (9)
- 1986 (7)
- 1985 (15)
- 1984 (6)
- 1983 (7)
- 1982 (6)
- 1981 (5)
- 1980 (6)
- 1979 (4)
- 1978 (3)
- 1977 (1)
- 1976 (1)
- 1975 (2)
- 1974 (1)
- 1972 (2)
all
top 3
Main Field
- 05-XX (253)
- 03-XX (209)
- 68-XX (140)
- 06-XX (66)
- 65-XX (55)
- 34-XX (36)
- 20-XX (29)
- 60-XX (23)
- 92-XX (17)
- 37-XX (16)
- 35-XX (13)
- 62-XX (13)
- 18-XX (10)
- 91-XX (10)
- 08-XX (8)
- 11-XX (8)
- 54-XX (7)
- 90-XX (7)
- 70-XX (6)
- 82-XX (5)
- 00-XX (4)
- 57-XX (4)
- 01-XX (3)
- 15-XX (3)
- 46-XX (3)
- 52-XX (3)
- 93-XX (3)
- 94-XX (3)
- 16-XX (2)
- 17-XX (2)
- 31-XX (2)
- 39-XX (2)
- 47-XX (2)
- 12-XX (1)
- 14-XX (1)
- 19-XX (1)
- 22-XX (1)
- 26-XX (1)
- 28-XX (1)
- 49-XX (1)
- 51-XX (1)
- 55-XX (1)
- 76-XX (1)
- 81-XX (1)
Biographic Reference
- Gödel, Kurt (1)
all
top 3
Software
- Mathematica (6)
- RODAS (6)
- GitHub (3)
- Runge-Kutta Order Conditions (3)
- butcher (3)
- Coq (2)
- Isabelle/HOL (2)
- Matlab (2)
- OEIS (2)
- Abstract Completeness (1)
- Abstract Soundness (1)
- Archive Formal Proofs (1)
- AutomGrp (1)
- Automath (1)
- ClusterMetric (1)
- Completeness theorem (1)
- ComputeTW (1)
- DSGRN (1)
- E Theorem Prover (1)
- ESTScan (1)
- ETPS (1)
- EasyGene (1)
- Erlang (1)
- ExonHunter (1)
- FOL Fitting (1)
- FOL_Harrison (1)
- FR (1)
- FSQP (1)
- GAP (1)
- GRAFFITI (1)
- GRAT (1)
- GeoSteiner (1)
- Gerris (1)
- GlimmerHMM (1)
- Gurobi (1)
- HERBY (1)
- HOL (1)
- HoTT (1)
- IMG (1)
- Incompleteness Theorems (1)
- Incredible Proof Machine (1)
- IsaFoL (1)
- Isabelle (1)
- Isabelle/ZF (1)
- Isar (1)
- Jitawa (1)
- Knuth Bendix Orders (1)
- LCF (1)
- LEGO (1)
- Lambda Free RPOs (1)
- MONA (1)
- Magma (1)
- Maple (1)
- Milawa (1)
- NEW9p (1)
- PAUP* (1)
- Paraconsistency (1)
- PhyloNetwork (1)
- Propositional Resolution (1)
- QL (1)
- SETHEO (1)
- SPASS (1)
- Sledgehammer (1)
- Superposition Calculus (1)
- TGTP (1)
- TORSCA (1)
- TacticToe (1)
- Tanglegrams (1)
- TigrScan (1)
- Verified Prover (1)
- XPath (1)
- ZQPCVX (1)
- min_interval_posets (1)
- nn-quantile-extrapolation (1)
- numerov (1)
- rktree (1)
- theoremprover-museum (1)
