MATH
Login Or Sign up

List Question

15
29
Views

heuristic pickup and delivery problem

Published on
#optimization #algorithms #computer-science
152
Views

Where can I find or could you provide the definition of a category using dependent types?

Published on
#category-theory #definition #computer-science #type-theory #programming
65
Views

Is it possible to deduce by a computer all the propositions from the Euclid's Elements from its postulates, common notions and definitions?

Published on
#logic #computer-science #first-order-logic #predicate-logic #computational-mathematics
246
Views

Why is it impossible nowadays for a computer to derive all the possible theorems that flow from a particular formal system?

Published on
#logic #computer-science #formal-systems
31
Views

Need some help on equations (lines, spiral curves and polar curves)

Published on
#functions #computer-science #polar-coordinates #parametric #implicit-function
27
Views

How to imagine a process of generating theorems from a formal system in a computer?

Published on
#computer-science #formal-systems
146
Views

Number of bits for a scalar product

Published on
#vectors #computer-science #binary #binary-operations #computer-algebra-systems
612
Views

Parametric equation of sinusoidal curve around semi-circle for radius 0.75

Published on
#computer-science #parametric #plane-geometry #visualization
52
Views

Find time complexity (Big O) and (Omega)

Published on
#algorithms #asymptotics #computer-science
712
Views

Is this Church encoding of lists correct?

Published on
#computer-science #lambda-calculus
261
Views

Math problem: Underflow and gradual underflow

Published on
#real-analysis #computer-science #computational-mathematics #floating-point
110
Views

Reduction exercises for SAT solvers

Published on
#computer-science #education #np-complete #satisfiability
65
Views

Algorithm telling if a word is good

Published on
#algorithms #computer-science #recursion #computability #recursive-algorithms
37
Views

How to prove logic expressions with numbers in them with truth table

Published on
#computer-science #boolean-algebra
152
Views

Time complexity of an iterative function related to bits

Published on
#discrete-mathematics #algorithms #asymptotics #computer-science #computational-complexity

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.