When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. List of 4000-series integrated circuits - Wikipedia

    en.wikipedia.org/wiki/List_of_4000-series...

    The following is a list of CMOS 4000-series digital logic integrated circuits.In 1968, the original 4000-series was introduced by RCA.Although more recent parts are considerably faster, the 4000 devices operate over a wide power supply range (3V to 18V recommended range for "B" series) and are well suited to unregulated battery powered applications and interfacing with sensitive analogue ...

  3. Qalculate! - Wikipedia

    en.wikipedia.org/wiki/Qalculate!

    Qalculate! supports common mathematical functions and operations, multiple bases, autocompletion, complex numbers, infinite numbers, arrays and matrices, variables, mathematical and physical constants, user-defined functions, symbolic derivation and integration, solving of equations involving unknowns, uncertainty propagation using interval arithmetic, plotting using Gnuplot, unit and currency ...

  4. 4000-series integrated circuits - Wikipedia

    en.wikipedia.org/wiki/4000-series_integrated...

    The 4000 series is a CMOS logic family of integrated circuits (ICs) first introduced in 1968 by RCA. [1] It was slowly migrated into the 4000B buffered series after about 1975. [ 2 ] It had a much wider supply voltage range than any contemporary logic family (3V to 18V recommended range for "B" series).

  5. SAT solver - Wikipedia

    en.wikipedia.org/wiki/SAT_solver

    In computer science and formal methods, a SAT solver is a computer program which aims to solve the Boolean satisfiability problem.On input a formula over Boolean variables, such as "(x or y) and (x or not y)", a SAT solver outputs whether the formula is satisfiable, meaning that there are possible values of x and y which make the formula true, or unsatisfiable, meaning that there are no such ...

  6. List of open-source software for mathematics - Wikipedia

    en.wikipedia.org/wiki/List_of_open-source...

    It has a compatibility mode with Maple, Derive and MuPAD software and TI-89, TI-92 and Voyage 200 calculators. The system was chosen by Hewlett-Packard as the CAS for their HP Prime calculator, which utilizes the Giac/Xcas 1.1.2 engine under a dual-license scheme.

  7. List of arbitrary-precision arithmetic software - Wikipedia

    en.wikipedia.org/wiki/List_of_arbitrary...

    KCalc, Linux based scientific calculator; Maxima: a computer algebra system which bignum integers are directly inherited from its implementation language Common Lisp. In addition, it supports arbitrary-precision floating-point numbers, bigfloats. Maple, Mathematica, and several other computer algebra software include arbitrary-precision arithmetic.

  8. RPL (programming language) - Wikipedia

    en.wikipedia.org/wiki/RPL_(programming_language)

    HP 48G calculator, uses RPL . RPL is a handheld calculator operating system and application programming language used on Hewlett-Packard's scientific graphing RPN (Reverse Polish Notation) calculators of the HP 28, 48, 49 and 50 series, but it is also usable on non-RPN calculators, such as the 38, 39 and 40 series.

  9. Espresso heuristic logic minimizer - Wikipedia

    en.wikipedia.org/wiki/Espresso_heuristic_logic...

    Minimizing Boolean functions by hand using the classical Karnaugh maps is a laborious, tedious, and error-prone process. It isn't suited for more than six input variables and practical only for up to four variables, while product term sharing for multiple output functions is even harder to carry out. [ 10 ]