{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.mathematical-analysis","code":"thing-q7754","url":"https://ver.cy/models/thing/q7754/","name":"mathematical analysis","alternateNames":["p-adic analysis","fixed point theory","calculus","numerical calculus","microlocal analysis","Calculus on Euclidean space","fractional calculus","differential calculus","integral calculus","infinitesimal calculus","Malliavin calculus","multiverse analysis"],"kind":"thing","status":"published","version":"0.2.0-wave.2","language":"en","classifiers":{"family":"Thing Registry","category":"Information and virtual systems","entryKind":"thing","plane":"INF","domain":["INF.KNW"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"The branch of mathematics dealing with limits, continuity, differentiation, integration, infinite series and related theory, including real and complex analysis, functional analysis, measure theory, numerical and p-adic analysis and fixed point theory; analysis provides the rigorous foundation of calculus and underpins physics, engineering and probability.","purpose":"Let an agent explain concepts and results of mathematical analysis, support learning and problem solving, and relate analysis to calculus and applications.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Rigorous foundations of calculus","Limits and continuity","Many branches","Proof-based"],"structure":{"bundles":[{"id":"concepts","name":"Concepts","description":"Core ideas.","layers":[{"id":"define","name":"Define","description":"Definitions.","findings":[{"id":"define-finding","name":"Define","description":"Definitions.","questions":[{"text":"What is the precise definition of this concept, such as limit, continuity or convergence?","kind":"definition"},{"text":"How does it differ from the intuitive calculus notion?","kind":"definition"}]}]},{"id":"theorems","name":"Theorems","description":"Key results.","findings":[{"id":"theorems-finding","name":"Theorems","description":"Theorems.","questions":[{"text":"What does this theorem state, and what are its hypotheses?","kind":"definition"},{"text":"What are the standard counterexamples?","kind":"provenance"}]}]}]},{"id":"solve","name":"Solve","description":"Problems and proofs.","layers":[{"id":"prove","name":"Prove","description":"Writing proofs.","findings":[{"id":"prove-finding","name":"Prove","description":"Proofs.","questions":[{"text":"How can this statement be proved, and which techniques apply?","kind":"action"},{"text":"Is the argument rigorous at each step?","kind":"boundary"}]}]},{"id":"compute","name":"Compute","description":"Computation.","findings":[{"id":"compute-finding","name":"Compute","description":"Computation.","questions":[{"text":"How is this limit, series or integral evaluated?","kind":"action"},{"text":"Which convergence tests apply?","kind":"definition"}]}]}]},{"id":"branches","name":"Branches","description":"Areas of analysis.","layers":[{"id":"which","name":"Which","description":"Which branch.","findings":[{"id":"which-finding","name":"Which","description":"Branch.","questions":[{"text":"Which branch of analysis does this topic belong to?","kind":"definition"},{"text":"How do the branches connect?","kind":"definition"}]}]},{"id":"applied","name":"Applied","description":"Applications.","findings":[{"id":"applied-finding","name":"Applied","description":"Applications.","questions":[{"text":"How is analysis applied in physics, engineering, probability or numerical computation?","kind":"provenance"},{"text":"Which results are used?","kind":"provenance"}]}]}]},{"id":"learn","name":"Learn","description":"Studying analysis.","layers":[{"id":"path","name":"Path","description":"Learning path.","findings":[{"id":"path-finding","name":"Path","description":"Learning path.","questions":[{"text":"Which textbooks and sequence suit this learner?","kind":"action"},{"text":"Which prerequisites are needed?","kind":"provenance"}]}]},{"id":"history","name":"History","description":"History.","findings":[{"id":"history-finding","name":"History","description":"History.","questions":[{"text":"How did analysis develop from calculus to rigorous foundations, according to historians?","kind":"provenance"},{"text":"Which mathematicians were key?","kind":"provenance"}]}]}]}]},"agentConduct":{"may":["Explain concepts and theorems of analysis and check proofs and calculations.","State assumptions such as convergence or continuity that a result depends on."],"mustNot":["Present a proof with gaps as complete.","Apply a theorem outside the conditions under which it holds in work others rely on.","Present others' results as the agent's own or without credit."],"requiresHuman":["Using numerical analysis results to sign off safety-critical engineering."]},"ethics":{"considerations":["Mathematical errors in models can propagate into engineering and finance.","Students rely on correct and honest explanations."],"affectedParties":["Students","Researchers","Users of models built on analysis"]},"owners":{"steward":"Nobody owns the field; it is held in common by mathematics.","roles":[],"masterSystems":[]},"relations":[{"target":"Q837863","type":"parent","note":"registry parent class"},{"target":"pure mathematics","type":"related","note":"category"},{"target":"integral","type":"related","note":"concept"},{"target":"limit","type":"related","note":"concept"},{"target":"mathematical model","type":"related","note":"applications"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.mathematical-analysis","Wikidata: Q7754 (https://www.wikidata.org/wiki/Q7754)"]},"properties":{"applicability":"not-applicable","items":[]},"recognition":{"applicability":"optional","items":["Limits, epsilon-delta arguments and proofs","Real, complex and functional branches","Calculus is the computational face of analysis","Not physical; definitions, proofs and formulas."]},"capabilities":{"applicability":"required","items":["explain definitions and theorems","solve and check analysis problems","relate analysis to calculus and applications","guide study of the subject"]},"hazards":{"applicability":"required","items":["Confusing intuition with proof","Misapplying theorems outside their hypotheses","Notation confusion"]},"interfaces":{"applicability":"required","items":["ISO 80000-2 notation","No regulation"]},"context":{"applicability":"required","items":["Rigorous study of continuous change and approximation.","real analysis","complex analysis","functional analysis and operator theory","measure theory and integration","numerical, harmonic and p-adic analysis"]}},"sources":[{"title":"Wikidata item Q7754: mathematical analysis","url":"https://www.wikidata.org/wiki/Q7754","note":"identity and sense of the item"},{"title":"Wikipedia: Mathematical analysis","url":"https://en.wikipedia.org/wiki/Mathematical_analysis","note":"general description of the item"}],"openQuestions":["Should each branch be a separate entry?","How should textbooks be linked?","How should problem sets be linked?"],"resources":{"spec":"/models/things/publications/thing-q7754/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q7754/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-11T19:59:16Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-06T19:52:02+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane INF: no invented physical properties."},"score":1.0}}