sequences-analysis

Experimental Lean 4 library for real-rooted polynomials and interlacing

⚒️ A Java program focuses on constructing the real numbers IR, particularly the square roots of natural numbers. It deals with what we call computational mathematics.

Any numerical chain that arrives at 1 or 89 will become stuck in an endless loop. EVERY starting number will eventually arrive at 1 or 89. In this program, I tested this statement.

Bitstream analysis tool in Python for verifying Golomb postulates (balance, runs, and autocorrelation).

This repository contains the codes associated with the study "SARS-CoV-2 BW lineage, a fast-growing Omicron variant from southeast Mexico bearing relevant escape mutations". The first version of this work appeared on Research Square in November 2022 as preprint: https://doi.org/10.21203/rs.3.rs-2285898/v1

> a highly mechanistic and complicated code for parsing nucleotide sequences from files without using any modular help. This one finds start codon AUG in the sequence present in text file

A storage repository for my public LaTeX writings