Author: Isaac Teng
-
Theorem Proving using Machine Learning – Lean 4
The progress of technology and AI necessitates their integration into academic studies. Lean 4, an open-source theorem prover, is at the forefront of expanding the capabilities of mathematical proofs.
-
The Fallacy in Mathematical Education
A Mathematics Revolution : A Student’s Perspective on Building a Future-Ready Education System.
-
Why are there no general equations for polynomials with degrees 5 or above? – A Study with Galois Theory
Galois Theory reveals the insolvability of quintic polynomials via radicals. Its elegance illuminates algebra’s limits and the profound complexity of higher-degree equations, shaping modern mathematical inquiry.
-
The Method of Scientific Thinking – On E. Wigner’s Thesis of Mathematics’ Effectiveness
Eugene Wigner’s essay delves into the surprising link between mathematics and the natural world, showcasing its unpredictable influence on science and technology.
-
Feynman’s Trick to Integration
The content describes Feynman’s trick: differentiating under the integral sign, to simplify and solve complex integrals – an often overlooked yet powerful mathematical method.
-
Fractional Calculus – A Study of Differintegrals with Fractional Orders
The historical development and mathematical complexities of working with fractional derivatives.
-
Bayesian Probability – A Conundrum of the Ages
Bayesian probability offers a dynamic, adaptable framework for decision-making, challenging traditional intuition by integrating new information and evolving beliefs.
-
An Introduction to Calculus – Integration and Applications
Exploring integration as a tool for finding areas, accumulation, and continuous change, and usages in practical applications of real-world problems.
-
An Introduction to Calculus – Differentiation Properties and Rules
The article offers deeper insights into calculus, focusing particularly on the principles, properties, and rules of differentiation, including the power, product, quotient, and chain rule.
-
An Introduction to Calculus – Limits and Differentiation
The content covers calculus basics, especially limits and differentiation, their significance, and real-world problems solving using these concepts.