Search results

[[Category:Large-scale mathematical formalization projects]] ...

...e [[Max Planck Society]]. Founded on March 1, 1996, the institute works on projects which apply [[mathematics]] in various areas of [[natural science]]s, in pa * Mathematical software (Michael Joswig) ...

...it employed 450 unemployed clerks to [[mathematical table|tabulate higher mathematical functions]], such as [[exponential function]]s, [[logarithm]]s, and [[trigo ...been unable to find professional work during the [[Great Depression]]. The mathematical leader was [[Gertrude Blanch]], who had just finished her doctorate in math ...

...[[Office of Scientific Research and Development]] (OSRD) in order to solve mathematical problems related to the military effort in [[World War II]], particularly t ...y of NDRC Division 7, [[Fire-control system|Fire Control]]. It contracted projects out to various research groups, notably at [[Princeton University|Princeton ...

...and extension activities beyond the school curriculum, and to enhance the mathematical understanding of the general public. The project was directed by [[John D. ...for ages 5 to 19. NRICH material focuses on problem-solving, building core mathematical reasoning and strategic thinking skills. In the academic year 2004/5 the we ...

...rally participate in national olympiads to qualify for the [[International Mathematical Olympiad]]. ...orth America]].{{Citation needed|date=October 2014}} Administered by the [[Mathematical Association of America]], students compete as individuals and as teams (as ...

...ok of [[mathematical table]]s called ''[[Abramowitz and Stegun|Handbook of Mathematical Functions]]'', widely known as "[[Abramowitz and Stegun]]". [https://nvlpubs.nist.gov/nistpubs/sp958-lide/135-139.pdf Handbook of Mathematical Functions], in A Century of Excellence in Measurements Standards and Techno ...

{{Short description|Proposal for a computer-based database of all mathematical knowledge}} ...festo''' was a proposal for a computer-based database of all [[mathematics|mathematical]] knowledge, strictly formalized and with all proofs having been [[automate ...

The '''Vietoris–Begle mapping theorem''' is a result in the [[mathematics|mathematical]] field of [[algebraic topology]]. It is named for [[Leopold Vietoris]] and ...topologist's sine curve]] and of a segment are isomorphic (since the first projects onto the second with acyclic fibers). But the singular homology differs, si ...

A '''[[manifold]]''' is an abstract mathematical space which, in a close-up view, resembles the spaces described by Euclidea * [[Manifold]], an abstract mathematical space which, in a close-up view, resembles the spaces described by Euclidea ...

===Projects=== * [[Nordic Mathematical Contest]] for secondary school students ...

...kup language|markup language]] for specifying the meaning of [[mathematics|mathematical]] [[formulae]]. Among other things, it can be used to complement [[MathML]] ...ent Dictionaries" has been designed to be compatible with the small set of mathematical concepts defined in Content MathML, the non-presentational subset of MathML ...

==Projects== [[Category:Mathematical software]] ...

...ов'', ''Международный Математический Турнир Городов'') is an international mathematical competition for school students originating in [[Russia]]. ...he Senior division where they are comparable with those at [[International Mathematical Olympiad]] but much more ingenious and less technical). Second, it allows t ...

...tuguese: {{lang|pt|Sociedade Portuguesa de Matemática}}, '''SPM''') is the mathematical society of [[Portugal]], and was founded in [[Lisbon]] on December 12, 1940 ...es are the development of education and the dissemination and promotion of mathematical research in Portugal.{{r|somos}} ...

...l Infrastructure Pipeline]], a group of social and economic infrastructure projects in India * [[NIP (model theory)]], a property of theories in mathematical logic ...

...tmospheric dispersion modeling|air pollution dispersion models]] and other mathematical simulation techniques used in assessing pollution control strategies and th ==Projects maintained by the AQMG== ...

...|12|1|post=,}} it contained information on 300,152 [[mathematical sciences|mathematical scientists]] who contributed to research-level mathematics. For a typical m | journal = [[Notices of the American Mathematical Society]] ...

...T]] and [[CSNET]] in the 1980s.<ref>{{Cite journal |title= Distribution of mathematical software via electronic mail |author1= [[Jack J. Dongarra]] |author2= Eric ==Other projects== ...

...nder and leader of a software company producing computer games. One of his projects is a computer game he is developing with [[Ernő Rubik]], the inventor of th ...working on various [[pattern recognition]] and [[artificial intelligence]] projects. Recognizing the limitations of [[artificial intelligence]], he began inves ...