Search Results for "logic"

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the...

Quantum-Corrected Cosmological Perturbation Solver License: Dual 🔬 Overview A complete computational framework for cosmological perturbation theory with first-principles quantum corrections. This package implements: Quantum-corrected Mukhanov-Sasaki equations with backreaction from quantum fields Full Boltzmann integration with quantum scattering terms Tensor perturbations (gravitational waves) with quantum sources Integration with CLASS/CAMB for validation ...

The Secret of NIM is a software writen in PHP/MySQL and JavaScript. It shows a graphical representation of a logic scheme with wires connecting logic modules which have specific parameters. This software has been developped for NIM/TTL logic, thus his simplicity allows also the representation of other logic systems, numeric systems or analogic systems i.e. the pedal board of an electric guitar. The Secret of NIM is divided in two parts. The first one is the main part of the software. ...