An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
-
Updated
Jun 20, 2024 - OCaml
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
A game of truly quantum chess, with interference, entanglement, etc.
Protein structure comparison tools such as SSAP and SNAP
Quantum programming language putting entanglement and superposition front and center
Quantum Connect Four
Clusters protein chains based on CA distance difference
Quantum Computing Basics Using Python projectq
An introduction guide designed to introduce Quantum Programming concepts with Qiskit.
Python 3 script for overlaying or superimposing two or more molecules. The overlayed / superimposed molecules can be displayed and the modified coordinates can be saved as xyz files. Coloring by atom or molecule is possible.
Multimodal Exponentially Modified Gaussians with Optional Oscillation
Real Random Number Generation for Lottery-game using Qiskit
Numerical heat transfer code for external flows
This course provides basic knowledge of circuit theory and electronics. It also provides knowledge of the various devices that can be found in a microcontroller and how these are supposed to be used.
Solution of simple AC and DC Circuits. Electrical units & measurements. Voltage, current, impedance. Equivalent circuits. Electrical energy & power. Resistors, inductors, capacitors, phasors, filters. Introduction to analog and digital telecommunication systems. Operational amplifiers, sensors & actuators, simple controllers. Use of laboratory …
Superposition-based Protein Embedded CA SC score
A superposition generator using PRNG to output effectively randomized qubit states.
Rna Alignment With Tree Edit Distance
🌊 Resource for learning waves superposition, interference and diffraction interactively!
My journey in Quantum Computing on an IBM Quantum Computer accessed through Cloud
Add a description, image, and links to the superposition topic page so that developers can more easily learn about it.
To associate your repository with the superposition topic, visit your repo's landing page and select "manage topics."