Now showing items 1-20 of 42

    4d-TQFTs; D-brane; D-Brane Topological Quantum Computation; Donaldson; Euler characteristic; Invariant polynomials; Jones polynomial; Khovanov Homology; Quantum computation; Graph theory; Mathematical operators; Polynomials; Quantum optics; Quantum theory; Quantum computers [1]
    Algebra; Climate change; Disease control; Physiology; Vector control (Electric machinery); Vectors; Basic reproductive number; Chikungunya; Computer algebra; Control measures; Geographical area; Human interactions; Rapid expansion; Vector-borne disease; Mosquito control [1]
    Algebra; Computational linguistics; Formal languages; Geometry; Quantum computers; Quantum optics; Quantum theory; Supersymmetry; Theorem proving; Topology; Automated theorem prover; Automated theorem proving; Homotopies; Homotopy types; Logical approaches; Mathematical designs; Monoidal categories; Quantum algorithms; Computation theory [1]
    Algebra; Laplace transforms; Basic reproductive rate; Complex problems; Computer algebra software; Epidemic models; Epidemic threshold; Explicit forms; Human populations; Laplace transform techniques; Mathematical epidemiologies; Model equations; Residue; Symbolic com-putation; Computer software [1]
    Algebra; Problem solving; Theorem proving; Bryslinski's theorem; Quantum gates; Yang-baxterization; Zhang-Kauffman-Ge method (ZKGM); Quantum computers [1]
    Algebraic synthesis; Basic reproductive number; Computer algebra; Control measures; Dengue; Epidemic threshold; Microscopic structures; Military medicine; System of differential equations; Transition probabilities; Vector-borne disease; Algebra; Atoms; Biometrics; Differential equations; Environmental engineering; Mathematical models; Quantum theory; Technology; Disease control [1]
    Algorithms; Computability and decidability; Computational complexity; DNA; Natural sciences computing; Polynomials; DNA Computing; Entanglement; Gravitational computer; Homeomorphism problem; Link invariants; Quantum computers [1]
    Algorithms; Computation theory; Computer software; Diffusion; Hamiltonians; Quantum theory; Computer algebra; Spin Chain; Universal Quantum Gate; Yang-Baxter Equation; Yang-Baxterization; Boolean algebra [1]
    Algorithms; Computational linguistics; Diseases; Electric network analysis; Polynomial approximation; Polynomials; Quantum computers; Quantum optics; Quantum theory; Aharonov-Arab-E bal-Landau algorithm; Basic reproductive number; Borders; Social network analysis; Topological quantum computation; Tutte polynomial; Computer networks [1]
    Analytical solutions; Biot number; Cross sectional area; Dynamic characteristics; Dynamic energy; Fin tip temperature; Steady state solution; Differential equations; Dynamic analysis; Heat exchangers; Heat transfer; Laplace equation; Laplace transforms; Fins (heat exchange) [1]
    Approximation theory; Computational complexity; Computer programming languages; Mathematical operators; Program debugging; Semantics; Software engineering; Functional logic programming; Logic languages; Program correctness; Program specification; Logic programming [1]
    Approximation theory; Data reduction; Integration; Knowledge based systems; Mathematical models; Program debugging; Semantics; Assertion based methods; Declarative debugging; Functional logic languages; Rewriting systems; Logic programming [1]
    Artificial intelligence; Computation theory; Curricula; E-learning; Education computing; Engineering education; Numerical analysis; Teaching; Active Learning; Active learning strategies; Engineering classrooms; Engineering disciplines; Flipped classrooms; Frequently asked questions; Instructional materials; Self-determination theories; Students [1]
    AS index theorem; Hadamard; Index theorem; Jones polynomial; Quantum computation; Supersymmetries; Virtual Link; Algorithms; Computational linguistics; Differentiation (calculus); Quantum computers; Quantum optics; Quantum theory; Topology; Polynomials [1]
    Atiyah-Singer theorem; Gauge theory; Generalized Khovanov homology; Homotopies; Khovanov homology; Quantum invariants; Rasmussen's invariant; Algorithms; Polynomials; Quantum computers; Quantum optics; Topology; Quantum theory [1]
    Automatic reasoning; Coinduction; Computer-assisted verification; Dependent type theory; First order; First order logic; First order theories; Functional programs; Interactive reasoning; Proof assistant; Theorem provers; Automatic reasoning; Computer-assisted verification; Dependent type theory; First order logic; First order theories; Functional programs; Interactive reasoning; Theorem provers; Artificial intelligence; Formal logic; Open systems; Theorem proving; Open systems; Computation theory [1]
    Baasic Reproductive Number; Computer Algebra; Contact Network; Differential susceptibility; Immunosuppression; Influenza; Maple; Tutte polynomial [1]
    Basic reproduction number; Disease transmission; Endemic equilibrium; Local stability; Mathematical model; Susceptible infected recovered (SIR) models; Mathematical models [1]
    Basic Reproductive Number; Bessel Functions; Computer Algebra; Differentia Susceptibility; Educational Campaign; Euler-Lagrange Equation; Insecticide-treated Nets; Malaria; Maple; Optimal control [1]
    Basic reproductive number; Carrier-borne model; contact network; Maple; Mathematical epidemiology; SAGE; SIR model; Tutte polynomial; Algebra; Algorithms; Biometrics; Computer simulation; Computer software; Disease control; Diseases; Environmental engineering; Graph theory; Identification (control systems); Ordinary differential equations; Statistics; Stochastic systems; Technology; Stochastic models [1]