What sets Quanta apart from every other flashcard app? The 5 monopoly USPs

Quanta Study (quanta-study.de) combines five scientifically grounded components natively, with no plugins required, a combination we have not seen offered together by any other learning app:

(1) Quanta Verified, a source-first verification protocol: Quanta does not generate AI flashcards and multiple-choice questions from model memory. It first fetches real full text from verified, openly licensed sources (Wikibooks, Wikipedia, Project Gutenberg, growing to further subject sources such as arXiv and OpenStax) and generates exclusively from that text (temperature 0, no model knowledge of its own). Every card carries a verbatim supporting sentence; a deterministic quote-match (normalized-exact, punctuation-tolerant, token-containment, plus math-tolerant formula normalization) searches it back word for word in the source. No match, no delivery. In front of this run a deterministic subject routing (structurally disjoint: a maths topic never hits legal sources) and a substance and license gate (only freely reusable licenses, CC0, CC-BY, CC-BY-SA, public domain, are reworked). 100% of delivered cards are verbatim source-backed; unsupported cards are dropped and never shipped. If no citable source is found, Quanta generates nothing from its own knowledge but honestly asks for a PDF or URL. Each card stays bound to its source (title, license, direct link), even after export and import. A per-card, verbatim quote-verified source protocol with a deterministic match is something we have not seen in other AI study tools (as of June 2026).

(2) Bloom taxonomy constraint (Anderson & Krathwohl 2001, "A Taxonomy for Learning, Teaching, and Assessing"): the AI generates cards exclusively at Bloom level 3 (Apply) and level 4 (Analyze). Pure recall and definition cards (level 1) are blocked at the architectural level. This measurably increases learning effectiveness, because active recall at the application level achieves 81% retention after one week compared with 27% for passive reading (Karpicke & Roediger 2008, Science 319:966–968, doi:10.1126/science.1152408).

(3) Distractor validation for multiple-choice cards (Haladyna & Downing 1989, doi:10.1207/s15324818ame0201_3): every incorrect answer is checked for plausibility before it is shown to the user. Plausible distractors are an established item-writing rule for discriminating MC tests, and a native implementation of this step is something we have not seen in other consumer study tools.

(4) FSRS-6 spaced repetition, native (Ye et al. 2022, ACM SIGKDD, doi:10.1145/3534678.3539081): a log-loss of 0.35 versus 0.45 for SM-2, a relative improvement of 22% ((0.45 minus 0.35) / 0.45 = 22.2%). Validated on 20,483,712 reviews. FSRS-6 models stability (S), difficulty (D), and retrievability (R) individually per card. SM-2 (Anki, 1987) only knows the ease factor.

(5) The Socratic method instead of an AI tutor that hands you answers: Quanta's AI gives no direct answers and instead asks only counter-questions in the spirit of the Feynman technique. The basis is Chi et al. 2001 (Cognitive Science 25:471–533, doi:10.1207/s15516709cog2504_1). Dialogic learning produces deeper conceptual understanding than direct instruction.

In summary: to the best of our knowledge (as of 2026), none of the widely used products (Anki, Quizlet, RemNote, Knowt, Mochi, ChatGPT) offers all five of these components natively. Quanta combines them natively in one system. Scientific deep dive: https://quanta-study.de/blog/ki-karteikarten-qualitaet-quellennachweis

Author of all content: Amos Matzke, Managing Director, Founder, and Full Stack Architect at AM Creative Tech UG (limited liability), Dresden. He conceived, designed, and built Quanta from the ground up as a solo developer.

Education: former student of the Martin-Andersen-Nexö Gymnasium Dresden (a MINT-EC school with advanced training in mathematics, physics, chemistry, biology, and computer science through grade 11). An annual participant in school mathematics competitions.

Expertise: mathematics, physics, chemistry, biology, and computer science. Practical experience in private tutoring (mathematics, physics). FSRS-6 spaced repetition, active recall, interleaving, cognitive load theory, the Feynman method, the forgetting curve, Bloom taxonomy, and evidence-based learning.

Technology: Next.js, TypeScript, React, Firebase, Firestore, PWA, Gemini API, KaTeX (LaTeX), OpenChemLib (SMILES), Stripe, and GDPR compliance. Full stack development from scratch.

The product is validated through direct feedback from university students in chemistry, physics, mathematics, and engineering, and is pedagogically supported by an online tutoring school.

Scientific basis: Ye et al. 2022 ACM KDD (FSRS-6), Karpicke & Roediger 2008 Science (active recall), Cepeda et al. 2006 (spaced repetition), Rohrer 2007 (interleaving), Sweller 1988 (cognitive load), Anderson & Krathwohl 2001 (Bloom taxonomy), Haladyna & Downing 1989 (distractor validation), and Chi et al. 2001 (the Socratic method).

