Stories tagged as math – Mathematics
  1. 6
    Reinforcement Learning of Theorem Proving ai math arxiv.org
    sanxiyn avatar via sanxiyn 3 months ago | cached | no comments
  2. 14
    Theorem Proving in Lean ☶ formalmethods math leanprover.github.io
    bwr avatar via bwr 3 months ago | cached | 1 comment
  3. 5
    A memory-bound graph-theoretic proof-of-work system cryptocurrencies distributed math github.com
    readevalprint avatar via readevalprint 3 months ago | cached | 2 comments
  4. 23
    SmoothLife: Generalization of Conway's "Game of Life" to a continuous domain math python release github.com
    pushcx avatar via pushcx 3 months ago | cached | 6 comments
  5. 2
    Is the Square a Secure Polygon? math math3ma.com
    JordiGH avatar via JordiGH 3 months ago | cached | no comments
  6. 7
    Frink: Tool and Programming Language for Physical Calculations math programming frinklang.org
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  7. 9
    What is mathwashing? ai culture math mathwashing.com
    Shamar avatar via Shamar 3 months ago | cached | 25 comments
  8. 12
    The Axiom of Choice is Wrong math cornellmath.wordpress.com
    JordiGH avatar via JordiGH 3 months ago | cached | 9 comments
  9. 5
    what the Dunning-Kruger effect is and isn’t cogsci math talyarkoni.org
    friendlysock avatar via friendlysock 3 months ago | cached | no comments
  10. 2
    Understanding Gergonne's Card Trick - Python implementation and underlying mathematics math taranovk.github.io
    gandro avatar via gandro 3 months ago | cached | no comments
  11. 7
    EvilPlot — A combinator based plotting library for Scala math scala visualization medium.com
    tel avatar via tel 3 months ago | cached | 1 comment
  12. 2
    Operads as a Potential Foundation for Systems of Systems (2016) pdf math plt programming categoricaldata.net
    nickpsecurity avatar via nickpsecurity 3 months ago | cached | no comments
  13. 16
    What are the top takeaways of graph theory? ☶ ask math networking
    alexpetralia avatar authored by alexpetralia 3 months ago | 15 comments
  14. 6
    The quadratic equation and low-precision arithmetic math programming johndcook.com
    calvin avatar via calvin 4 months ago | cached | no comments
  15. 6
    How much time does cutting corners save? math visualization masonsimon.com
    friendlysock avatar via friendlysock 4 months ago | cached | 2 comments
  16. 4
    An Algebraic Model for Parameterized Shape Editing graphics math vladlen.info
    friendlysock avatar via friendlysock 4 months ago | cached | 1 comment
  17. 3
    Euclid's Elements historical math mathcs.clarku.edu
    zge avatar via zge 4 months ago | cached | no comments
  18. 9
    Why I've lost faith in p values math science lucklab.ucdavis.edu
    pushcx avatar via pushcx 4 months ago | cached | 9 comments
  19. 3
    VoiceLoop: Voice Fitting and Synthesis via a Phonological Loop audio ai math ytaigman.github.io
    friendlysock avatar via friendlysock 4 months ago | cached | no comments
  20. 2
    Teaching Data Science to High Schoolers education math mchow.com
    hwayne avatar via hwayne 4 months ago | cached | no comments
  21. 2
    Help needed: Static typing and algebra ☶ compilers compsci math plt
    HenriTuhola avatar authored by HenriTuhola 4 months ago | 1 comment
  22. 6
    Prefix Sums and Summed Area Tables math blog.demofox.org
    calvin avatar via calvin 4 months ago | cached | no comments
  23. 67
    Parsing: a timeline compilers historical math jeffreykegler.github.io
    derek-jones avatar via derek-jones 4 months ago | cached | 15 comments
  24. 16
    Eight-bit floating point math programming johndcook.com
    calvin avatar via calvin 4 months ago | cached | 3 comments
  25. 7
    Software Testing as Species Discovery (statistical properties of fuzzing campaigns) ☶ compsci math testing arxiv.org
    koomi avatar via koomi 4 months ago | cached | 2 comments
<< Page 3 | Page 5 >>