Search results

*[[Decidability (logic)]] for the equivalent in mathematical logic ...orem on the undecidability of languages consisting of "true statements" in mathematical logic. ...

...Biodiversity Heritage Library]]</ref> made a significant contribution to [[mathematical education]]: ...fluence upon successive generations of undergraduates; and "Wolstenholme's Problems" have proved a help and stimulus to many students. ...

==Chess problems== ...specified task to be fulfilled, such as White mates in ''n'' moves. Chess problems are divided into orthodox and heterodox types, both covering a variety of g ...

* [[Project Euler]] a series of challenging mathematical/computer programming problems ...

...t of the leaf-shaped piece in the middle. On paper there must be some neat mathematical formula for arriving at this; in life, none.{{r|struther}}</blockquote> | publisher = American Mathematical Society ...

...International Mathematical Union]] (IMU), for outstanding contributions in Mathematical Aspects of Information Sciences including: #All mathematical aspects of [[computer science]], including [[computational complexity theor ...

===Mathematical work=== * [[Otto E. Neugebauer]], ''A History of Ancient Mathematical Astronomy'' (New York, 1975). ...

...There is a large number of interesting tasks (see ''[[List of NP-complete problems]]''), and while it is not known if a polynomial-time solution exists for an As an example of a conditional proof in [[Mathematical logic|symbolic logic]], suppose we want to prove A → C (if A, then C) from ...

...mplete problem quickly, then that algorithm can be used to solve all co-NP problems quickly. ...if we had a polynomial time algorithm for ''C'', we could solve all co-NP problems in polynomial time. ...

...tion = Motto: ''Dedicated to increasing and disseminating mathematical knowledge'' ...an businessman [[Landon T. Clay]].<ref name=":0" /> The institute supports mathematical research and education through funding, programs, and publications. ...

...hematics. Recreational mathematics involves [[mathematical puzzle]]s and [[Mathematical games|games]], often appealing to children and untrained adults and inspiri ...merica]] (MAA) includes recreational mathematics as one of its seventeen [[Mathematical Association of America#Special Interest Groups|Special Interest Groups]], c ...

'''Mathematics competitions''' or '''mathematical olympiads''' are competitive events where participants complete a [[mathema * [[China Girls Mathematical Olympiad]] (CGMO) — held annually for teams of girls representing different ...

...ity of chemical systems, theoretical chemistry, in addition to approximate mathematical methods, often uses semi-empirical and empirical methods. ...ly of [[quantum chemistry]], i.e., the application of quantum mechanics to problems in chemistry. Other major components include [[molecular dynamics]], [[stat ...

{{Short description|Computer system for solving algebra problems}} '''Magma''' is a [[computer algebra system]] designed to solve problems in [[abstract algebra|algebra]], [[number theory]], [[algebraic geometry|ge ...

{{about|decision problems in complexity theory|the decision problem in formal logic|Entscheidungsprob ...correct answer, ''YES'' or ''NO'', accordingly. Some of the most important problems in mathematics are '''[[undecidable problem|undecidable]]''', e.g. the [[ha ...

...ory |language=en}}</ref> Zhu was born close to today's Beijing. Two of his mathematical works have survived: ''Introduction to Computational Studies'' ({{lang|zh-h ...n elementary textbook on mathematics in three volumes, 20 chapters and 259 problems. This book also showed how to measure two-dimensional shapes and three-dime ...

==Mathematical objects making use of a group operation== ==Mathematical fields and topics making important use of group theory== ...

* [[Filter (large eddy simulation)]], a mathematical operation intended to remove a range of small scales from the solution to t ...n filter]], an approximating algorithm in optimal control applications and problems ...

{{Short description|Numerical simulations of physical problems via computers}} ...sics''' is the study and implementation of [[numerical analysis]] to solve problems in [[physics]].<ref name=ThijssenBook/> Historically, computational physics ...

...r Advanced Study]] and another two (1961–62) at the [[Courant Institute of Mathematical Sciences]]. He was appointed to Purdue in 1962. ...oof|proof]] of the Bieberbach conjecture was not initially accepted by the mathematical community. Rumors of his proof began to circulate in March 1984, but many m ...