Model order reduction (MOR) is a technique for reducing the computational complexity of mathematical models in numerical simulations. As such it is closely...
25 KB (2,785 words) - 17:02, 28 September 2024
S2CID 9259363. Retrieved 23 April 2019. "WebGL Example: Phong / Blinn Phong Shading". www.mathematik.uni-marburg.de. Retrieved 2019-09-13. Framebuffer khronos.org...
12 KB (1,612 words) - 05:36, 16 September 2024
Mathematics (redirect from Mathematik)
Fermat to Wiles: Fermat's Last Theorem Becomes a Theorem". Elemente der Mathematik. 55 (1): 19–37. doi:10.1007/PL00000079. eISSN 1420-8962. ISSN 0013-6018...
159 KB (15,698 words) - 10:41, 11 October 2024
Mathematical logic (redirect from Logic modeling)
formula In the foreword to the 1934 first edition of "Grundlagen der Mathematik" (Hilbert & Bernays 1934), Bernays wrote the following, which is reminiscent...
68 KB (8,331 words) - 20:24, 9 September 2024
Bronshtein and Semendyayev (redirect from Taschenbuch der Mathematik)
Springer-Handbuch der Mathematik I includes chapters 0–1 of Springer-Taschenbuch der Mathematik plus additional material. Springer-Handbuch der Mathematik II includes...
107 KB (8,272 words) - 15:41, 9 August 2024
János (1996), Rational curves on algebraic varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics...
10 KB (1,351 words) - 11:54, 26 July 2023
Foundations of mathematics (redirect from Grundlagenkrise der Mathematik)
Mathematics", in (Tymoczko 1986). Hilbert, D. (1922), "Neubegründung der Mathematik. Erste Mitteilung", Hamburger Mathematische Seminarabhandlungen 1, 157–177...
52 KB (6,865 words) - 18:35, 1 October 2024
Spin glass (redirect from Edwards–Anderson model)
theory. Talagrand, Michel (2010). Mean field models for spin glasses. 1: Basic examples. Ergebnisse der Mathematik und ihrer Grenzgebiete (Softcover repr....
36 KB (4,874 words) - 14:39, 9 October 2024
1859.0004. Klein, Felix (1926). Vorlesungen über die Entwicklung der Mathematik im 19. Jahrhundert. Teil 1. Springer. p. 152. Klein, Felix (1871). "Ueber...
21 KB (2,752 words) - 19:53, 1 October 2024
Siegfried; Lütkebohmert, Werner; Raynaud, Michel (1990), Néron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 21, Berlin, New York: Springer-Verlag...
5 KB (704 words) - 15:15, 27 October 2021
(n+1)-dimensional Euclidean space. Other models of hyperbolic space can be thought of as map projections of S+: the Beltrami–Klein model is the projection of S+ through...
23 KB (3,455 words) - 06:00, 30 May 2024
Viscoplasticity (redirect from Johnson-Cook plasticity model)
Viscoplasticity is usually modeled in three-dimensions using overstress models of the Perzyna or Duvaut-Lions types. In these models, the stress is allowed...
47 KB (6,919 words) - 17:18, 28 August 2024
Auswahlaxiom)", Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 3 (13–20): 173–210, doi:10.1002/malq.19570031302, ISSN 0044-3050, MR 0099297...
8 KB (1,093 words) - 16:39, 10 August 2024
Gromov, Mikhael (1986). Partial differential relations. Ergebnisse der Mathematik und ihrer Grenzgebiete (3). Vol. 9. Berlin: Springer-Verlag. doi:10...
37 KB (3,457 words) - 13:04, 5 October 2024
Alternatives to general relativity (redirect from Modified models of gravity)
Cambridge Univ. Press Einstein, A. and Grossmann, M. (1913), Zeitschrift für Mathematik und Physik 62, 225 Brans, C.; Dicke, R. H. (1961). "Mach's principle and...
104 KB (14,657 words) - 18:35, 11 September 2024
makes up the four common sequential machine models, called this to distinguish them from the "parallel" models (e.g. parallel random-access machine) [cf...
64 KB (2,620 words) - 06:20, 8 June 2024
Löwenheim–Skolem theorem (category Model theory)
have a unique model up to isomorphism. As a consequence, first-order theories are unable to control the cardinality of their infinite models. The (downward)...
22 KB (2,795 words) - 12:03, 4 October 2024
Gödel's completeness theorem (category Model theory)
{\displaystyle T\models s} , then T ⊢ s {\displaystyle T\vdash s} . Since the converse (soundness) also holds, it follows that T ⊨ s {\displaystyle T\models s} if...
17 KB (2,329 words) - 02:29, 10 September 2024
Parabolicum of 1659. In his 1892 work Vorlesungen über die Geschichte der Mathematik ("Lectures on history of mathematics"), volume 2, German historian of...
7 KB (728 words) - 16:01, 20 September 2024
Bernard Bolzano, in his Beiträge zu einer begründeteren Darstellung der Mathematik. The triangle can be traced back to 4th century BC, in Aristotle's Peri...
4 KB (280 words) - 14:00, 3 September 2024
Rechenmaschine', Zeitschrift fur mathematische Logik und Grundlagen der Mathematik:5 (1959), 366-379. Ershov, A. P. On operator algorithms, (Russian) Dok...
45 KB (3,298 words) - 13:01, 3 December 2023
Set theory (section Inner model theory)
aller reellen algebraischen Zahlen", Journal für die reine und angewandte Mathematik (in German), 1874 (77): 258–262, doi:10.1515/crll.1874.77.258, S2CID 199545885...
42 KB (5,062 words) - 00:31, 12 October 2024
Copula (statistics) (redirect from Gaussian copula model)
A; Torresetti, R (2010). Credit Models and the Crisis: A Journey into CDOs, Copulas, Correlations and dynamic Models. Wiley and Sons. Qu, Dong (2001)...
72 KB (9,333 words) - 01:57, 31 August 2024
Consistency (section Model theory)
φ {\displaystyle T\models \varphi } for our notion of entailment (a notation which clashes with our A ⊨ φ {\displaystyle A\models \varphi } ). For first-order...
20 KB (2,914 words) - 18:16, 31 August 2024
Fraunhofer Society (redirect from Gesellschaft für Mathematik und Datenverarbeitung)
the institutes and IT research centres of the GMD (Gesellschaft für Mathematik und Datenverarbeitung – Society for Mathematics and Information technology)...
25 KB (2,603 words) - 01:25, 21 August 2024
Fitts's law (section Original model formulation)
Gaze Tracking for Human Computer Interaction. LMU München: Fakultät für Mathematik, Informatik und Statistik. MacKenzie, I. Scott. "Scott MacKenzie's home...
30 KB (3,944 words) - 21:56, 23 August 2024
published an article on models of set theory, in which he proved that some of his models satisfy the axiom of limitation of size. These models are built in ZFC...
47 KB (6,684 words) - 07:45, 6 March 2024
Statistics Applied Mathematics and Mechanics (English Edition) Archiv der Mathematik Archive for Mathematical Logic Archive for Rational Mechanics and Analysis...
15 KB (1,291 words) - 08:06, 13 July 2024
responsible for making public the university's collection of mathematical models. Agricola studied physics at the Technical University of Munich and the...
8 KB (733 words) - 06:28, 9 October 2024
Vollständigkeit der Axiome des logischen Funktionenkalküls." Monatshefte für Mathematik und Physik 37: 349–60. 1931, "Über formal unentscheidbare Sätze der Principia...
49 KB (5,426 words) - 07:04, 15 September 2024