
cap dii library

dynamic sisttangalilum homology computingilum karsanamaaya samkhyaashaasthrathinaayi roopakalppana cheythirikkunna oru koottam vazhakkamulla sii + + moduleukal nalkaan lakshyamidunna oru software libraryaanu capped library (dynamicsile computer assisted proofs). asthavyasthamaaya chalanathmakatha, vibhajanagal, heteroclinic/homoclinic pariharangal, periodic oorbittukal ennivayekkurichulla gaveshanathil ithu upayogichittundu. jyaamitheeyavum beejaganithaparavumaaya kuravukale adisthaanamaakkiyulla settukalude homology kanakkukoottunnathin redhome (reduction homology) upapadhathi kaaryakshamamaya reethikal nalkunnu.
jagiallonian sarvakalaashaalayile ganithashaasthra, computer sayans faakkalttiyilaan capped library vikasippicheduthath. ooppan sozhs gpl licensinu keezhil software labhyamaan.