0 Answered Questions
Is the conjecture A+B=C following correct?
- 2018-06-19 04:00:40
- Đào Thanh Oai
- 3140 View
- 7 Score
- 0 Answer
- Tags: nt.number-theory inequalities computer-science conjectures abc-conjecture
6 Answered Questions
[SOLVED] Giving $Top(X,Y)$ an appropriate topology
- 2013-04-17 12:31:38
- Amr
- 2000 View
- 13 Score
- 6 Answer
- Tags: at.algebraic-topology gn.general-topology ct.category-theory computer-science lattices
6 Answered Questions
[SOLVED] Can we cover the unit square by these rectangles?
- 2010-08-01 19:48:51
- Kaveh
- 9390 View
- 72 Score
- 6 Answer
- Tags: discrete-geometry open-problems computer-science packing-and-covering
2 Answered Questions
[SOLVED] A Query regarding the Halting Problem (Omega): Halting Probability for Given Input Size
- 2011-03-10 12:06:48
- user13550
- 669 View
- 6 Score
- 2 Answer
- Tags: computability-theory computer-science computational-complexity
2 Answered Questions
[SOLVED] How feasible is it to prove Kazhdan's property (T) by a computer?
- 2014-01-13 13:55:24
- Narutaka OZAWA
- 2692 View
- 69 Score
- 2 Answer
- Tags: gr.group-theory computer-science computability-theory
12 Answered Questions
[SOLVED] Interesting conjectures "discovered" by computers and proved by humans?
- 2012-03-25 09:26:33
- joro
- 2540 View
- 34 Score
- 12 Answer
- Tags: big-list computer-science examples experimental-mathematics
6 Answered Questions
[SOLVED] SAT and Arithmetic Geometry
- 2012-12-06 13:43:11
- Squark
- 1774 View
- 16 Score
- 6 Answer
- Tags: computer-science computational-complexity sat np arithmetic-geometry
3 Answered Questions
[SOLVED] What technical and/or theoretical challenges are involved in automatically extracting proofs from books and papers into Coq code?
- 2015-07-06 01:01:47
- SorcererofDM
- 1216 View
- 23 Score
- 3 Answer
- Tags: soft-question computer-science mathematical-software homotopy-type-theory proof-assistants
0 Answered Questions
Various definitions of recursion from ordinal machines
- 2012-10-05 19:19:40
- Gro-Tsen
- 440 View
- 11 Score
- 0 Answer
- Tags: lo.logic computability-theory computer-science set-theory
1 Answered Questions
[SOLVED] Is equality of terms for "real" numbers with roots, logarithm, exponential, sin, cos, and other trigonometric operations decidable with a Turing-machine?
- 2013-01-15 13:59:39
- tailcalled
- 521 View
- 7 Score
- 1 Answer
- Tags: computer-science lo.logic algorithms
1 Answered Questions
[SOLVED] an algebraic variety for a boolean circuit
- 2016-04-23 21:11:49
- Alexey Milovanov
- 337 View
- 5 Score
- 1 Answer
- Tags: ag.algebraic-geometry ac.commutative-algebra algorithms computational-complexity computer-science
2 Answered Questions
[SOLVED] Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down?
- 2014-05-11 15:31:32
- XL _at_China
- 606 View
- 5 Score
- 2 Answer
- Tags: ag.algebraic-geometry computer-science abstract-algebra computer-algebra power-series
9 Answered Questions
[SOLVED] Relating Category Theory to Programming Language Theory
- 2009-11-05 09:38:35
- Michael Hoffman
- 15936 View
- 62 Score
- 9 Answer
- Tags: mathematics-education computer-science ct.category-theory
30 Answered Questions
[SOLVED] What programming languages do mathematicians use?
- 2010-01-08 01:54:23
- user3063
- 74263 View
- 54 Score
- 30 Answer
- Tags: soft-question big-list computer-science software
17 Answered Questions
[SOLVED] Computer Science for Mathematicians
- 2011-01-05 16:49:19
- Spencer
- 10892 View
- 38 Score
- 17 Answer
- Tags: reference-request big-list computer-science textbook-recommendation books
3 Answered Questions
[SOLVED] Wanted: a "Coq for the working mathematician"
- 2014-01-28 04:01:42
- darij grinberg
- 5010 View
- 69 Score
- 3 Answer
- Tags: co.combinatorics computer-science textbook-recommendation constructive-mathematics proof-assistants
14 Answered Questions
[SOLVED] Where have you used computer programming in your career as an (applied/pure) mathematician?
- 2010-05-09 03:06:25
- Michael Hoffman
- 3152 View
- 34 Score
- 14 Answer
- Tags: big-list computer-science mathematics-education applications
7 Answered Questions
[SOLVED] What is the time complexity of computing sin(x) to t bits of precision?
- 2010-03-31 13:01:04
- Ryan O'Donnell
- 5608 View
- 41 Score
- 7 Answer
- Tags: na.numerical-analysis algorithms computational-complexity computer-science
1 Answered Questions
[SOLVED] Evidence for integer factorization is in $P$
- 2011-10-28 08:34:32
- user16007
- 4341 View
- 21 Score
- 1 Answer
- Tags: computer-science factorization algorithms computational-complexity
2 Answered Questions
[SOLVED] Any important consequences with presupposition of $\mathbf{P} \neq \mathbf{NP}$
- 2017-08-16 23:00:09
- XL _at_China
- 1341 View
- 18 Score
- 2 Answer
- Tags: computational-complexity big-list computability-theory computer-science
4 Answered Questions
[SOLVED] does the "convolution theorem" apply to weaker algebraic structures?
- 2009-12-31 06:28:51
- Adam
- 2069 View
- 21 Score
- 4 Answer
- Tags: computer-science ra.rings-and-algebras algorithms
3 Answered Questions
[SOLVED] What is the history of the Y-combinator?
- 2010-07-14 19:08:03
- Dan Ramras
- 2254 View
- 18 Score
- 3 Answer
- Tags: lo.logic computer-science ho.history-overview lambda-calculus
2 Answered Questions
[SOLVED] Why is Kleene's notion of computability better than Banach-Mazur's?
- 2010-04-20 08:36:50
- Neel Krishnaswami
- 1411 View
- 13 Score
- 2 Answer
- Tags: lo.logic computer-science realizability computability-theory
2 Answered Questions
[SOLVED] Switching from pure mathematics (e.g. geometry) to more applied areas (e.g imaging) after Ph.D., as postdoc and chance of getting such a postdoc?
- 2013-06-28 16:35:06
- Let's talk math
- 2932 View
- 14 Score
- 2 Answer
- Tags: dg.differential-geometry computer-science teichmuller-theory mathjobs image-processing
6 Answered Questions
[SOLVED] Uses of bisimulation outside of computer science.
- 2010-05-27 18:25:04
- supercooldave
- 1358 View
- 11 Score
- 6 Answer
- Tags: computer-science model-theory lo.logic set-theory
2 Answered Questions
[SOLVED] When can a freely moving sphere escape from a 'cage' defined by a set of impassible coordinates?
- 2010-04-19 23:21:58
- Rob Grey
- 565 View
- 10 Score
- 2 Answer
- Tags: pr.probability algorithms computer-science
1 Answered Questions
[SOLVED] Does Langton's ant cover every n by 6 gridded torus?
- 2015-03-13 06:27:42
- Sebastien Palcoux
- 508 View
- 13 Score
- 1 Answer
- Tags: co.combinatorics ds.dynamical-systems computer-science cellular-automata
0 Answered Questions
The hardness of computing inverse
- 2011-06-21 07:03:46
- user10891
- 1045 View
- 9 Score
- 0 Answer
- Tags: computational-complexity computer-science
2 Answered Questions
[SOLVED] What are the limits of non-halting?
- 2010-05-30 21:15:40
- Stanislav
- 1089 View
- 5 Score
- 2 Answer
- Tags: computer-science computability-theory
2 Answered Questions
[SOLVED] Can a stochastic Turing machine output a consistent extension of PA with positive probability?
- 2015-11-20 23:05:18
- Abram Demski
- 654 View
- 16 Score
- 2 Answer
- Tags: computability-theory computer-science foundations