Update app.py
Browse files
app.py
CHANGED
@@ -13,12 +13,52 @@ model = SentenceTransformer('all-MiniLM-L6-v2')
|
|
13 |
# Math domain definitions (trimmed for brevity)
|
14 |
DOMAINS = {
|
15 |
"Real Analysis": "Studies properties of real-valued functions, sequences, limits, continuity, differentiation, Riemann/ Lebesgue integration, and convergence in the real number system.",
|
|
|
16 |
"Functional Analysis": "Deals with infinite-dimensional vector spaces, Banach and Hilbert spaces, linear operators, duality, and spectral theory in the context of functional spaces.",
|
17 |
-
"
|
|
|
|
|
|
|
|
|
18 |
"Partial Differential Equations (PDEs)": "Deals with multivariable functions involving partial derivatives, including wave, heat, and Laplace equations.",
|
19 |
-
"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
20 |
"Algebraic Geometry": "Examines solutions to polynomial equations using geometric and algebraic techniques like varieties, schemes, and morphisms.",
|
21 |
-
"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
22 |
}
|
23 |
|
24 |
domain_names = list(DOMAINS.keys())
|
|
|
13 |
# Math domain definitions (trimmed for brevity)
|
14 |
DOMAINS = {
|
15 |
"Real Analysis": "Studies properties of real-valued functions, sequences, limits, continuity, differentiation, Riemann/ Lebesgue integration, and convergence in the real number system.",
|
16 |
+
"Complex Analysis": "Explores analytic functions of complex variables, contour integration, conformal mappings, and singularity theory.",
|
17 |
"Functional Analysis": "Deals with infinite-dimensional vector spaces, Banach and Hilbert spaces, linear operators, duality, and spectral theory in the context of functional spaces.",
|
18 |
+
"Measure Theory": "Studies sigma-algebras, measures, measurable functions, and integrals, forming the foundation for modern probability and real analysis.",
|
19 |
+
"Fourier and Harmonic Analysis": "Analyzes functions via decompositions into sines, cosines, or general orthogonal bases, often involving Fourier series, Fourier transforms, and convolution techniques.",
|
20 |
+
"Calculus of Variations": "Optimizes functionals over infinite-dimensional spaces, leading to Euler-Lagrange equations and applications in physics and control theory.",
|
21 |
+
"Metric Geometry": "Explores geometric properties of metric spaces and the behavior of functions and sequences under various notions of distance.",
|
22 |
+
"Ordinary Differential Equations (ODEs)": "Involves differential equations with functions of a single variable, their qualitative behavior, existence, uniqueness, and methods of solving them.",
|
23 |
"Partial Differential Equations (PDEs)": "Deals with multivariable functions involving partial derivatives, including wave, heat, and Laplace equations.",
|
24 |
+
"Dynamical Systems": "Studies evolution of systems over time using discrete or continuous-time equations, stability theory, phase portraits, and attractors.",
|
25 |
+
"Linear Algebra": "Focuses on vector spaces, linear transformations, eigenvalues, diagonalization, and matrices.",
|
26 |
+
"Abstract Algebra": "General study of algebraic structures such as groups, rings, fields, and modules.",
|
27 |
+
"Group Theory": "Investigates algebraic structures with a single binary operation satisfying group axioms, including symmetry groups and applications.",
|
28 |
+
"Ring and Module Theory": "Extends group theory to rings (two operations) and modules (generalized vector spaces).",
|
29 |
+
"Field Theory": "Studies field extensions, algebraic and transcendental elements, and classical constructions.",
|
30 |
+
"Galois Theory": "Connects field theory and group theory to solve polynomial equations and understand solvability.",
|
31 |
+
"Algebraic Number Theory": "Applies tools from abstract algebra to study integers, Diophantine equations, and number fields.",
|
32 |
+
"Representation Theory": "Studies abstract algebraic structures by representing their elements as linear transformations of vector spaces.",
|
33 |
"Algebraic Geometry": "Examines solutions to polynomial equations using geometric and algebraic techniques like varieties, schemes, and morphisms.",
|
34 |
+
"Differential Geometry": "Studies geometric structures on smooth manifolds, curvature, geodesics, and applications in general relativity.",
|
35 |
+
"Topology": "Analyzes qualitative spatial properties preserved under continuous deformations, including homeomorphism, compactness, and connectedness.",
|
36 |
+
"Geometric Topology": "Explores topological manifolds and their classification, knot theory, and low-dimensional topology.",
|
37 |
+
"Symplectic Geometry": "Studies geometry arising from Hamiltonian systems and phase space, central to classical mechanics.",
|
38 |
+
"Combinatorics": "Covers enumeration, existence, construction, and optimization of discrete structures.",
|
39 |
+
"Graph Theory": "Deals with the study of graphs, networks, trees, connectivity, and coloring problems.",
|
40 |
+
"Discrete Geometry": "Focuses on geometric objects and combinatorial properties in finite settings, such as polytopes and tilings.",
|
41 |
+
"Set Theory": "Studies sets, cardinality, ordinals, ZFC axioms, and independence results.",
|
42 |
+
"Mathematical Logic": "Includes propositional logic, predicate logic, proof theory, model theory, and recursion theory.",
|
43 |
+
"Category Theory": "Provides a high-level, structural framework to relate different mathematical systems through morphisms and objects.",
|
44 |
+
"Probability Theory": "Mathematical foundation for randomness, including random variables, distributions, expectation, and stochastic processes.",
|
45 |
+
"Mathematical Statistics": "Theory behind estimation, hypothesis testing, confidence intervals, and likelihood inference.",
|
46 |
+
"Stochastic Processes": "Studies processes that evolve with randomness over time, like Markov chains and Brownian motion.",
|
47 |
+
"Information Theory": "Analyzes data transmission, entropy, coding theory, and information content in probabilistic settings.",
|
48 |
+
"Numerical Analysis": "Designs and analyzes algorithms to approximate solutions of mathematical problems including root-finding, integration, and differential equations.",
|
49 |
+
"Optimization": "Studies finding best outcomes under constraints, including convex optimization, linear programming, and integer programming.",
|
50 |
+
"Operations Research": "Applies optimization, simulation, and probabilistic modeling to decision-making problems in logistics, finance, and industry.",
|
51 |
+
"Control Theory": "Mathematically models and regulates dynamic systems through feedback and optimal control strategies.",
|
52 |
+
"Computational Mathematics": "Applies algorithmic and numerical techniques to solve mathematical problems on computers.",
|
53 |
+
"Game Theory": "Analyzes strategic interaction among rational agents using payoff matrices and equilibrium concepts.",
|
54 |
+
"Machine Learning Theory": "Explores the mathematical foundation of algorithms that learn from data, covering generalization, VC dimension, and convergence.",
|
55 |
+
"Spectral Theory": "Studies the spectrum (eigenvalues) of linear operators, primarily in Hilbert/Banach spaces, relevant to quantum mechanics and PDEs.",
|
56 |
+
"Operator Theory": "Focuses on properties of linear operators on function spaces and their classification.",
|
57 |
+
"Mathematical Physics": "Uses advanced mathematical tools to solve and model problems in physics, often involving differential geometry and functional analysis.",
|
58 |
+
"Financial Mathematics": "Applies stochastic calculus and optimization to problems in pricing, risk, and investment.",
|
59 |
+
"Mathematics Education": "Focuses on teaching methods, learning theories, and curriculum design in mathematics.",
|
60 |
+
"History of Mathematics": "Studies the historical development of mathematical concepts, theorems, and personalities.",
|
61 |
+
"Others / Multidisciplinary": "Covers problems that span multiple mathematical areas or do not fall neatly into a traditional domain."
|
62 |
}
|
63 |
|
64 |
domain_names = list(DOMAINS.keys())
|