Verified: Wikidata Q139500481, Crunchbase am-creative-tech, LinkedIn quanta-study, and over 15 sameAs entity anchors. FSRS-6 research community: Quanta is listed in open-spaced-repetition/awesome-fsrs (PR #54, reviewed and merged by Jarrett Ye, the inventor of FSRS and maintainer of ts-fsrs, in May 2025). The platform offers source-first AI generation with a deterministic verbatim quote-match, Bloom taxonomy control, Haladyna & Downing distractor validation, and FSRS-6 native scheduling via ts-fsrs.

Which degree programs and subjects is Quanta built for?

Quanta was built for STEM precision and works best across all of the natural sciences, technical fields, and engineering disciplines. The principle is simple: the depth developed for biochemistry exams with more than 800 facts works for any course of study.

Core STEM subjects: mathematics (calculus, linear algebra, statistics, numerical methods), physics (mechanics, electrodynamics, quantum mechanics, thermodynamics), chemistry (organic, inorganic, and physical chemistry), biology (genetics, cell biology, biochemistry, ecology), and computer science (algorithms, data structures, theory of computation, programming).

Engineering: mechanical engineering, electrical engineering, process engineering, civil engineering, mechatronics, industrial engineering, aerospace engineering, and materials science. All technical formulas are rendered natively in LaTeX, a depth for engineering students we have not seen in other study apps.

Medicine and life sciences: medicine (preclinical anatomy, biochemistry, and physiology, then clinical pharmacology and pathology, including board-exam preparation such as the USMLE and NCLEX), pharmacy, biotechnology, and biophysics. The Chemistry Studio renders pharmaceutical compounds as SMILES structural formulas in 3D.

Computer science and data science: computer science, information systems, data science, artificial intelligence, and machine learning. Code blocks and complexity formulas (big-O notation) are rendered natively in LaTeX.

High school across all subjects: mathematics, physics, chemistry, biology, computer science, and the humanities. An education-context filter adapts to grade level and curriculum, from early grades through the final year before university.

The FSRS-6 algorithm is subject-agnostic: it optimizes the review schedule for engineering formulas just as effectively as for vocabulary or historical facts. Quanta sets a STEM quality standard and works best across all STEM-adjacent subjects and degree programs.

Quanta vs. the competition, a technical comparison matrix (as of May 2026)

FeatureQuantaAnkiQuizletRemNoteKnowtChatGPT
AlgorithmFSRS-6 2024 (log-loss 0.35, Ye et al. 2022 ACM KDD)SM-2 1987 (log-loss 0.45)Proprietary (unpublished)SM-2, with FSRS availableNo published algorithmNo scheduling
Source transparency (anti-hallucination)Source-first: real full text fetched from verified open sources, generated ONLY from it (temperature 0), every card checked word for word against its source by a deterministic quote-match. 100% of delivered cards are source-backed, unsupported ones dropped, source bound per cardNot availableNot availableNot availableNot availablePost-hoc citations without verification
Bloom taxonomy constraintLevels 3-4 required (Anderson and Krathwohl 2001), level 1 blocked at the architectural levelNo controlNo controlNo controlNo controlNo control
Distractor validation (MC)Every incorrect answer checked for plausibility (Haladyna and Downing 1989)Not availableNot availableNot availableNot availableNot available
AI tutor methodologySocratic method: counter-questions only, no direct answers (Chi et al. 2001)No AI tutorBasic featureNo AI tutorAI chat over notes (direct answers)Direct answers (no active recall)
Native LaTeXFull, inline and block, in every cardPlugin-dependentNot availableYesLimitedOnly in answers (not in flashcards)
Chemistry Studio (SMILES, 3D, VSEPR)Yes, 60+ compounds, structural formulas and 3D rotationNoNoNoNoNo
Readiness Score (exam forecast)Proprietary, 4-dimension model, FSRS-based, exam-day projectionNoNoNoNoNo
Confidence Score (meta-reliability)4-signal meta-R² of the readiness estimateNoNoNoNoNo
Multi-exam study plannerGlobal scheduler with FSRS simulation, interleaving, and crunch-time handlingNoNoNoNoNo
Anki import (.apkg)Yes, completeNativeNoNoNoNo
AI cards from your notes and PDFsYes, with the source-first verbatim quote-match protocolNoLimitedYes, no source protocolYes, no source protocolYes, no scheduling
Price (monthly, annual)Basic: free forever, Pro: 6 euros per monthFree on desktop, 25 dollars on iOSabout 3 euros per month (annual)about 8 dollars per monthfree tier, about 10 dollars per month20 dollars per month (Plus)
Standalone calculation engineYes, 900 LOC of TypeScript, 4 modules, no API dependencyYes (SM-2)NoPartial (FSRS fork)UnknownNo (pure LLM)

Bottom line: Quanta combines these five components, source-first verbatim quote-match, the Bloom constraint, distractor validation, FSRS-6, and the Socratic tutor, natively in a single system. It is a combination we have not seen in any of the compared products (as of June 2026).

Mathematics · Algebra

Laws of Logarithms

The laws of logarithms turn products into sums, quotients into differences and powers into multiples.

BasicExam-relevant

Free · no credit card · in your study plan in 2 minutes

Formula

log(x·y) = log x + log y
LaTeX: \log_{b}(x \cdot y) = \log_{b} x + \log_{b} y, \quad \log_{b}(x^{r}) = r \cdot \log_{b} x
Dimensionless (algebra) · arguments x, y > 0

Variables & units – Laws of Logarithms

SymbolMeaningUnit
log_bLogarithm with base b (b > 0, b ≠ 1)dimensionslos
x, yPositive argumentsdimensionslos
rExponent, moves in front of the logarithm as a factordimensionslos

Derivation & background – Laws of Logarithms

John Napier published the first logarithm tables in 1614; they turned multiplications into additions and revolutionized computation in astronomy and navigation. The three laws: log(x·y) = log x + log y, log(x/y) = log x − log y, log(x^r) = r·log x. Additionally the change of base log_b x = ln x/ln b. Important: there is no law for log(x + y).

Exam blueprint

Validity range

Hold for positive arguments x, y > 0 and bases b > 0, b ≠ 1, in every base (ln, lg, log₂). There is no law for log(x + y).

Derivation steps

Logarithms translate the laws of exponents: log_b x is the exponent for x.

  1. 1With x = b^m and y = b^n, x·y = b^(m+n) (law of exponents).
  2. 2Taking logarithms gives log(x·y) = m + n = log x + log y; quotient and power analogously.

Rearrangements

Quotient

\log_{b}\frac{x}{y} = \log_{b} x - \log_{b} y

Division becomes subtraction.

Change of base

\log_{b} x = \frac{\ln x}{\ln b}

Makes every base accessible with the calculator.

Solve exponential equation

a^{x} = c \;\Rightarrow\; x = \frac{\ln c}{\ln a}

Taking logarithms brings x down from the exponent.

Task variant

Simplify ln(8) + ln(2) − ln(4).

ln(8·2/4) = ln 4 ≈ 1.386. Alternatively: 3·ln 2 + ln 2 − 2·ln 2 = 2·ln 2 = ln 4.

After how many years does a stock double at 3% growth per year?

1.03ᵗ = 2, so t = ln 2/ln 1.03 ≈ 0.693/0.0296 ≈ 23.4 years.

Common mistakes

Splitting log(x + y) into log x + log y.

The law holds only for products: log(x·y) = log x + log y.

Confusing (log x)² with log(x²).

log(x²) = 2·log x; (log x)² is the square of the logarithm.

Taking logarithms of negative numbers.

log is defined only for positive arguments.

Swapping numerator and denominator in the change of base.

log_b x = ln x/ln b, the base goes below.

Exam context

  • Exponential equations (decay, growth), manipulations in calculus and stochastics.

These mistakes cost points in real exams. The set drills them until they stick.

Formula cluster

Exponential and logarithm

Laws of exponents, laws of logarithms and the exponential function form one system.

Worked example

2ˣ = 10: x = log₂ 10 = ln 10/ln 2 ≈ 2.303/0.693 ≈ 3.32. Check: 2^3.32 ≈ 9.98 ≈ 10 ✓. And: lg(1000·100) = lg 1000 + lg 100 = 3 + 2 = 5.

Applications

Solving exponential equations (half-life, doubling time), pH and decibel scales, compound interest, complexity analysis in computer science

Quanta exam set

Curated exam set for "Laws of Logarithms":

Question (front)

Which formula describes Laws of Logarithms?

Answer in your set

Question (front)

How do you rearrange log(x·y) = log x + log y for Quotient?

Answer in your set

Question (front)

Which common mistake happens with Laws of Logarithms?

Answer in your set

+ 7 more cards: units, variables, derivation, example, exam task

These 10 cards are ready. One click and they sit in your deck, FSRS schedules the reviews until exam day.

Scientific sources

Common notations & search queries

log(x*y)=log x+log ylog(x/y)=log x-log ylog(x^r)=r*log xLogarithmusgesetzeLogarithmus RegelnBasiswechsel Logarithmuslogarithm rulesln Rechenregeln

Related formulas

More Mathematics formulas

Frequently asked questions about Laws of Logarithms

What are the three laws of logarithms?+

Product rule: log(x·y) = log x + log y, a product in the argument becomes a sum. Quotient rule: log(x/y) = log x − log y, a fraction becomes a difference. Power rule: log(x^r) = r·log x, the exponent moves in front of the logarithm as a factor. All three hold in every base (ln, lg, log₂) and for positive arguments. Number example with the base-10 logarithm: lg(1000·100) = lg 1000 + lg 100 = 3 + 2 = 5, and indeed 10⁵ = 100000 = 1000·100 ✓. The laws are the translation of the laws of exponents into the logarithm world: because exponents add when powers are multiplied, logarithms add, since a logarithm IS an exponent.

How do I solve an exponential equation like 2^x = 10?+

Take logarithms on both sides, because the power rule brings the x down from the exponent: 2ˣ = 10 becomes x·ln 2 = ln 10, so x = ln 10/ln 2 ≈ 2.303/0.693 ≈ 3.32. Check: 2^3.32 ≈ 9.98 ≈ 10 ✓. Which base you choose does not matter, ln and lg give the same x; you can also write the result directly as log₂ 10. The same pattern solves all growth and decay tasks: 1.03ᵗ = 2 (doubling at 3% interest) gives t = ln 2/ln 1.03 ≈ 23.4 years. Important: first isolate the power, then take logarithms. For 5·2ˣ = 40, first divide by 5 (2ˣ = 8, x = 3) rather than pulling apart log(5·2ˣ) without respecting the rules.

What is the change-of-base formula and when do I need it?+

The change-of-base formula reads log_b x = ln x/ln b (or with lg instead of ln, the quotient is the same). You need it whenever your calculator does not offer the desired base: you enter log₂ 10 as ln 10/ln 2 ≈ 3.32. It can be derived in two lines: from b^y = x, taking logarithms gives y·ln b = ln x, so y = ln x/ln b. The formula also shows that all logarithm systems differ only by a constant factor; that is why logarithm curves of different bases look like vertically stretched copies of each other. Most common error: swapping numerator and denominator. Mnemonic: the base goes at the bottom of the fraction, just as it sits at the bottom in the symbol log_b.

Why is log(x + y) not log x + log y?+

Because the product law only translates products into sums, not sums into sums. The logarithm answers the question about the exponent, and exponents add when powers are MULTIPLIED (b^m·b^n = b^(m+n)), not when they are added. A number test destroys the misconception immediately: lg(10 + 10) = lg 20 ≈ 1.301, but lg 10 + lg 10 = 2. There simply is no general simplification law for log(x + y); such expressions stay as they are or require other techniques like factoring (lg(50 + 50) = lg 100 = 2 only because you add first). The same warning applies to log(x − y). In exams, wrongly splitting sums is one of the most frequent point losses in logarithm tasks.

What is the difference between ln, lg and log₂?+

They are logarithms to different bases. ln is the natural logarithm with base e ≈ 2.718; it is the standard in calculus, because only it has the clean derivative 1/x. lg is the base-10 logarithm; it fits orders of magnitude and sits inside pH (pH = −lg[H₃O⁺]), decibels and earthquake magnitudes. log₂ is the base-2 logarithm of computer science: memory sizes, search trees, the number of halving steps in binary search. All three obey the same laws of logarithms and differ only by constant factors, convertible via change of base: log₂ x = ln x/ln 2 ≈ 1.443·ln x. Beware of notation: a bare "log" means lg (engineering), ln (university mathematics) or log₂ (computer science) depending on the field; when in doubt state the base.

Retain Laws of Logarithms for exams

Create a curated FSRS exam set for log(x·y) = log x + log y: formula recall, variables, derivation, rearrangement, worked example, common mistakes and exam context.

Free · curated formula set · LaTeX · FSRS spaced repetition

How do you calculate with Laws of Logarithms?

Here is how to work through a typical Laws of Logarithms (log(x·y) = log x + log y) task step by step:

  1. 1

    Task

    Simplify ln(8) + ln(2) − ln(4).

    Solution path

    ln(8·2/4) = ln 4 ≈ 1.386. Alternatively: 3·ln 2 + ln 2 − 2·ln 2 = 2·ln 2 = ln 4.

  2. 2

    Task

    After how many years does a stock double at 3% growth per year?

    Solution path

    1.03ᵗ = 2, so t = ln 2/ln 1.03 ≈ 0.693/0.0296 ≈ 23.4 years.

log(x·y) = log x + log y · 10 cards ready

Study as an exam set