Home Page - Metamathhttps://us.metamath.org/
and presenting mathematical proofs. See the FAQ for more information. Metamath Proof Explorer - Constructs mathematics from scratch, starting from ZFC set theory axioms. Over 40,0
MathPuzzle.comhttp://www.mathpuzzle.com/
Puzzler's Picks Mathematica MathWorld Wolfram|Alpha Wikipedia Math Math Games Archived Pages 2020-2026 Hiatus Jan-Dec 2014-2019 Hiatus Jan-Dec 2013 J
Math Games, Math Puzzles, and Mathematical Recreations
NA-Digest index for 1995https://netlib.org/na-digest-html/95/
Need Help With a PDE Mathematical Theory of Networkss and Systems MPI Developers Conference and Users Group Meeting Positions at Numerical Semiconductor Contents, Linear Algebra a
TUGboat Author/People list - TeX Users Grouphttps://tug.org/TUGboat/Contents/listauthor.html
logical structure of mathematical notation Applications [ issue 12:3-4, December 1991 ] ( Mamrak, Sandra A. ) Arora, Pavneet ( #Arora,Pavn
https://randall-holmes.github.io/https://randall-holmes.github.io/
particularly mathematical logic. Here is my very ancient personal data page , which is not very serious and has a lot of broken links because it is ancient and needs to be fixed.
Printed Citations to Xah Lee Sitehttp://xahlee.org/PageTwo_dir/Personal_dir/citations_to_xahlee.html
(Progress in Mathematical Physics, Vol. 34) (2003), by Rafal Ablamowicz (Editor). (Publisher: Birkhäuser Boston; 1 edition (December 4, 2003), ISBN-10: 0817635254, ISBN-13: 978-08
Opinions of Doron Zeilbergerhttps://sites.math.rutgers.edu/~zeilberg/OPINIONS.html
188: The American Mathematical Society should not prohibit its members to do TV commercials [Written April 1, 2024] Opinion 187: Nick Trefethen's (70-page) Book "An Applied Mathem
Some talkshttps://members.loria.fr/PZimmermann/talks/
Correctly Rounded Mathematical Functions ... Up to the End User , FPBench Community Meeting, March 3, 2022. Tout ce que vous avez toujours voulu savoir sur le standard IEEE 754 [i
Projective Geometric Algebrahttp://projectivegeometricalgebra.org/
refers to a class of mathematical models in which geometric objects, operations for combining them in various ways, and transformations that can be applied to them are all part of
DPGraph Newshttps://dpgraph.com/new-3d-graphs.html
! Enjoy the dancing mathematical women. 18 Nov 2003: A new update for DPGraph is available. As usual, all DPGraph licensees can update for free . DPGraph now installs under limite
Alok Menghrajani's Bloghttps://www.quaxio.com/
Formula Nov 14, 2019 mathematica Random Things on the Internet Nov 7, 2019 links | blogs | potpourri PagedOut! Issue #2 Nov 2, 2019 ezine | pagedout! | qrcode | font Square CTF 20
Previously: security engineer at Square, co-author of HackLang, put the 's' in https at Facebook. Maker of CTFs.
Hypercomplex Fractalshttp://www.bugman123.com/Hypercomplex/
so far. Here is some Mathematica code demonstrating a simple way to render this 3D fractal as a depth map by slowly marching tiny cubes ( voxels ) toward the boundary: (* runtime:
Find more...