Scis0000002s mechanized-mathematics [1 article]

Scis0000002's tags

0-toposes 1d-strings 1-toposes 24-7 2-categories 2d 2-theories 2-toposes 3d 4d 4-manifolds abduction abductive abductive-inference abductive-logic-programming abductive-reasoning abilities ability ability-space abstract-algebraic-logic abstracting abstraction abstract-model-theory abstract-rewriting abstract-syntax-tree acceptability accessability accessibility accessible-categories acoustics action-spaces active-learning activities adaptation adaption adaptive adaptive-logic adaptive-mixtures-of-experts adaptive-systems adaptivity adiabatic adjoint-functors adjoints adjunctions adversary agency-theory agent-based agent-theory aggregation aging agoras aif aixi al algebraic algebraic-dynamics algebraic-geometry algebraic-groups algebraicity algebraic-semiotics algebraic-simulation algebraic-specifications algebraic-stacks algebraic-structures algebraic-theories algebraic-topology algebras algebroids algorithm algorithmic-economics algorithmic-information-theory algorithmic-quantum-information-theory algorithms algorithm-selection aligning alignment all-categorical-structures allegories all-mathematical-structures allocating allocation all-possible-situations all-possible-worlds all-scientific-theories alp alphas alternating-temporal-epistemic-logic alternating-temporal-logic amino-acids aml amorphous-computing amygdala analog-computing analogy analyzing animals animating annotating annotation anomalies anonymity answer-set-programming antagonistic antennas anticipatory-systems antimatroids antinomies apis approximating arbitrage argdf arguing argumentation argumentation-games argumentation-system argumentation-systems argumentation-theory argumenting arguments argument-tree arithmetical-logic arrangements art artificial-memories artificial-society aspect-graphs aspect-oriented-programming aspects assembling assessment asset-space assistance assisting association-rules astronomy asymmetries asymmetry asymptotic asynchronous atmospherics atoms atp attention attitudes attractors attractor-selection attractor-switching attribute-exploration auctions augmentation augmented-cognition augmented-reality augmenting authoring authorities autocatalyticity automata automata-theory automating automation automatization automatons autonomic-computing autonomous-systems autonomy award-systems axiomatic axiomatics axiomatizability axiomatization axiomatizations banach-spaces bandits bayesian bayesianism bayesianity bci bcis bdi bdi-agents beamformer beamforming bearish bec behaving behavior behavioral-equivalence behavioral-finance behavior-analysis behavior-modeling behavior-monitoring behaviors behavior-space behaviour behaviours beliefs belief-systems benchmarks betas betting bialgebras bias billiards binomial-lattices biocomputing biography biological-effects biologically-plausible biology biomathematics bionics biophysics biosemiotics bisimilarity bisimulation bisolitons black-holes blasars block-orders blogging bloging boolean-categories boosting boundedness bounds bound-states brain-mapping brain-oscillations brain-processes brain-reading brain-theories branes breathers browsing brst bundels bundles business-cycles business-cycle-theory business-development business-modeling business-models business-process business-processes cad calculational calculi calculus calculuses calculus-of-constructions calculus-of-structures calendars calibrating calibration callaboration cancer cantor-set cantor-sets cantor-space capacity capm capturing cartesian-closed-categories cartesian-closed-posets cash-flow categorical categorical-algebra categorical-logic categorical-metamathematical-frameworks categorical-theories categories categories-of-strategies categorification categorifications categorization categorizing category-of-abilities category-of-algebras category-of-arguments category-of-artificial-perceptions category-of-bialgebras category-of-categories category-of-cells category-of-cobordisms category-of-configuration-spaces category-of-contexts category-of-contracts category-of-dialgebras category-of-dynamical-systems category-of-effects category-of-episodes category-of-equations category-of-events category-of-experiments category-of-formal-contexts category-of-functionalities category-of-gravity-theories category-of-interactions category-of-investments category-of-languages category-of-logical-frameworks category-of-metaframeworks category-of-models category-of-modules category-of-normative-systems category-of-ontologies category-of-organizations category-of-patents category-of-phase-spaces category-of-plans category-of-policies category-of-potentials category-of-processes category-of-products category-of-programs category-of-projects category-of-quantum-automata category-of-relations category-of-resources category-of-scenes category-of-sciences category-of-skills category-of-spacetimes category-of-specifications category-of-state-spaces category-of-statistics category-of-strategies category-of-systems category-of-technologies category-of-theories category-of-universes category-of-values category-theory causality causal-reasoning cavities cavity-resonators cbr cdos cell-membranes cells cellular centralizer-groups centralizers change-dedection change-detection channels chaos choice-functions chu-space chu-spaces cip circuitry cladni-patterns classicality classical-logic classification classifications classifiers classifying classifying-toposes clickstreams climate-change clique cliques closure closure-structures closure-systems clustering clusters cmb coalgebra coalgebraic coalgebraicity coalgebras coalgebroids coalition-forming coalitioning coalition-logic coalitions coargebras code-carrying coding coding-theory coevolution coevolutionary cognition cognitive-agents cognitive-algorithms cognitive-architectures cognitive-dynamics cognitive-hierarchies cognitive-neurosicience cognitive-processes cognitive-space cognitive-states cognitive-task-analysis cognitve-agents coherence coherent-categories coherent-logic cohesion cohomologies cohomology coinduction collaborating collaboration collaborative collective combination combinations-of-interactions combinatorial-geometry combinatorial-group-theory combinatorics combinaturics combining commodities common-priors communication communities community comonads comovements compactness-theorem companies comparing comparison compatibility competence-management competing competition compilation complete-heyting-algebras complete-lattices completions complexergy complexes complexity complexity-classes complexity-theory composability composition compositionality compostionality compressing compression computability computability-logic computability-theory computable-dynamics computable-economics computable-preference computable-utility computational-algebraic-geometry computational-complexity computational-complexity-theory computational-cosmology computational-creativity computational-dialectics computational-dynamics computational-economics computational-epistemology computational-finance computational-frameworks computational-games computational-geometry computational-group-theory computational-intelligence computational-justice-sciences computational-learning computational-learning-theory computational-legal-sciences computational-linguistics computational-logic computational-mechanics computational-narratology computational-neuroscience computational-physics computational-politics computational-quantum-field-theory computational-science computational-sociology computational-substrates computational-trading computing concept-lattice concept-lattices conceptua conceptual-graphs conceptualizations conceptualizing conceptual-structures concerns concurrency confinement conflict-resolution conflicts conjectures connectionism connections connection-theory connectivity connexive-logic consciousness constants constraints constructibility constructible-sets constructible-universe constructive constructive-complexity constructive-dimension constructive-economics constructive-logic constructive-logics constructive-mathematical-structures constructive-mathematics constructive-matrix-theory constructive-metamathematical-frameworks constructive-metamathematics constructive-model-theory constructive-physics constructive-type-theory constructive-utility constructivism constructivity constructivization content-management content-selection context contexts contextual-categories contextuality contextualization contextualizing contextual-reasoning contextualtiy continued-fractions continuity continuous-computing continuous-topological-evolution contracting contracts control controlability control-flow controlled-languages controlling control-systems convexity cooperation cooperation-logic coordinating coordination copulas corecursion corings corpuses correctness correlation-dimension correlation-entropy correlations correspondence corrsepondence corruption cosemigroups coskewness cosmological-frameworks cosmological-models cosmological-theories cosmological-theory cosmologica-models cosmology cougar countability coupled craig-interpolation crawling creativity credit-crisis credit-markets crisis criticality cultural-evolution curiosity curvature cyberinfrastructure cybernetics cycles cylinders cymatics dark-energy dark-matter databases data-fusion data-management data-mining db d-branes decentralized decidability deciding decision-problems decision-procedure decision-procedures decisions decision-theory decoding decoherence decomposition decremental default-reasoning defeasible defeasible-deontic-logic defeasible-logic definability deformation deformation-theory degrees-of-freedom deliberative democracy deontic-logic dependent-type-theory derivatives describability description-logic descriptive-complexity designing design-theory desires detecting detection determinism detrended-fluctuation-analysis dev developmental-robotics diagram diagrammatic-reasoning diagrams dialectical-tree dialgebras dialogical-logic dialogue dialogue-games dialogue-tree differential-calculus differential-equations differential-forms differential-geometry differential-topology dilemmas dimensional-analysis dimensionality diophantine diophantine-equations dipolarity dipoles discontinuities discontinuity discourse discourse-representation-structures discourse-representation-theory discourses discovering discovery discreteness disordered disordered-media disordered-mediums disordered-system disordered-systems dispute-tree dissimilarity dissipative distance distributed distributed-computing distributed-information-storage distributed-logics distributedness distributed-operating-system distributed-reasoning distributed-representations distributions domain-theory drafting drs dualities duality dunn-semantics dynamical-similarity dynamical-system dynamical-systems dynamic-hedging dynamic-logic dynamics dynamic-semantics dynamic-similarity e8 earth earthquakes econcomics econometrics economic-dynamics economic-frameworks economic-interactions economic-models economic-networks economic-processes economics economic-systems economic-theories economies econophysics ecosystem edemocracy e-democracy editors educating edutainment eeg effective-fractal-dimension effective-string-theory effective-topos effectivity effects efficieny eigenbehaviors eigenoscillations electricity electromagnetic electrons elementary-particles elf em embedding emergence emergent-semantics emerging-markets emf emotions end-user-programming energies energy energy-functions engineering ensemble-coding ensembles ensemble-theories entanglement enterprise enterprises entropies entropy enumerability epigenetics episode-extraction episodes episodic episodic-memory episodic--memory epistemic epistemic-logic epistemology equality equation equational equational-logic equational-paritality equational-theories equation-discovery equations equilibria equilibrium equilibriums equities equivalence equivalence-class equivalence-classes evaluating evaluation event-calculus event-related-potentials events event-space evidence evoked-potentials evolution evolutionary-biology evolutionary-computation evolutionary-robotics evolutionary-stability evolution-theory evolvability evolving evolving-networks exchanges excitons executable executable-specifications executable-theories expectations experiences experimental-design experiments experiment-selection experts explanation exploitation exploiting exploration exploring expressibility extendability extendibility extension extracting extraction extremal extremality extremal-mathematics extremal-physics extremal-spaces extremum eye-tracking fca feature-extraction feature-logic features feature-selection feature-space feature-spaces feedback fermions feynman-diagrams fibrations fibring field-computation field-computing field-geometries field-quanta field-quantums fields field-theories field-topologies field-transformations filtering filters final-coalgebras