A formalization of geometry in Coq based on Tarski's axiom system

[NeurIPS 2023, Spotlight] Rank-N-Contrast: Learning Continuous Representations for Regression

📚 Calculus Library for JS and NPM

Function, function graph, domain, range. Increasing and decreasing functions, odd and even functions. Inverse functions. The class of elementary functions. Trigonometric functions, exponential and logarithmic functions. Power laws, logarithms. Limits, rules for calculating limits, standard limits. Continuity, theorems on continuous functions. De…

Handoff Webpage to Chrome on iOS

A monadic translation of Gödel's System T in the spirit of Gentzen's negative translation

.NET SDK for interacting with the Onspring API

The Probabilistic Fault Tolerance of Neural Networks in the Continuous Limit, El-Mahdi El-Mhamdi, Rachid Guerraoui, Andrei Kucharavy, Sergei Volodin

A one stop shop with fixed 5V/12V/24V/USB metered power, adjustable power supply, voltmeter, continuity tester and basic oscilloscope.

〽Basically a circuit used to check continuity in a wire connection or a device, this can save you a lot of headache if you are normallly into hardware wire connections

Package R pour utiliser les données Géobs de l'OFB

Notes from math Analysis course

This personal project has the same purpose than the older one 'Non_optimized_maze_soler" but is actually quite smarter in its structure and method. Therefore we aim to solve a puzzle, by using RGB discontinuities between sub-images

Receive notifications from your social networks on an Android device and transmit them to your PC in real time. Iphone - PC alternative.