‘hello there the jacobian conjecture is false thanx’: why a tiny social media post has mathematicians rethinking AI

Yet another longstanding mathematical question has been resolved by AI – and it feels a little different from the ones that ...
Quanta Magazine

A Master of the Traveling Salesperson Problem Finds His Own Path

Shayan Oveis Gharan has won the Abacus Medal for using tools from across mathematics to boost the power of algorithms.
IEEE

A Dynamic Gain Method to Event-Triggered Tracking Control for Uncertain Nonlinear Systems With Input Quantization

Abstract: In this article, we propose a dynamic gain method to solve the event-triggered output feedback tracking control problem of uncertain strict-feedback nonlinear systems subject to input ...
The Earth Institute Columbia University

Rules of calculus - functions of one variable

A derivative is a function which measures the slope. It depends upon x in some way, and is found by differentiating a function of the form y = f (x). When x is substituted into the derivative, the ...
GitHub

GoFE - Functional Encryption library

Please note that the library is a work in progress and has not yet reached a stable release. Code organization and APIs are not stable. You can expect them to change at any point. The purpose of GoFE ...