A mathematical proof of how fast the diameters of a triangle mesh tend to zero after repeated trisection.
Francisco PerdomoÁngel PlazaEduardo QuevedoJosé P. SuárezPublished in: Math. Comput. Simul. (2014)
Keyphrases
- triangle mesh
- mathematical proofs
- mathematical knowledge
- automated theorem provers
- theorem prover
- computer algebra
- mathematical models
- neural network
- bayesian networks
- natural language
- evolutionary algorithm
- mobile robot
- databases
- image processing
- theorem proving
- cognitive processes
- linear logic
- information systems
- proof theory
- artificial intelligence
- proof planning
- genetic algorithm
- real world