„Constructive mathematics“

Suchergebnisse

1.000+ Treffer

• Effective Choice and Boundedness Principles in Computable Analysis
  Brattka, Vasco ; Gherardi, Guido 2009 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Definitive Constructive Open Mapping Theorem?
  Bridges, Douglas S. ; Ishihara, Hajime
• Constructive mathematics and unbounded operators — A reply to Hellman
  Bridges, Douglas S.
• Constructive Mathematics and Quantum Physics
  Bridges, Douglas S. ; Svozil, Karl
• Continuous homomorphisms of R onto a compact group
  Bridges, Douglas S. ; Hendtlass, Matthew
• A constructive characterization ofQ o-matrices with nonnegative principal minors
  Aganagić, Muhamed ; Cottle, Richard
• The anti‐Specker property, positivity, and total boundedness
  Bridges, Douglas S. ; Diener, Hannes
• Operatives Beweisen in der Grundschule – Theoretische Grundlagen und eine Fallstudie
  Köhler, André 2025 Springer Spektrum
• Grisvard, P.; Wendland, W.; Whiteman, J. R. (eds.), Singularities and Constructive Methods for Their Treatment. Proceedings, Oberwolfach, 1983. Berlin‐Heidelberg‐New York‐Tokyo, Springer‐Verlag 1985. IX, 346 S., DM 51,50. ISBN 3‐540‐15219‐9 (Lecture Notes in Mathematics 1121)
  Albinus, G.
• ITBM-Constructive Completions of Algebras
  Morozov, Andrey
• Hämmerlin, G.,/Hoffmann, K.‐H. (eds.), Constructive Methods for the Practical Treatment of Integral Equations. Proceedings, Oberwolfach, 1984. Basel‐Boston‐Stuttgart, Birkhäuser 1985. 284 S., Abb., DM 62,—. ISBN 3‐7643‐1685‐3. (International series of numerical mathematics 73)
  Zielas, W.
• Constructive alignment of a mathematics methodology module
  Spangenberg, Erica Dorethea
• Constructive approximation to real function by wavelet neural networks
  Muzhou, Hou ; Xuli, Han ; Yixuan, Gan
• Improving learning and generalization capabilities of the C-Mantec constructive neural network algorithm
  Gómez, Iván ; Mesa, Héctor ; Ortega-Zamorano, Francisco ; Jerez-Aragonés, José M. ; Franco, Leonardo
• Asymptotic trajectories of the KAM torus: A constructive proof
  Cheng, Chong-Qing ; Zhang, Jianlu
• Constructive Approximation on the 3-Dimensional Ball With Focus on Locally Supported Kernels and the Helmholtz Decomposition
  Akram, Muhammad 2009 Shaker
• Mathematical Pluralism: Constructive Mathematics and Economic Theory
  Steins, Stefan Arno ; Niebergall, Karl-Georg ; Friend, Michèle 2021 Humboldt-Universität zu Berlin
• Observation of constructive interference at the edge of quantum ergodicity
• Axiomatizations of Compositional Inductive-Recursive Definitions
  Spahn, Stephan ; Schroeder-Heister, Peter 2018 Universitätsbibliothek Tübingen
• Beweisen lernen Schritt für Schritt – für einen gelungenen Einstieg ins Mathestudium
  Junk, Michael ; Treude, Jan-Hendrik 2026 Springer Spektrum