Found 77 Documents (Results 1–77)
Epistemic systems and Flagg and Friedman’s translation. arXiv:2307.02688
Preprint, arXiv:2307.02688 [math.LO] (2023).
A database of Aristotelian diagrams: empirical foundations for logical geometry. (English) Zbl 1524.68431
Giardino, Valeria (ed.) et al., Diagrammatic representation and inference. 13th international conference, Diagrams 2022, Rome, Italy, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13462, 123-131 (2022).
Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 1512.57001
Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022).
Reviewer: Athanase Papadopoulos (Strasbourg)
Binomiality testing and computing sparse polynomials via witness sets. (English) Zbl 1498.14152
Reviewer: Juan Rafael Sendra (Alcalá de Henares)
A solution to the path planning problem via algebraic geometry and reinforcement learning. (English) Zbl 1481.93083
On the relationship between differential algebra and tropical differential algebraic geometry. (English) Zbl 1512.14036
Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 62-77 (2021).
Reviewer: Cristhian Garay (Guanajuato)
Souriau-Casimir Lie groups thermodynamics and machine learning. (English) Zbl 1534.80001
Barbaresco, Frédéric (ed.) et al., Geometric structures of statistical physics, information geometry, and learning. Proceedings of the workshop on joint structures and common foundation of statistical physics, information geometry and inference for learning, SPIGL’20, Les Houches, France, July 27–31, 2020. Cham: Springer. Springer Proc. Math. Stat. 361, 53-83 (2021).
Complexity of deciding whether a tropical linear prevariety is a tropical variety. (English) Zbl 1462.14059
Uncertainty measures: The big picture. arXiv:2104.06839
Preprint, arXiv:2104.06839 [math.ST] (2021).
Klein-Beltrami model. IV. (English) Zbl 1462.68223
Klein-Beltrami model. III. (English) Zbl 1462.68222
The fundamental theorem of tropical partial differential algebraic geometry. (English) Zbl 1477.14096
Mantzaflaris, Angelos (ed.), Proceedings of the 45th international symposium on symbolic and algebraic computation, ISSAC ’20, Kalamata, Greece, July 20–23, 2020. New York, NY: Association for Computing Machinery (ACM). 178-185 (2020).
Gröbner bases over Tate algebras. (English) Zbl 1467.13045
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 74-81 (2019).
Tropical geometry, mathematical morphology and weighted lattices. (English) Zbl 1445.68259
Burgeth, Bernhard (ed.) et al., Mathematical morphology and its applications to signal and image processing. 14th international symposium, ISMM 2019, Saarbrücken, Germany, July 8–10, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11564, 3-15 (2019).
Foreword. Formalization of geometry, automated and interactive geometric reasoning. (English) Zbl 1412.00052
Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq. (English) Zbl 1441.03011
Reviewer: Victor V. Pambuccian (Glendale)
Formalization of the arithmetization of Euclidean plane geometry and applications. (English) Zbl 1394.68349
On affine tropical F5 algorithms. (English) Zbl 1467.13054
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 383-390 (2018).
The undecidability of orthogonal and origami geometries. (English) Zbl 1509.03036
Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10944, 250-270 (2018).
A tropical F5 algorithm. (English) Zbl 1457.14128
Burr, Michael (ed.), Proceedings of the 42nd international symposium on symbolic and algebraic computation, ISSAC 2017, Kaiserslautern, Germany, July 25–28, 2017. New York, NY: Association for Computing Machinery (ACM). 429-436 (2017).
Existence of the category \(\mathit{DTC}_2(k)\) equivalent to the given category \(\mathit{KAC}_2\). (English) Zbl 1377.68280
Ukr. Math. J. 67, No. 8, 1264-1276 (2016) and Ukr. Mat. Zh. 67, No. 8, 1122-1133 (2015).
Pruning algorithms for pretropisms of Newton polytopes. (English) Zbl 1453.52015
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 489-503 (2016).
Process grammar: the basis of morphology. (English) Zbl 1267.68012
New York, NY: Springer (ISBN 978-1-4614-1814-6/hbk). xvii, 544 p. (2012).
Reviewer: Neculai Curteanu (Iaşi)
Truth, modality and intersubjectivity. (English) Zbl 1146.03003
Reviewer: Albert A. Mullin (Madison)
Algebraic geometry in first-order logic. (English. Russian original) Zbl 1181.03064
J. Math. Sci., New York 137, No. 5, 5049-5097 (2006); translation from Sovrem. Mat. Prilozh. 2004, No. 22 (2004).
Proceedings of the first international workshop on Euler diagrams (Euler 2004), University of Brighton, Brighton, UK, September 22–23, 2004. (English) Zbl 1110.03302
Electronic Notes in Theoretical Computer Science 134. Amsterdam: Elsevier. 202 p. (2005).
Features of interaction between formal concept analysis and algebraic geometry. (English) Zbl 1152.68622
Ganter, Bernhard (ed.) et al., Formal concept analysis. Foundations and applications. Berlin: Springer (ISBN 3-540-27891-5/pbk). Lecture Notes in Computer Science 3626. Lecture Notes in Artificial Intelligence, 49-80 (2005).
A historical overview of fuzzy mathematics. (English) Zbl 1069.03050
Reviewer: Siegfried J. Gottwald (Leipzig)
An introduction to fuzzy logic and fuzzy sets. (English) Zbl 0985.03002
Advances in Soft Computing. Heidelberg: Physica-Verlag. x, 285 p. (2002).
Reviewer: R.Mesiar (Bratislava)
Separoids: a mathematical framework for conditional independence and irrelevance. (English) Zbl 1314.68308
Mathematics mechanization: A survey. (Chinese. English summary) Zbl 0999.03009
Fuzzy mathematics. (English) Zbl 0997.03043
Davis, Larry S. (ed.), Foundations of image understanding. Boston: Kluwer Academic Publishers. Kluwer Int. Ser. Eng. Comput. Sci. 628, 95-125 (2001).
Reviewer: Witold Pedrycz (Edmonton)
Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25–27, 2000. Revised papers. (English) Zbl 0971.00045
Lecture Notes in Computer Science 2061. Lecture Notes in Artificial Intelligence. Berlin: Springer. viii, 325 p. (2001).
Fuzzy mathematics. An introduction for engineers and scientists. 2nd ed. (English) Zbl 1009.03002
Studies in Fuzziness and Soft Computing. 20. Heidelberg: Physica-Verlag. xiii, 310 p. (2001).
Reviewer: Siegfried Johannes Gottwald (Leipzig)
Weakly biased arrays, almost independent arrays and error-correcting codes. (English) Zbl 1001.94026
Barg, Alexander (ed.) et al., Codes and association schemes. DIMACS workshop, DIMACS Center, Princeton, NJ, USA, November 9-12, 1999. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 56, 33-46 (2001).
Reviewer: Jerzy Żurawiecki (Lublin)
Simplifying von Plato’s axiomatization of constructive apartness geometry. (English) Zbl 0939.03069
Reviewer: Victor V.Pambuccian (Phoenix)
Points, lines and diamonds: A two-sorted modal logic for projective planes. (English) Zbl 0941.03020
Automated deduction in geometry. 2nd international workshop, ADG ’98, Beijing, China, August 1–3, 1998. Proceedings. (English) Zbl 0929.00067
Lecture Notes in Computer Science 1669. Lecture Notes in Artificial Intelligence. Berlin: Springer. vii, 287 p. (1999).
Statistical manifolds, self-parallel curves and learning processes. (English) Zbl 0947.62004
Dalang, Robert C. (ed.) et al., Seminar on Stochastic analysis, random fields and applications. Centro Stefano Franscini, Ascona, Italy, September 1996. Basel: Birkhäuser. Prog. Probab. 45, 87-99 (1999).
Reviewer: Serguey M.Pokas (Odessa)
Formal concepts analysis and algebraic geometry. (English) Zbl 0931.06006
Aachen: Shaker Verlag. 96 p. (1999).
Reviewer: P.Schenzel (Halle)
Temporal patterns and modal structure. (English) Zbl 0933.03013
Reviewer: P.Materna (Praha)
The modal multilogic of geometry. (English) Zbl 0921.03022
Reviewer: E.Quaisser (Potsdam)
Fuzzy mathematics. An introduction for engineers and scientists. (English) Zbl 0956.03046
Studies in Fuzziness and Soft Computing. 20. Heidelberg: Physica-Verlag. xiv, 258 p. (1998).
Reviewer: Siegfried Johannes Gottwald (Leipzig)
A complete axiom system for polygonal mereotopology of the real plane. (English) Zbl 0921.03009
Reviewer: E.Quaisser (Potsdam)
Automated geometric reasoning: Dixon resultants, Gröbner bases, and characteristic sets. (English) Zbl 0910.03010
Wang, Dongming (ed.), Automated deduction in geometry. International workshop, Toulouse, France, September 27–29, 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1360, 1-36 (1998).
Reviewer: Josef Šajda (Bratislava)
Automated deduction in geometry. International workshop, Toulouse, France, September 27–29, 1996. Proceedings. (English) Zbl 0888.00016
Lecture Notes in Computer Science 1360. Lecture Notes in Artificial Intelligence. Berlin: Springer. vii, 235 p. (1998).
A diagrammatic inference system for geometry. (English) Zbl 0861.03027
Seligman, Jerry (ed.) et al., Logic, language and computation. Vol. 1. Proceedings of the conference on information-oriented approaches to logic, language and computation, Moraga, CA, USA, June 12–15, 1994. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 58, 363-371 (1996).
Automated deduction in equational logic and cubic curves. (English) Zbl 0921.03011
Lecture Notes in Computer Science 1095. Lecture Notes in Artificial Intelligence. Berlin: Springer-Verlag. ix, 231 p. DM 54.00; öS 394.20; sFr. 48.00 (1996).
Elements of mechanical geometry. (Éléments de géométrie mécanique.) (French) Zbl 0871.51010
Paris: Hermes. 176 p. (1994).
Reviewer: G.Ehrig (Berlin)
Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang. (English) Zbl 0831.03003
Reviewer: A.Leitsch (Wien)
Automated development of fundamental mathematical theories. (English) Zbl 0773.03010
Automated Reasoning Series. 2. Dordrecht: Kluwer Academic Publishers. xviii, 271 p. (1992).
Reviewer: H.J.Ohlbach (Saarbrücken)
Equations-solving and theorems-proving zero-set formulation and ideal formulation. (English) Zbl 0940.68505
Li, Zhong (ed.) et al., Proceedings of the Asian mathematical conference 1990, Hong Kong, August 14-18, 1990. Singapore: World Scientific. 1-10 (1992).
Artificial intelligence. Proceedings of the Ninth International Joint Conference on Artificial Intelligence (IJCAI ’85), Los Angeles, California, August 18-23, 1985, Volumes 1, 2. (English) Zbl 0578.68072
International Joint Conferences on Artificial Intelligence, Inc. Los Altos, California: Morgan Kaufmann Publishers, Inc. (Distr.). XVIII, XIV, 1312 p. £62.95 (1985).
Reviewer: N.Curteanu
Proving elementary geometry theorems using Wu’s algorithm. (English) Zbl 0578.68079
Automated theorem proving, Proc. Spec. Sess., 89th Meet. Am. Math. Soc., Denver/Colo. 1983, Contemp. Math. 29, 243-286 (1984).
Reviewer: M.M.Richter
On the decision problem and the mechanization of theorem-proving in elementary geometry. (English) Zbl 0578.68078
Automated theorem proving, Proc. Spec. Sess., 89th Meet. Am. Math. Soc., Denver/Colo. 1983, Contemp. Math. 29, 213-234 (1984).
Reviewer: M.M.Richter
Some recent advances in mechanical theorem-proving of geometries. (English) Zbl 0578.68077
Automated theorem proving, Proc. Spec. Sess., 89th Meet. Am. Math. Soc., Denver/Colo. 1983, Contemp. Math. 29, 235-241 (1984).
Reviewer: M.M.Richter
Formalization of constructivity in Automath. (English) Zbl 0562.03032
EUT-Rep., Eindhoven 84-WSK-03, 76-101 (1984).
Résolution algébrique des systèmes d’équations algébriques. (French) Zbl 0489.68033
Mathematiques appliquees, 1er Colloq. AFCET-SMF, Palaiseau 1978, Tome II, 293-299 (1978).
Algorithmische Theorien und konstruktive Geometrie. (German) Zbl 0404.03054
Hochschul-Sammlung Naturwissenschaft. Informatik Band 2. Institut für Informatik der Universität Stuttgart. 72 S. (1978).
Algorithmes fondamentaux en algèbre commutative. (French) Zbl 0353.13002
Astérisque 38-39, 131-138 (1976).
Filter Results by …
Document Type
- Journal Articles (37)
- Collection Articles (22)
- Books (16)
- arXiv Preprints (2)
all
top 5
Author
- Mordeson, John N. (4)
- Wu, Wenjun (4)
- Grigor’ev, Dmitriĭ Yur’evich (3)
- Lazard, Daniel (3)
- Vaccon, Tristan (3)
- Wang, Dongming (3)
- Balbiani, Philippe (2)
- Becker, Tim (2)
- Boulier, François (2)
- Boutry, Pierre (2)
- Chou, Shangching (2)
- Coghetto, Roland (2)
- Falkensteiner, Sebastian (2)
- Gao, Xiaoshan (2)
- Görlach, Paul (2)
- López-Ortiz, Alejandro (2)
- Nair, Premchand S. (2)
- Narboux, Julien (2)
- Noordman, Marc Paul (2)
- Schreck, Pascal (2)
- Schuierer, Sven (2)
- Sommars, Jeff (2)
- Verron, Thibaut (2)
- Yokoyama, Kazuhiro (2)
- Barbaresco, Frédéric (1)
- Bennett, Brandon (1)
- Bickford, Mark (1)
- Bierbrauer, Jürgen (1)
- Bogomolov, Fedor Alekseivich (1)
- Braun, Gabriel (1)
- Buckley, James J. (1)
- Burdet, Guy (1)
- Caruso, Xavier (1)
- Combe, Philippe (1)
- Cuzzolin, Fabio (1)
- Davis, Ernest (1)
- Dawid, Alexander Philip (1)
- de Bruijn, Nicolaas Govert (1)
- Demey, Lorenz (1)
- Dimov, Georgi D. (1)
- Düntsch, Ivo (1)
- Dugat, Vincent (1)
- Edalat, Abbas (1)
- Eslami, Esfandiar (1)
- Farb, Benson (1)
- Fariñas del Cerro, Luis (1)
- Filipp, Stefan (1)
- Gabai, David (1)
- Garay López, Cristhian (1)
- Girard, Jean-Yves (1)
- Gismondi, Francesco (1)
- Gries, Charly (1)
- Haiech, Mercedes (1)
- Hauenstein, Jonathan D. (1)
- Ida, Tetsuo (1)
- Inoué, Takao (1)
- Jha, Sunil Kumar (1)
- Jia, Peifa (1)
- Jiang, Guixin (1)
- Joshi, Aravind K. (1)
- Kapur, Deepak (1)
- Kerckhoff, Steven P. (1)
- Kerre, Etienne E. (1)
- Kovács, Laura Ildikó (1)
- Kwek, Leong Chuan (1)
- Kyaw, Thi Ha (1)
- León Sánchez, Omar (1)
- Leyton, Michael (1)
- Li, Dafa (1)
- Li, Xinxin (1)
- Li, Zixian (1)
- Lopez, Anne (1)
- Luengo, Isabel (1)
- Ma, Zhengming (1)
- Makowsky, Johann-Andreas (1)
- Maragos, Petros (1)
- Matusevich, Laura Felicia (1)
- McCune, William W. (1)
- Nencka, Hanna (1)
- Padmanabhan, Ranganathan (1)
- Peterson, Chris (1)
- Plotkin, Boris (1)
- Podol’skiĭ, Vladimir Vladimirovich (1)
- Possieri, Corrado (1)
- Pratt, Ian A. (1)
- Quaife, Art (1)
- Richter-Gebert, Jürgen (1)
- Ríder Moyano, Alfonso (1)
- Rubio Ruiz, Rafael María (1)
- Schellwat, Holger (1)
- Schoop, Dominik J. (1)
- Seeland, Horst (1)
- Sherman, Samantha N. (1)
- Shivam, Saumya (1)
- Sjöqvist, Erik (1)
- Smessaert, Hans (1)
- Sondhi, Shivaji L. (1)
- Thurston, William Paul (1)
- Toghani, Zeinab (1)
- Tong, Dianmin (1)
- and 13 more Authors
all
top 5
Serial
- Lect. Notes Comput. Sci. (4)
- J. Symb. Comput. (2)
- J. Autom. Reasoning (2)
- J. Log. Comput. (2)
- J. Appl. Non-Class. Log. (2)
- Ann. Math. Artif. Intell. (2)
- Stud. Fuzziness Soft Comput. (2)
- Formaliz. Math. (2)
- Int. J. Theor. Phys. (1)
- J. Franklin Inst. (1)
- Phys. Rep. (1)
- Ukr. Math. J. (1)
- J. Philos. Log. (1)
- Theor. Comput. Sci. (1)
- Ann. Pure Appl. Logic (1)
- Adv. Math., Beijing (1)
- Inf. Comput. (1)
- Int. J. Comput. Geom. Appl. (1)
- Math. Struct. Comput. Sci. (1)
- Appl. Algebra Eng. Commun. Comput. (1)
- Comput. Complexity (1)
- J. Algebr. Comb. (1)
- J. Math. Sci., New York (1)
- Bull. Symb. Log. (1)
- Math. Probl. Eng. (1)
- Eur. Math. Soc. Newsl. (1)
- Log. J. IGPL (1)
- Vietnam J. Math. (1)
- Found. Comput. Math. (1)
- RACSAM, Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. (1)
- New Math. Nat. Comput. (1)
- Autom. Reasoning Ser. (1)
- Electron. Notes Theor. Comput. Sci. (1)
- Adv. Soft Comput. (1)
- Texts Monogr. Symb. Comput. (1)
- SciPost Phys. (1)
all
top 3
Main Field
- 68-XX (77)
- 03-XX (42)
- 14-XX (28)
- 51-XX (21)
- 00-XX (10)
- 13-XX (10)
- 54-XX (8)
- 94-XX (5)
- 08-XX (4)
- 60-XX (4)
- 81-XX (4)
- 06-XX (3)
- 53-XX (3)
- 62-XX (3)
- 01-XX (2)
- 11-XX (2)
- 12-XX (2)
- 15-XX (2)
- 20-XX (2)
- 37-XX (2)
- 52-XX (2)
- 90-XX (2)
- 05-XX (1)
- 19-XX (1)
- 22-XX (1)
- 26-XX (1)
- 28-XX (1)
- 35-XX (1)
- 46-XX (1)
- 55-XX (1)
- 57-XX (1)
- 58-XX (1)
- 65-XX (1)
- 80-XX (1)
- 82-XX (1)
- 91-XX (1)
- 93-XX (1)
Biographic Reference
all
top 3
Software
- Gfan (4)
- SageMath (3)
- Coq (2)
- GeoCoq (2)
- Isabelle/HOL (2)
- Mizar (2)
- OTTER (2)
- SINGULAR (2)
- polymake (2)
- Automath (1)
- DEMiCs (1)
- DynamicPrevariety (1)
- GCLC (1)
- GEX (1)
- GeoGebra (1)
- JGEX (1)
- MACSYMA (1)
- Macaulay2 (1)
- Magma (1)
- Maple (1)
- MixedVol (1)
- NumericalNP (1)
- OpenGeoProver (1)
- PHCpack (1)
- PPL (1)
- QuTiP (1)
- R (1)
- Robotics (1)
- Separoids (1)
- VolEsti (1)
- VortexCalculations (1)
- lattice_polytope (1)
- polyhedra (1)
