Works about MATHEMATICS theorems
Results: 5000
AUTOMATA, PALINDROMES, AND REVERSED SUBWORDS.
- Published in:
- Journal of Automata, Languages & Combinatorics, 2021, v. 26, n. 3/4, p. 221
- By:
- Publication type:
- Article
A Refined View of Causal Graphs and Component Sizes: SP-Closed Graph Classes and Beyond.
- Published in:
- Journal of Artificial Intelligence Research, 2013, v. 47, p. 575
- By:
- Publication type:
- Article
First-Order Stable Model Semantics and First-Order Loop Formulas.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 42, p. 125
- By:
- Publication type:
- Article
Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 143, doi. 10.1613/jair.3126
- By:
- Publication type:
- Article
Minimodule Converting to a Roth IRA.
- Published in:
- UMAP Journal, 2012, v. 33, n. 1, p. 29
- By:
- Publication type:
- Article
Separating Combinatorial Principles Using Nonstandard Models.
- Published in:
- Innovation, 2014, v. 13, n. 2, p. 37
- By:
- Publication type:
- Article
Strong convergence of wavelet deconvolution density estimators.
- Published in:
- Analysis & Applications, 2018, v. 16, n. 2, p. 183, doi. 10.1142/S0219530517500154
- By:
- Publication type:
- Article
Stability in the obstacle problem for a shallow shell.
- Published in:
- Analysis & Applications, 2016, v. 14, n. 2, p. 207, doi. 10.1142/S0219530514500225
- By:
- Publication type:
- Article
A feature-based classification of formal verification techniques for software models.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 473, doi. 10.1007/s10270-017-0591-z
- By:
- Publication type:
- Article
Relational interprocedural verification of concurrent programs.
- Published in:
- Software & Systems Modeling, 2013, v. 12, n. 2, p. 285, doi. 10.1007/s10270-012-0230-7
- By:
- Publication type:
- Article
An Integration by Parts Type Formula for Stopping Times and its Application.
- Published in:
- Methodology & Computing in Applied Probability, 2017, v. 19, n. 3, p. 751, doi. 10.1007/s11009-016-9512-9
- By:
- Publication type:
- Article
Analysis on a Stochastic Two-Species Ratio-Dependent Predator-Prey Model.
- Published in:
- Methodology & Computing in Applied Probability, 2015, v. 17, n. 2, p. 403, doi. 10.1007/s11009-013-9383-2
- By:
- Publication type:
- Article
Stochastic Viability and Comparison Theorems for Mixed Stochastic Differential Equations.
- Published in:
- Methodology & Computing in Applied Probability, 2015, v. 17, n. 1, p. 169, doi. 10.1007/s11009-013-9336-9
- By:
- Publication type:
- Article
Tauberian and Abelian Theorems for Long-range Dependent Random Fields.
- Published in:
- Methodology & Computing in Applied Probability, 2013, v. 15, n. 4, p. 715, doi. 10.1007/s11009-012-9276-9
- By:
- Publication type:
- Article
Diffusion Approximation of an Array of Controlled Branching Processes.
- Published in:
- Methodology & Computing in Applied Probability, 2012, v. 14, n. 3, p. 843, doi. 10.1007/s11009-012-9285-8
- By:
- Publication type:
- Article
Two switches in the theory of counterfactuals.
- Published in:
- Linguistics & Philosophy, 2018, v. 41, n. 6, p. 577, doi. 10.1007/s10988-018-9232-4
- By:
- Publication type:
- Article
The Sitnikov problem for several primary bodies configurations.
- Published in:
- Celestial Mechanics & Dynamical Astronomy, 2018, v. 130, n. 7, p. 1, doi. 10.1007/s10569-018-9838-4
- By:
- Publication type:
- Article
Well-Distributed Great Circles on S2.
- Published in:
- Discrete & Computational Geometry, 2018, v. 60, n. 1, p. 40, doi. 10.1007/s00454-018-9994-z
- By:
- Publication type:
- Article
Central Limit Theorem for the Volume of Random Polytopes with Vertices on the Boundary.
- Published in:
- Discrete & Computational Geometry, 2018, v. 59, n. 4, p. 990, doi. 10.1007/s00454-017-9862-2
- By:
- Publication type:
- Article
Tropical Effective Primary and Dual Nullstellensätze.
- Published in:
- Discrete & Computational Geometry, 2018, v. 59, n. 3, p. 507, doi. 10.1007/s00454-018-9966-3
- By:
- Publication type:
- Article
An Isoperimetric Inequality for Planar Triangulations.
- Published in:
- Discrete & Computational Geometry, 2018, v. 59, n. 4, p. 802, doi. 10.1007/s00454-017-9942-3
- By:
- Publication type:
- Article
On the Circle Covering Theorem by A.W. Goodman and R.E. Goodman.
- Published in:
- Discrete & Computational Geometry, 2018, v. 59, n. 4, p. 1001, doi. 10.1007/s00454-017-9883-x
- By:
- Publication type:
- Article
Quantitative Tverberg Theorems Over Lattices and Other Discrete Sets.
- Published in:
- Discrete & Computational Geometry, 2017, v. 58, n. 2, p. 435, doi. 10.1007/s00454-016-9858-3
- By:
- Publication type:
- Article
3-Regular Colored Graphs and Classification of Surfaces.
- Published in:
- Discrete & Computational Geometry, 2017, v. 58, n. 2, p. 345, doi. 10.1007/s00454-017-9861-3
- By:
- Publication type:
- Article
Inclusion-Exclusion Principles for Convex Hulls and the Euler Relation.
- Published in:
- Discrete & Computational Geometry, 2017, v. 58, n. 2, p. 417, doi. 10.1007/s00454-017-9880-0
- By:
- Publication type:
- Article
An Elementary Exposition of Topological Overlap in the Plane.
- Published in:
- Discrete & Computational Geometry, 2017, v. 58, n. 2, p. 255, doi. 10.1007/s00454-017-9910-y
- By:
- Publication type:
- Article
Quantitative Combinatorial Geometry for Continuous Parameters.
- Published in:
- Discrete & Computational Geometry, 2017, v. 57, n. 2, p. 318, doi. 10.1007/s00454-016-9857-4
- By:
- Publication type:
- Article
Discrete Uniformization of Polyhedral Surfaces with Non-positive Curvature and Branched Covers over the Sphere via Hyper-ideal Circle Patterns.
- Published in:
- Discrete & Computational Geometry, 2017, v. 57, n. 2, p. 431, doi. 10.1007/s00454-016-9830-2
- By:
- Publication type:
- Article
Two Proofs for Shallow Packings.
- Published in:
- Discrete & Computational Geometry, 2016, v. 56, n. 4, p. 910, doi. 10.1007/s00454-016-9824-0
- By:
- Publication type:
- Article
Invariants of Random Knots and Links.
- Published in:
- Discrete & Computational Geometry, 2016, v. 56, n. 2, p. 274, doi. 10.1007/s00454-016-9798-y
- By:
- Publication type:
- Article
About f-Vectors of Inscribed Simplicial Polytopes.
- Published in:
- Discrete & Computational Geometry, 2016, v. 55, n. 3, p. 497, doi. 10.1007/s00454-016-9764-8
- By:
- Publication type:
- Article
A Szemerédi-Trotter Type Theorem in $$\mathbb {R}^4$$.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 3, p. 513, doi. 10.1007/s00454-015-9717-7
- By:
- Publication type:
- Article
Bounds for Pach's Selection Theorem and for the Minimum Solid Angle in a Simplex.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 3, p. 610, doi. 10.1007/s00454-015-9720-z
- By:
- Publication type:
- Article
Erdős-Szekeres Theorem for Lines.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 3, p. 669, doi. 10.1007/s00454-015-9705-y
- By:
- Publication type:
- Article
Incidence Bounds on Multijoints and Generic Joints.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 2, p. 481, doi. 10.1007/s00454-015-9703-0
- By:
- Publication type:
- Article
Finite and Infinitesimal Rigidity with Polyhedral Norms.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 2, p. 390, doi. 10.1007/s00454-015-9706-x
- By:
- Publication type:
- Article
Universality Theorems for Inscribed Polytopes and Delaunay Triangulations.
- Published in:
- Discrete & Computational Geometry, 2015, v. 54, n. 2, p. 412, doi. 10.1007/s00454-015-9714-x
- By:
- Publication type:
- Article
A Finite Chiral 4-Polytope in $${\mathbb {R}}^4$$.
- Published in:
- Discrete & Computational Geometry, 2014, v. 52, n. 4, p. 799, doi. 10.1007/s00454-014-9631-4
- By:
- Publication type:
- Article
Arrangements of Pseudocircles and Circles.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 4, p. 896, doi. 10.1007/s00454-014-9583-8
- By:
- Publication type:
- Article
Convex Polygons are Self-Coverable.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 4, p. 885, doi. 10.1007/s00454-014-9582-9
- By:
- Publication type:
- Article
Realizability of Polytopes as a Low Rank Matrix Completion Problem.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 4, p. 761, doi. 10.1007/s00454-014-9599-0
- By:
- Publication type:
- Article
Perfect Graphs and Guarding Rectilinear Art Galleries.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 3, p. 569, doi. 10.1007/s00454-014-9587-4
- By:
- Publication type:
- Article
Colourful and Fractional ( p, q)-theorems.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 3, p. 628, doi. 10.1007/s00454-013-9559-0
- By:
- Publication type:
- Article
On Spaces of Infinitesimal Motions and Three Dimensional Henneberg Extensions.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 3, p. 702, doi. 10.1007/s00454-014-9580-y
- By:
- Publication type:
- Article
Deformations of Period Lattices of Flexible Polyhedral Surfaces.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 3, p. 650, doi. 10.1007/s00454-014-9575-8
- By:
- Publication type:
- Article
Tverberg's Theorem and Graph Coloring.
- Published in:
- Discrete & Computational Geometry, 2014, v. 51, n. 1, p. 207, doi. 10.1007/s00454-013-9556-3
- By:
- Publication type:
- Article
Allowable Interval Sequences and Line Transversals in the Plane.
- Published in:
- Discrete & Computational Geometry, 2012, v. 48, n. 4, p. 1058, doi. 10.1007/s00454-012-9457-x
- By:
- Publication type:
- Article
On the Reconstruction of Planar Lattice-Convex Sets from the Covariogram.
- Published in:
- Discrete & Computational Geometry, 2012, v. 48, n. 1, p. 216, doi. 10.1007/s00454-012-9416-6
- By:
- Publication type:
- Article
A Simpler Proof of the Boros-Füredi-Bárány-Pach-Gromov Theorem.
- Published in:
- Discrete & Computational Geometry, 2012, v. 47, n. 3, p. 492, doi. 10.1007/s00454-011-9332-1
- By:
- Publication type:
- Article
A Non-linear Lower Bound for Planar Epsilon-nets.
- Published in:
- Discrete & Computational Geometry, 2012, v. 47, n. 2, p. 235, doi. 10.1007/s00454-010-9323-7
- By:
- Publication type:
- Article