Login / Signup
Techniques for Natural-style Proofs in Elementary Analysis.
Tudor Jebelean
Published in:
SC-Square@FLOC (2018)
Keyphrases
</>
statistical analysis
automatic analysis
website
data analysis
data sets
three dimensional
pattern recognition
trade off
quantitative analysis