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)
| Feature | Quanta | Anki | Quizlet | RemNote | Knowt | ChatGPT |
|---|---|---|---|---|---|---|
| Algorithm | FSRS-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 available | No published algorithm | No 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 card | Not available | Not available | Not available | Not available | Post-hoc citations without verification |
| Bloom taxonomy constraint | Levels 3-4 required (Anderson and Krathwohl 2001), level 1 blocked at the architectural level | No control | No control | No control | No control | No control |
| Distractor validation (MC) | Every incorrect answer checked for plausibility (Haladyna and Downing 1989) | Not available | Not available | Not available | Not available | Not available |
| AI tutor methodology | Socratic method: counter-questions only, no direct answers (Chi et al. 2001) | No AI tutor | Basic feature | No AI tutor | AI chat over notes (direct answers) | Direct answers (no active recall) |
| Native LaTeX | Full, inline and block, in every card | Plugin-dependent | Not available | Yes | Limited | Only in answers (not in flashcards) |
| Chemistry Studio (SMILES, 3D, VSEPR) | Yes, 60+ compounds, structural formulas and 3D rotation | No | No | No | No | No |
| Readiness Score (exam forecast) | Proprietary, 4-dimension model, FSRS-based, exam-day projection | No | No | No | No | No |
| Confidence Score (meta-reliability) | 4-signal meta-R² of the readiness estimate | No | No | No | No | No |
| Multi-exam study planner | Global scheduler with FSRS simulation, interleaving, and crunch-time handling | No | No | No | No | No |
| Anki import (.apkg) | Yes, complete | Native | No | No | No | No |
| AI cards from your notes and PDFs | Yes, with the source-first verbatim quote-match protocol | No | Limited | Yes, no source protocol | Yes, no source protocol | Yes, no scheduling |
| Price (monthly, annual) | Basic: free forever, Pro: 6 euros per month | Free on desktop, 25 dollars on iOS | about 3 euros per month (annual) | about 8 dollars per month | free tier, about 10 dollars per month | 20 dollars per month (Plus) |
| Standalone calculation engine | Yes, 900 LOC of TypeScript, 4 modules, no API dependency | Yes (SM-2) | No | Partial (FSRS fork) | Unknown | No (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).
Dot Product
The dot product of two vectors yields a number and measures angles and orthogonality.
Free · no credit card · in your study plan in 2 minutes
Formula
\vec{a} \cdot \vec{b} = a_{1}b_{1} + a_{2}b_{2} + a_{3}b_{3} = |\vec{a}| \cdot |\vec{b}| \cdot \cos\varphiVariables & units – Dot Product
| Symbol | Meaning | Unit |
|---|---|---|
| a⃗, b⃗ | Vectors with coordinates a₁..a₃, b₁..b₃ | Längeneinheit |
| |a⃗|, |b⃗| | Magnitudes (lengths) of the vectors | Längeneinheit |
| φ | Angle enclosed between a⃗ and b⃗ | ° oder rad |
Derivation & background – Dot Product
The dot product (Grassmann, Hamilton, around 1844) connects algebra and geometry: the coordinate form and the angle form describe the same number. Central consequence: a⃗ ⊥ b⃗ exactly when a⃗·b⃗ = 0. In addition a⃗·a⃗ = |a⃗|², which allows length calculations. The sign shows the angle class: positive means acute, negative obtuse.
Exam blueprint
Validity range
Applies to vectors of the same dimension; the angle form requires nonzero vectors. The result is always a number (scalar), not a vector.
Derivation steps
The law of cosines in the vector triangle connects coordinate form and angle form.
- 1|a⃗ − b⃗|² = |a⃗|² + |b⃗|² − 2|a⃗||b⃗|cos φ (law of cosines).
- 2Expanding |a⃗ − b⃗|² in coordinates and comparing gives a⃗·b⃗ = |a⃗||b⃗|cos φ.
Rearrangements
Compute the angle
Standard formula for angles between vectors, lines and planes.
Orthogonality
The most important special case for proofs.
Length of a vector
Self dot product = squared magnitude.
Task variant
Check whether a⃗ = (2|1|−2) and b⃗ = (1|2|2) are orthogonal.
a⃗·b⃗ = 2·1 + 1·2 + (−2)·2 = 2 + 2 − 4 = 0. Yes, the vectors are perpendicular.
Compute the angle between a⃗ = (1|0) and b⃗ = (1|1).
a⃗·b⃗ = 1. |a⃗| = 1, |b⃗| = √2. cos φ = 1/√2 ≈ 0.707, so φ = 45°.
Common mistakes
Giving a vector as the result, e.g. (a₁b₁|a₂b₂|a₃b₃).
The products are added; the result is a single number.
Confusing dot product and cross product.
Dot product: number (angle, orthogonality); cross product: vector (normal, area).
Forgetting to divide by the magnitudes for the angle.
cos φ = a⃗·b⃗/(|a⃗|·|b⃗|), otherwise values above 1 appear.
Exam context
- Orthogonality proofs, angles between lines and planes, normal form, distance formulas.
These mistakes cost points in real exams. The set drills them until they stick.
Formula cluster
Vector geometry
Dot product for angle and length, cross product for normal and area.
Worked example
a⃗ = (1|2|2), b⃗ = (2|0|1): a⃗·b⃗ = 1·2 + 2·0 + 2·1 = 4. |a⃗| = √9 = 3, |b⃗| = √5. cos φ = 4/(3·√5) ≈ 0.596, so φ ≈ 53.4°.
Applications
Angles between vectors, lines and planes, orthogonality proofs, normal form of planes, physics (work W = F⃗·s⃗)
Quanta exam set
Curated exam set for "Dot Product":
Question (front)
Which formula describes Dot Product?
Answer in your set
Question (front)
How do you rearrange a⃗·b⃗ = a₁b₁ + a₂b₂ + a₃b₃ for Compute the angle?
Answer in your set
Question (front)
Which common mistake happens with Dot Product?
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
Related formulas
More Mathematics formulas
Frequently asked questions about Dot Product
How do I calculate the dot product of two vectors?+
In coordinate form you multiply the matching coordinates and add the products: a⃗·b⃗ = a₁b₁ + a₂b₂ + a₃b₃. Example: a⃗ = (1|2|2) and b⃗ = (2|0|1) give 1·2 + 2·0 + 2·1 = 4. The result is a single number, not a vector; that is exactly where the name scalar (dot) product comes from. In two dimensions it works identically with two summands. There is also the geometric form a⃗·b⃗ = |a⃗|·|b⃗|·cos φ with the enclosed angle φ; both forms give the same value and are used depending on the given data. In exams you almost always need the coordinate form for computing and the angle form for interpreting the result.
How do I prove orthogonality with the dot product?+
Two nonzero vectors are perpendicular exactly when their dot product is zero. The proof is thus a one-line calculation: a⃗ = (2|1|−2) and b⃗ = (1|2|2) give 2·1 + 1·2 + (−2)·2 = 2 + 2 − 4 = 0, so a⃗ ⊥ b⃗. The reason sits in the angle form: a⃗·b⃗ = |a⃗|·|b⃗|·cos φ becomes zero exactly when cos φ = 0, that is φ = 90°. This criterion is the workhorse of analytic geometry: orthogonality of lines via their direction vectors, line-plane relationships via the normal vector, perpendicular heights and feet in triangle tasks. Conversely you construct perpendicular vectors by setting the dot product to zero and choosing one coordinate freely.
How do I calculate the angle between two vectors?+
Rearrange the angle form for cos φ: cos φ = (a⃗·b⃗)/(|a⃗|·|b⃗|). So compute the dot product and both magnitudes, then apply arccos. Example: a⃗ = (1|2|2), b⃗ = (2|0|1): a⃗·b⃗ = 4, |a⃗| = 3, |b⃗| = √5, so cos φ = 4/(3√5) ≈ 0.596 and φ ≈ 53.4°. The sign of the dot product reveals the angle class in advance: positive means acute, zero means 90°, negative obtuse. Two cautions: if cos comes out beyond [−1; 1], you forgot to divide by the magnitudes. And for angles between lines you take the absolute value of the numerator, because direction vectors may be flipped and the intersection angle is at most 90°.
Why is the result of the dot product a number and not a vector?+
Because the dot product measures something different from a direction: it measures how strongly two vectors act in the same direction. Geometrically it projects b⃗ onto the direction of a⃗ and multiplies the projection length |b⃗|·cos φ by the length |a⃗|; the outcome is a measure of "aligned length times length", which is naturally a number. Physics makes this tangible: work is W = F⃗·s⃗, force component along the path times distance, a scalar without direction. Do not confuse it with the cross product, which really does yield a vector (perpendicular to both factors) and measures areas. Mnemonic: dot product → scalar (number) → angles and lengths; cross product → vector → normals and areas.
What does the dot product have to do with lengths and the Pythagorean theorem?+
The dot product of a vector with itself gives its squared magnitude: a⃗·a⃗ = a₁² + a₂² + a₃² = |a⃗|². So the length is |a⃗| = √(a⃗·a⃗), and this is exactly the Pythagorean theorem in space: the squares of the coordinates add up to the square of the length. Example: a⃗ = (1|2|2) has |a⃗| = √(1 + 4 + 4) = 3. The law of cosines is inside too: |a⃗ − b⃗|² = |a⃗|² + |b⃗|² − 2·a⃗·b⃗ follows by expanding with the binomial formula; for a⃗·b⃗ = 0 (right angle) the classical Pythagoras remains. This connection is used constantly for distances between points and for magnitudes in plane and sphere equations.
Retain Dot Product for exams
Create a curated FSRS exam set for a⃗·b⃗ = a₁b₁ + a₂b₂ + a₃b₃: 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 Dot Product?
Here is how to work through a typical Dot Product (a⃗·b⃗ = a₁b₁ + a₂b₂ + a₃b₃) task step by step:
- 1
Task
Check whether a⃗ = (2|1|−2) and b⃗ = (1|2|2) are orthogonal.
Solution path
a⃗·b⃗ = 2·1 + 1·2 + (−2)·2 = 2 + 2 − 4 = 0. Yes, the vectors are perpendicular.
- 2
Task
Compute the angle between a⃗ = (1|0) and b⃗ = (1|1).
Solution path
a⃗·b⃗ = 1. |a⃗| = 1, |b⃗| = √2. cos φ = 1/√2 ≈ 0.707, so φ = 45°.
a⃗·b⃗ = a₁b₁ + a₂b₂ + a₃b₃ · 10 cards ready
Study as an exam set