The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
58 views

Math via Computers

What computer language is best for doing mathematics? That is, which of C or Ruby or whatever would generally be the widest applicable efficient computer language to master for doing mathematics? In ...
1
vote
1answer
16 views

Is this function (Strings and Languages) True or false, and why? plz help me

plz answer this two question if u know an give me the reason Determine whether each of the following statements is true or false. If a statement is false, give a counterexample. 1- uv=vu for all ...
1
vote
0answers
55 views

Cut-off Subtraction in Coq

I am new to the world of computer assistant proof programs in general, and Coq in particular. As a result, I have sought to prove some elementary results about integers as a way to … At the moment, I ...
5
votes
1answer
101 views

What is the meaning of proof of a proof?

After reading about Curry-Howard corrsepondence and looking at some proofs written in coq i've thinked about meaning of proof of a proof. We can express proofs as a computer program Proof is correct ...
5
votes
0answers
59 views

An Auto-Generated Cartography of Mathematical Theories: Has it been done already?

While looking for a way to visualize the logical structure of mathematical theories a graph-like depiction came to my mind, where propositions are represented by vertices. An edge goes from ...
1
vote
0answers
112 views

Online math tool for equation visualisation

I am looking for a math editor that is able to present equations and relations between them. I am not searching for a traditional Latex / MathML editor (I know about various online services that allow ...
2
votes
3answers
151 views

Computer Assisted proofs apart from the 4 color theorem

I recently read about the 4 color theorem and that it was proved using help from computers. Does anybody know of some other 'good' computer-assisted proofs apart from the 4 color theorem?