Search Results - Álxebra~
Suggested Topics within your search.
Suggested Topics within your search.
- Mathematics 100
- Algebra 79
- Research & information: general 31
- Mathematics & science 29
- History of engineering & technology 26
- Applied mathematics 24
- Artificial intelligence 24
- Computer science 23
- Physics 22
- Mathematical physics 17
- Biography & True Stories 16
- Nuclear physics 16
- Calculus & mathematical analysis 13
- Software Engineering 13
- Technology: general issues 13
- Calculus 12
- Number theory 12
- Algorithms & data structures 10
- History of mathematics 10
- Numerical analysis 10
- Geometry 9
- Artificial Intelligence 8
- Combinatorics & graph theory 8
- Computer networks 8
- Data processing 8
- Mathematical theory of computation 8
- Discrete mathematics 7
- Education 7
- Mathematical foundations 7
- Probability & statistics 7
-
1121
Geografia per l'inclusione Partecipazione attiva contro le disuguaglianze
Published 2017OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1122
Mathematics of Quantization and Quantum Fields
Published 2013OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1123
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published 2023Table of Contents: “…Range-Restricted and Horn Interpolation through Clausal Tableaux -- Non-Classical Logics in Satisfiability Modulo Theories -- DefTab: A Tableaux System for Sceptical Consequence in Default Modal Logics -- Non-distributive description logic -- A new calculus for intuitionistic Strong L\"ob logic: strong termination and cut-elimination, formalized -- Some Analytic Systems of Rules -- A cut-free, sound and complete Russellian theory of definite descriptions -- Towards Proof-Theoretic Formulation of the General Theory of Term-Forming Operators -- Lemmas: Generation, Selection, Application -- Machine-Learned Premise Selection for Lean -- gym-saturation: Gymnasium environments for saturation provers (System description) -- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed points -- Ill-founded Proof Systems For Intuitionistic Linear-time Temporal Logic -- Proof Systems for the Modal $\mu$-Calculus Obtained by Determinizing Automata -- Extensions of K5: Proof Theory and Uniform Lyndon Interpolation -- On intuitionistic diamonds (and lack thereof) -- NP Complexity for Combinations of Non-Normal Modal Logics -- Resolution-based Calculi for Non-Normal Modal Logics -- Canonicity of Proofs in Constructive Modal Logic -- Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic -- The MaxSAT problem in the real-valued MV-algebra -- The Logic of Separation Logic: Models and Proofs -- Testing the Satisfiability of Formulas in Separation Logic with Permissions -- Nested Sequents for Quantified Modal Logics -- A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.…”
Link to Metadata
Electronic eBook -
1124
Tensor Network Contractions Methods and Applications to Quantum Many-Body Systems
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1125
Numerical Analysis or Numerical Method in Symmetry
Published 2020DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1126
-
1127
-
1128
-
1129
-
1130
-
1131
-
1132
-
1133
-
1134
-
1135
-
1136
-
1137
-
1138
-
1139
-
1140