Search results
From MaRDI portal
- definition and computation rules 2007-09-26 Paper From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions 2007-09-05...10 bytes (16 words) - 14:06, 6 October 2023
- Geometrical Loci Computation and Classification 2014-09-08 Paper https://portal.mardi4nfdi.de/entity/Q3104406 2011-12-19 Paper Erratum to ``A new algorithm...10 bytes (16 words) - 12:46, 7 October 2023
- snarks 2003-06-09 Paper Decomposing four-manifolds up to homotopy type 2003-04-08 Paper On the computation of \(L\)-groups and natural maps 2003-02-13 Paper...10 bytes (16 words) - 02:41, 11 December 2023
- 1932-01-01 Paper Bayes' Theorem 1931-01-01 Paper Bayes' Theorem: An Expository Presentation 1931-01-01 Paper Bayes' theorem. 1931-01-01 Paper The theory or probability...10 bytes (19 words) - 09:03, 7 October 2023
- dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method 2011-01-12 Paper Visually dynamic presentation of proofs...10 bytes (17 words) - 04:36, 9 December 2023
- families in relation to reducibility with respect to enumerability 2019-03-13 Paper Jump inversions of algebraic structures and the \({\Sigma}\)-definability...10 bytes (18 words) - 22:55, 11 December 2023
- defined by Coxeter-type presentations 1995-11-26 Paper REWRITING A SEMIGROUP PRESENTATION 1995-10-05 Paper Semigroup and Group Presentations 1995-06-08 Paper...10 bytes (19 words) - 09:56, 12 December 2023
- partial immunity to reinfection 2013-05-08 Paper UNRAVELING MARKOV PROCESSES IN MOVEMENT PATTERNS OF INDICATOR SPECIES IN RESPONSE TO CHEMICAL STRESSORS...10 bytes (18 words) - 22:07, 8 December 2023
- https://portal.mardi4nfdi.de/entity/Q2906689 2012-09-05 Paper Computation-free presentation of the fundamental group of generic \((p,q)\)-torus curves 2012-08-20...10 bytes (18 words) - 20:11, 8 December 2023
- topologies in higher descriptive set theory 2022-03-03 Paper How to have more things by forgetting how to count them 2021-10-29 Paper Forcing axioms via ground model...10 bytes (16 words) - 03:33, 25 September 2023
- first Hilbert coefficient of parameter ideals 2010-06-07 Paper On the computation of the jdeg of blowup algebras 2010-04-22 Paper The signature of the Chern...10 bytes (19 words) - 16:34, 6 December 2023
- analysis in hereditarily finite superstructures 2018-06-22 Paper The computational power of infinite time Blum-Shub-Smale machines 2017-09-04 Paper A sufficient...10 bytes (18 words) - 01:08, 11 December 2023
- 2008-04-28 Paper The computational complexity of basic decision problems in 3-dimensional topology 2008-04-14 Paper On balanced presentations of the trivial...10 bytes (20 words) - 21:10, 8 December 2023
- 2000-05-08 Paper A unified presentation of some classes of meromorphically multivalent functions 2000-04-27 Paper A unified presentation of certain subclasses...10 bytes (19 words) - 14:20, 28 January 2024
- Paper Presentations of finite simple groups: a computational approach. 2011-01-28 Paper Presentations of matrix rings 2010-08-19 Paper Presentations of finite...10 bytes (17 words) - 01:36, 11 December 2023
- CGS algorithm 1992-06-28 Paper A new presentation of orthogonal polynomials with applications to their computation 1992-06-28 Paper Avoiding breakdown and...10 bytes (17 words) - 14:50, 8 December 2023
- codes related to Arf semigroups 2018-10-26 Paper Semigroup-theoretical characterizations of arithmetical invariants with applications to numerical monoids...10 bytes (20 words) - 14:40, 8 December 2023
- Full Abstraction 2013-12-06 Paper An approach to innocent strategies as graphs 2012-05-24 Paper Preface to the special volume 2011-05-10 Paper https://portal...10 bytes (18 words) - 20:26, 11 December 2023
- parallel computation: Viscous flow around an ONERA M6 wing 1997-05-13 Paper A posteriori error estimation and adaptive finite element computation of the...10 bytes (21 words) - 15:49, 8 December 2023
- systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions 2017-01-13 Paper Random walks on semaphore codes...10 bytes (19 words) - 15:19, 12 December 2023