Sign In
Sign Up
Automated Mathematical Induction
Hantao Zhang
-
/
5
0 votes
Automatic Theorem Proving
Induction (Mathematics)
The Man Who Knew Infinity
3.6
2K votes
The Climb
3.4
847 votes
A Beautiful Mind
3.9
11K votes
Cube 2: Hypercube
2.8
2K votes
Cube Zero
2.9
2K votes
The Oxford Murders
3.0
630 votes
X+Y
3.3
548 votes
Riders of Justice
3.6
817 votes
Primer
3.4
3K votes
Legally Blonde
3.4
4K votes
Only the Brave
3.7
2K votes
Proof
3.1
659 votes
Gifted
4.0
6K votes
Good Will Hunting
4.1
13K votes
Cube
3.4
5K votes
Public Enemies
3.3
5K votes
Hidden Figures
4.0
10K votes
G.I. Jane
3.2
2K votes
Pi
3.6
3K votes
Austin Powers: The Spy Who Shagged Me
3.1
4K votes
Catwoman
2.3
4K votes
Eastern Promises
3.7
4K votes
Fracture
3.6
4K votes
Bram Stoker's Dracula
3.8
6K votes
The Great Dictator
4.2
4K votes
Lethal Weapon 2
3.5
4K votes
Battle Royale
3.6
4K votes
Austin Powers: International Man of Mystery
3.3
4K votes
Twister
3.3
4K votes
Natural Born Killers
3.5
4K votes
Thelma & Louise
3.8
4K votes
Stargate
3.5
4K votes
Into the Wild
3.9
10K votes
Crash
3.6
4K votes
Some Like It Hot
4.0
4K votes
The Elephant Man
4.0
4K votes
Magnolia
3.9
4K votes
The Darjeeling Limited
3.6
4K votes
Nausicaä of the Valley of the Wind
4.0
4K votes
Dr. No
3.5
4K votes
3:10 to Yuma
3.6
4K votes
Bicentennial Man
3.6
4K votes
Seven Samurai
4.2
4K votes
Bee Movie
3.0
5K votes
Phone Booth
3.5
4K votes
Babel
3.6
4K votes
The Silence of the Lambs
4.2
17K votes
Spirited Away
4.3
17K votes