Leaves in Tokyo are changing their colors

Winter is coming soon.

Sympy: A Python Library for Symbolic Mathematics

SymPy is a Python library for symbolic mathematics. It aims to become a full-featured computer algebra system (CAS) while keeping the code as simple as possible in order to be comprehensible and easily extensible. SymPy is written entirely in Python and does not require any external library.

To find out more, check this.

Saran

WHAT IS THE DIFFERENCE BETWEEN A THEOREM, A LEMMA, AND A COROLLARY?

I find this useful for me.

WHAT IS THE DIFFERENCE BETWEEN A THEOREM, A LEMMA,

AND A COROLLARY?

PROF. DAVE RICHESON

Definition — a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.

Theorem — a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.

Lemma — a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma, Sperner’s lemma).

Corollary — a result in which the (usually short) proof relies heavily on a given theorem (we often say that “this is a corollary of Theorem A”).

Proposition — a proved and often interesting result, but generally less important than a theorem.

Conjecture — a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture).

Claim — an assertion that is then proved. It is often used like an informal lemma.

Axiom/Postulate — a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved (Euclid’s five postulates,Zermelo-Fraenkel axioms, Peano axioms).

Identity — a mathematical expression giving the equality of two (often variable) quantities (trigonometric identities, Euler’s identity).

Paradox — a statement that can be shown, using a given set of axioms and definitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a flawed theory (Russell’s paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules (Banach-Tarski paradox, Alabama paradox, Gabriel’s horn).

Reference: http://divisbyzero.com/2008/09/22/what-is-the-difference-between-a-theorem-a-lemma-and-a-corollary/

Working with Excel Files via Python

You may find yourself working with excel file (.xls) and Python is your main language. Don't worry, there is an efficient tool that can help you get through most basic tasks.
To find our more, visit Python Excel.
http://www.python-excel.org/

Cheers,
Saran Tarnoi

Accelerating Python with Numba

Python is one of the most popular programming languages in my opinion. It is beautiful and easy to learn. However, for some exhausted tasks, Python is relatively slow compared to C. Try using Numba to convert your native python code to optimized machine code. It surprisingly helps a lot in some cases.
Please visit the following link provided that you are interested in it.
http://numba.pydata.org/

Cheers,
Saran Tarnoi

Let's Make a Poster Using Latex

Creating a nice poster will never be a tired and frustrated task once you know how to use Latex for making one. I think "baposter" is a highly recommended tool to start with. Please visit the site below:
http://www.brian-amberg.de/uni/poster/.

Cheers,
Saran

A Very Useful Grub Organizer for Ubunto: Grub Customizer

There is a nice tool for customizing grub on Ubunto with an intuitive user interface available. It is Grub Customize in LuanchPad. I suggest you visit the official site of the tool at https://launchpad.net/grub-customizer.

Thanks developers for there efforts.

Bar Graph with Texture

Improving the visibility of a bar graph created by Matlab will no longer bring an headache, just visit the site below:

http://www.mathworks.com/matlabcentral/fileexchange/24021-hatch-fill-patterns-plus-color---invert.

Cheers,
Saran

To configure CPLEX for Python

There is a good tutorial on the following site.

http://minpower.readthedocs.org/en/v1.1.2/install-linux.html

Cheers
Saran Tarnoi

To fix the problem of "fonts not embedded" in WinEdt

When I was about to upload a manuscript to EDAS, the problem regarded as "fonts not embedded" was showing up.
I had been spending several minutes to eventually meet a solution to the problem.

The solution for WinEdt 6.0 worked, I was using WinEdt 8.0 with gswin64c.exe though.

WinEdt 6.0:

• Open WinEdt
• Select: Options, Execution Modes
• Select ps2pdf
• Click on "Browse for Executable" (lower left corner)
• Browse to the gswin32c.exe executable in C:\Program Files\gs\gs9.02\bin

(you might have another version than 9.02, so please adjust this number) and select it.
• Enter the following switches:

   
  -dBATCH -dNOPAUSE -sDEVICE=pdfwrite -r600 -dCompatibilityLevel=1.4 
  -dPDFSETTINGS=/printer -dMaxSubsetPct=100 -dSubsetFonts=true 
  

• Enter the following parameters:

   
  -sOutputFile="%N.pdf" "%N.ps"
  

WinEdt 5.5:

• Open WinEdt
• Select: Options, Execution Modes
• Select ps2pdf
• The Command Line Switches for gswin32c.exe are

   
  -dBATCH -dNOPAUSE -sDEVICE=pdfwrite -r600 -dCompatibilityLevel=1.4
  

  Add the following switches to this line:

   
  -dPDFSETTINGS=/printer -dMaxSubsetPct=100 -dSubsetFonts=true 
  -dEmbedAllFonts=true
  

From now on PS2PDF will embed all fonts.
TeXify-> DVI to PS (DVIPS)->PS to PDF (ps2pdf)

Reference:
http://inside.mines.edu/~djyang/embeddedfont-WinEdt.html

To fix the grub failure of Ubuntu 12.04 after installing new Windows.

Check the link below.
http://www.howopensource.com/2012/05/reinstall-recover-grub-from-ubuntu-12-04-live-cd-usb/