Technical Section: Fast construction of the Vietoris-Rips complex
Computers and Graphics
Deriving invariants by algorithmic learning, decision procedures, and predicate abstraction
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Towers of Hanoi related problems
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
Hi-index | 0.00 |