1.1 / April 22, 2013
(3.2/5) (8)

Description

A live wallpaper with vector style graphicsand laser space ship battles. Not interactive.

• No internet access or other special permissionsrequired.
• No ads or other junk.

• 9 exciting varieties of almost identical ships.
• Adjustable population of ships and world size.
• Customizable colors.
• Uses minimal power. If needed, frame rate and population can beadjusted to maximize battery life.

App Information Vector Space Wallpaper

  • App Name
    Vector Space Wallpaper
  • Package Name
    com.kemick.vectorspace
  • Updated
    April 22, 2013
  • File Size
    Undefined
  • Requires Android
    Android 2.1 and up
  • Version
    1.1
  • Developer
    Kemick
  • Installs
    50 - 100
  • Price
    $0.99
  • Category
    Arcade
  • Developer
  • Google Play Link

Kemick Show More...

Vector Space Wallpaper 1.1 APK
Kemick
A live wallpaper with vector style graphicsand laser space ship battles. Not interactive.• No internet access or other special permissionsrequired.• No ads or other junk.• 9 exciting varieties of almost identical ships.• Adjustable population of ships and world size.• Customizable colors.• Uses minimal power. If needed, frame rate and population can beadjusted to maximize battery life.
Logic Calculator 1.1 APK
Kemick
Logic Calculator takes sententialbooleanexpressions and applies a single function: simplification.Thesimplification algorithm is essentially Quine-McClusky, andshouldproduce optimal expressions.Simplification can be used to test fortautologies/contradictionsand, by extension, for validity andequality.• Tautologies are evaluated to True (they are true inallcases)• Contradictions are evaluated to False (they are false inallcases)• Contingent expressions are reduced to a sum of productsform.(i.e. the cases in which it is true).• Sum of products is a disjunction of conjunctions.(e.g. (A | (B & C) | (D & E))).Usage Examples:Testing Argument Validity:"((P -> Q) & P) -> Q" (Modus Ponens) evalutestoTrue."((A|B) -> B)" is not a valid argument and will reduce onlytothe conditions where it is true (~A or B). If youwantcounter-examples to demonstrate invalidity, pretend it isacontradiction and negate the expression. Both "~(~A | B)"and"~((A|B) -> B)" reduce to (A and ~B). If A is true and Bisfalse, then neither A nor B can imply B.Testing Expression Equality:"(A | B) & ( A | C) = (A | (B & C))" distributionexampleevaluates to true.(A = B) reduces to the two cases in which the expression istrue(A&B | ~A&~B). Negate for counterexamples toequality(~A&B | A&~B).Simplify an Expression:"(A & (~A | (B & B)))|((A & B) & ~(A &B))"will reduce to "A & B"Notes:10 variables are provided and should work in most cases(thoughlarger expressions may be a bit slow). Expressions can bewrittenelsewhere and pasted into the input text field. The parserwillattempt to process up to 24 variables (A-Z minus T/F). Asthecomputational and memory costs are exponentially related tothevariable count, using many variables may cause a crash from lackofmemory (or it may simply spin for an indefinite period oftime).I've included this option just in case someone finds ituseful, butdon't be surprised if it crashes the program.If the program crashes on seemingly reasonable input or,evenworse, if the program produces incorrect output for a giveninput(i.e. non-equivalent or non-optimal output), please shoot meanemail with an expression that produces such incorrect behavior.Forcrashes, you should also be able to submit the exception fromtheerror dialog (though I'll have no idea what input wasbeingoperated on, so send that as well in an email).