Welcome to tutel.me
Next Page 2

0 Answered Questions

Is the conjecture A+B=C following correct?

6 Answered Questions

[SOLVED] Can we cover the unit square by these rectangles?

6 Answered Questions

[SOLVED] Giving $Top(X,Y)$ an appropriate topology

2 Answered Questions

[SOLVED] A Query regarding the Halting Problem (Omega): Halting Probability for Given Input Size

3 Answered Questions

[SOLVED] How feasible is it to prove Kazhdan's property (T) by a computer?

12 Answered Questions

[SOLVED] Interesting conjectures "discovered" by computers and proved by humans?

6 Answered Questions

[SOLVED] SAT and 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?

0 Answered Questions

Various definitions of recursion from ordinal machines

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?

1 Answered Questions

[SOLVED] Large radical of an integer and three AB conjectures

1 Answered Questions

[SOLVED] an algebraic variety for a boolean circuit

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?

9 Answered Questions

[SOLVED] Relating Category Theory to Programming Language Theory

30 Answered Questions

[SOLVED] What programming languages do mathematicians use?

17 Answered Questions

[SOLVED] Computer Science for Mathematicians

3 Answered Questions

[SOLVED] Wanted: a "Coq for the working mathematician"

14 Answered Questions

[SOLVED] Where have you used computer programming in your career as an (applied/pure) mathematician?

1 Answered Questions

[SOLVED] How to be rigorous about combinatorial algorithms?

7 Answered Questions

[SOLVED] What is the time complexity of computing sin(x) to t bits of precision?

1 Answered Questions

[SOLVED] Guess that group via product queries

4 Answered Questions

[SOLVED] does the "convolution theorem" apply to weaker algebraic structures?

1 Answered Questions

[SOLVED] Evidence for integer factorization is in $P$

2 Answered Questions

[SOLVED] Any important consequences with presupposition of $\mathbf{P} \neq \mathbf{NP}$

3 Answered Questions

[SOLVED] What is the history of the Y-combinator?

2 Answered Questions

[SOLVED] Why is Kleene's notion of computability better than Banach-Mazur's?

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?

6 Answered Questions

[SOLVED] Uses of bisimulation outside of computer science.

2 Answered Questions

[SOLVED] When can a freely moving sphere escape from a 'cage' defined by a set of impassible coordinates?

2 Answered Questions

[SOLVED] Automated search for bijective proofs

Next Page 2