A Proof via Finite Elements for Schiffer's Conjecture on a Regular Pentagon.

Nilima Nigam Bartlomiej Siudeja Benjamin Young

Published in: Found. Comput. Math. (2020)

Keyphrases

interactive theorem proving
finite element
finite element analysis
mesh generation
boundary element
finite element model
finite difference
gpu accelerated
material properties
neural network
theoretical analysis
numerical solution
data sets
databases