Explore >> Select a destination
|
You are here 
|
rjlipton.com | ||
| | | | |
windowsontheory.org
|
|
| | | | | (Also available as a pdf file. Apologies for the many footnotes, feel free to skip them.) Computational problems come in all different types and from all kinds of applications, arising from engineering as well the mathematical, natural, and social sciences, and involving abstractions such as graphs, strings, numbers, and more. The universe of potential algorithms... | |
| | | | |
theorydish.blog
|
|
| | | | | In this blog post, we will talk about some recent advances in algorithms for approximately solving Shapley Games. What is a Shapley Game? At an intuitive level, Shapley games capture the idea of extending one-shot 2-player games to be occurring over multiple stages. Explicitly, Shapley games are played on an underlying state space $latex V$.... | |
| | | | |
jiggerwit.wordpress.com
|
|
| | | | | What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer... | |
| | | | |
akos.ma
|
|
| | | From the wonderful book by Ian Stewart, here are the equations themselves; read the book to know more about them. | ||
