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…
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.
Stochastic parallelised search for counter- and extreme examples to inequalities between "nonbities" of 2 polynomials with nonnegative coefficients and of their product, where a nonbity of a polynomial quantifies its "distinctiveness" from a {0,1}-one. Related to unfair 0-1-polynomials conjecture.
〽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
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.
Add a description, image, and links to the continuity topic page so that developers can more easily learn about it.
To associate your repository with the continuity topic, visit your repo's landing page and select "manage topics."