Outer Web | Explore

Explore >> Select a destination

You are here		fredrikj.net Computing (generalized) Bell numbers
\|	\|	www.philipzucker.com Bounding Euler's Constant \| Hey There Buddo!	4.4 parsecs away Travel
\|	\|	I've been struggling with defining the transcendental functions like exp, sine, cosine in knuckledragger https://github.com/philzook58/knuckledragger , my python proof assistant based around z3.	4.4 parsecs away Travel
\|	\|	blog.paulhankin.net A novel and efficient way to compute Fibonacci numbers	4.4 parsecs away Travel
\|	\|	Programming, Computer Science, Games and Other Things	4.4 parsecs away Travel
\|	\|	randorithms.com How to Find the Taylor Series of an Inverse Function - Randorithms	2.3 parsecs away Travel
\|	\|	The Taylor series is a widely-used method to approximate a function, with many applications. Given a function \(y = f(x)\), we can express \(f(x)\) in terms ...	2.3 parsecs away Travel
\|	\|	jiggerwit.wordpress.com Bezout's Theorem and an Irrelevant Point \| Jigger Wit	20.7 parsecs away Travel
\|		In the texbook I'm using for a first course in algebraic geometry, the proof of Bezout's theorem is awful. Looking around, I find an abundance of awful proofs. A good proof is one that I would want to commit to memory. Here is a good proof of Bezout's theorem, which is due to Gurjar and...	20.7 parsecs away Travel