Computational Aspects of Hamburger’s Theorem (Englisch)
- Neue Suche nach: Matiyasevich, Yuri
- Neue Suche nach: Matiyasevich, Yuri
In:
Algorithms and complexity in mathematics, epistemology, and science
; 195-224
;
2019
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Computational Aspects of Hamburger’s Theorem
-
Beteiligte:Matiyasevich, Yuri ( Autor:in )
-
Kongress:ACMES Conference ; 2015 ; London, Ontario
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer New York
-
Erscheinungsort:New York, NY
-
Erscheinungsdatum:2019
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 31.02 / 30.02 / 31.01
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Ethics and the Continuum HypothesisBrown, James Robert et al. | 2019
- 17
-
How to Generate All Possible Rational Wilf-Zeilberger Pairs?Chen, Shaoshi et al. | 2019
- 35
-
Backward Error Analysis for Perturbation MethodsCorless, Robert M. / Fillion, Nicolas et al. | 2019
- 81
-
Proof Verification Technology and Elementary PhysicsDavis, Ernest et al. | 2019
- 133
-
An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex SystemsGunzburger, Max et al. | 2019
- 153
-
Dynamical Symmetries and Model ValidationJantzen, Benjamin C. et al. | 2019
- 177
-
Modeling the Biases in Last Digit Distributions of Consecutive PrimesLichtblau, Daniel et al. | 2019
- 195
-
Computational Aspects of Hamburger’s TheoremMatiyasevich, Yuri et al. | 2019
- 225
-
Effective Validity: A Generalized Logic for Stable Approximate InferenceMoir, Robert H. C. et al. | 2019
- 269
-
Counterfactuals in the Real WorldWoodward, James / Wilson, Mark et al. | 2019