Home »

November 6, 2020

Three examples on computer proofs

Lin Jiu

Duke Kunshan University

 

Abstract:

Computer algebra, also called symbolic computation or algebraic computation, is a scientific area that refers to the study and development of algorithms and software for manipulating mathematical expressions and other mathematical objects. In this talk, I will present three examples, applying symbolic computation in combinatorics & number theory. All of the examples can be partially/completely proven/solved by computer programs/packages/codes/etc. The first two are basic and elementary, so that they usually appear in the textbooks of analysis and combinatorics. The third one comes from a paper, as a clue on how this method can be used in research.

 

Slides for the talk (click)

Recorded video for the talk (click)

Activities Calendar

March 2024
M T W T F S S
 123
45678910
11121314151617
18192021222324
25262728293031