recentpopularlog in


« earlier   
Logic, Explainability and the Future of Understanding
A long, wide-ranging article by Stephen Wolfram. Ostensibly about developing computer-assisted proofs by enumeration. But riffs into philosophical discussions around the nature of doing science, mathematics, and proofs. In particular, the explainability and understandability of proofs by humans. A long deep read.
wolfram  mathematica  logic  theorems  proofs  axioms  science  philosophy  mathematics  understandability  explainability  abstraction  knowledge 
24 days ago by drmeme
Prio | Stanford Applied Crypto Group
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics
privacy  statistics  mathematica  cryptography 
26 days ago by e2b
Algorithm Repository
Data Structures
Dictionaries, Priority Queues, Suffix Trees and Arrays, Graph Data Structures, Set Data Structures, Kd-Trees

Numerical Problems
Solving Linear Equations, Bandwidth Reduction, Matrix Multiplication, Determinants and Permanents, Constrained and Unconstrained Optimization, Linear Programming, Random Number Generation, Factoring and Primality Testing, Arbitrary-Precision Arithmetic, Knapsack Problem, Discrete Fourier Transform

Combinatorial Problems
Sorting, Searching, Median and Selection, Generating Permutations, Generating Subsets, Generating Partitions, Generating Graphs, Calendrical Calculations, Job Scheduling, Satisfiability

Graph: Polynomial-time Problems
Connected Components, Topological Sorting, Minimum Spanning Tree, Shortest Path, Transitive Closure and Reduction, Matching, Eulerian Cycle/Chinese Postman, Edge and Vertex Connectivity, Network Flow, Drawing Graphs Nicely, Drawing Trees, Planarity Detection and Embedding

Graph: Hard Problems
Clique, Independent Set, Vertex Cover, Traveling Salesman Problem, Hamiltonian Cycle, Graph Partition, Vertex Coloring, Edge Coloring, Graph Isomorphism, Steiner Tree, Feedback Edge/Vertex Set

Computational Geometry
Robust Geometric Primitives, Convex Hull, Triangulation, Voronoi Diagrams, Nearest Neighbor Search, Range Search, Point Location, Intersection Detection, Bin Packing, Medial-Axis Transform, Polygon Partitioning, Simplifying Polygons, Shape Similarity, Motion Planning, Maintaining Line Arrangements, Minkowski Sum

Set and String Problems
Set Cover, Set Packing, String Matching, Approximate String Matching, Text Compression, Cryptography, Finite State Machine Minimization, Longest Common Substring/Subsequence, Shortest Common Superstring
algorithms  code  dataStructures  c  ada  c++  c#  fortran  go  java  javascript  lisp  mathematica  pascal  php  python 
5 weeks ago by dicewitch
(34 封私信 / 33 条消息)如何系统的学习Mathematica? - 知乎
8 weeks ago by yoci642
Jupyter, Mathematica, and the Future of the Research Paper – Paul Romer
Each is spot on. I had to learn the hard way why so many kept their distance from Mathematica. Now, I’m much more productive with Jupyter. I’m experimenting with, and excited about, its potential as a way to write up research results.
jupyter  mathematica 
9 weeks ago by euler

Copy this bookmark:

to read