mathematica   2893

« 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 
22 days ago by drmeme
Prio | Stanford Applied Crypto Group
Prio: Private, Robust, and Scalable Computation of Aggregate Statistics
privacy  statistics  mathematica  cryptography 
24 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

« earlier    

related tags

-  1989  2018  5000  abstraction  academia  ada  advent  ai  algebra  algorithms  alternative  analysis  analytics  anewkindofscience  art  arts  at  attractors  audio  axioms  blockchain  blog  book  built  c#  c++  c  cas  category_theory  children  class  classes  clojure  code  codegolf  commonsubexpressions  comparison  computer  computers  contourlines  course  courses  cryptography  cse  data  datascience  datastructures  dataviz  deeplearning  discussions  doc  document  education  email  essay  essays  explainability  floss  fortran  fractals  functions  generative  github  go  gorilla  graph  history  ifttt  images  in  inspiration  inspiring  interactive  interoperability  ipynb  ipython  java  javascript  julia  jupyper  jupyter  knowledge  language  learning  libraries  library  life  lisp  logic  machinelearning  maps  math  mathematics  maths  matlab  ml  notebook  notebooks  obsolescence  online  open-source  opensource  paper  papers  pascal  pequod  perl  pex  philosophy  php  plot  plotting  podcast  precedence  preferiti  privacy  probability  programming  proofs  publishing  py  python  radio  raspberry_pi  reference  references  repl  reproducibility  reproducibleresearch  research  retro  sage  sagemath  school  science  scraping  software  stack_overflow  standards  statistics  stephenwolfram  syntax  tech  technology  teenagers  theorems  ticks  time  tutorials  understandability  vectorisation  visualization  web  website  wolflang  wolfram  writing 

Copy this bookmark: