BZPEERReading, trust and collaboration for research
Menu

Discover

SearchFind papers, people, topics and opportunities from one place.GraphOpen maps around papers, topics and saved views.

Workspaces

HomeOpen the ranked research feed.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Source author record

Marius Buliga

Marius Buliga appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.MGLogic in Computer Sciencemath.LOmath.GTmath.CONeurons and Cognitionmath.DGmath.FAmath.GRmath.RAArtificial IntelligenceDistributed, Parallel, and Cluster ComputingFormal Languages and Automata TheoryInformation Theorymath.HOmath.ITMolecular Networks

Catalog footprint

What is connected

21works
17topics
3close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

21 published item(s)

preprint2020arXiv

Artificial chemistry experiments with chemlambda, lambda calculus, interaction combinators

Given a graph rewrite system, a graph G is a quine graph if it has a non-void maximal collection of non-conflicting matches of left patterns of graphs rewrites, such that after the parallel application of the rewrites we obtain a graph isomorphic with G. Such graphs exhibit a metabolism, they can multiply or they can die, when reduced by a random rewriting algorithm. These are introductory notes to the pages of artificial chemistry experiments with chemlambda, lambda calculus or interaction combinators, available from the entry page https://chemlambda.github.io/index.html . The experiments are bundled into pages, all of them based on a library of programs, on a database which contains hundreds of graphs and on a database of about 150 pages of text comments and a collection of more than 200 animations, most of them which can be re-done live, via the programs. There are links to public repositories of other contributors to these experiments, with versions of these programs in python, haskell, awk or javascript.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Graph rewrites, from graphic lambda calculus, to chemlambda, to directed interaction combinators

Here I report about the modifications of and relations between graphic lambda calculus, various formalisms which appeared under the name chemlambda and a version of directed interaction combinators. This is part of the study and experiments with the artificial chemistry chemlambda and the relations with lambda calculus or interaction combinators, as described in arXiv:2003.14332 and available from the entry page at https://chemlambda.github.io/index.html

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Geometric Ruzsa triangle inequality in metric spaces with dilations

The Appendix of the article arXiv:1212.5056 [math.CO] "On growth in an abstract plane" by Nick Gill, H. A. Helfgott, Misha Rudnev, contains a general "geometric Ruzsa triangle inequality" in a Desarguesian projective plane. The purpose of this note is to give a similar inequality for metric spaces with dilations, that is in the absence of an algebraic or incidence structure.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On graphic lambda calculus and the dual of the graphic beta move

This is a short description of graphic lambda calculus, with special emphasis on a duality suggested by the two different appearances of knot diagrams, in lambda calculus and emergent algebra sectors of the graphic lambda calculus respectively. This duality leads to the introduction of the dual of the graphic beta move. While the graphic beta move corresponds to beta reduction in untyped lambda calculus, the dual graphic beta move appears in relation to emergent algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Sub-riemannian geometry from intrinsic viewpoint

Gromov proposed to extract the (differential) geometric content of a sub-riemannian space exclusively from its Carnot-Carathéodory distance. One of the most striking features of a regular sub-riemannian space is that it has at any point a metric tangent space with the algebraic structure of a Carnot group, hence a homogeneous Lie group. Siebert characterizes homogeneous Lie groups as locally compact groups admitting a contracting and continuous one-parameter group of automorphisms. Siebert result has not a metric character. In these notes I show that sub-riemannian geometry may be described by about 12 axioms, without using any a priori given differential structure, but using dilation structures instead. Dilation structures bring forth the other intrinsic ingredient, namely the dilations, thus blending Gromov metric point of view with Siebert algebraic one.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Computing with space: a tangle formalism for chora and difference

What is space computing, simulation, or understanding? Converging from several sources, this seems to be something more primitive than what is usually meant by computation, something that was along with us since antiquity (the word "choros", "chora", denotes "space" or "place" and is seemingly the most mysterious notion from Plato, described in Timaeus 48e - 53c) which has to do with cybernetics and with the understanding of the front end visual system. It may have some unexpected applications, also. Here, inspired by Bateson (see Supplementary Material), I explore from the mathematical side the point of view that there is no difference between the map and the territory, but instead the transformation of one into another can be understood by using a formalism of tangle diagrams. This paper continues arXiv:1009.5028 "What is a space? Computations in emergent algebras and the front end visual system" and the arXiv:1007.2362 "Introduction to metric spaces with dilations".

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Emergent algebras

Inspired from research subjects in sub-riemannian geometry and metric geometry, we propose uniform idempotent right quasigroups and emergent algebras as an alternative to differentiable algebras. Idempotent right quasigroups (irqs) are related with racks and quandles, which appear in knot theory (the axioms of a irq correspond to the first two Reidemeister moves). To any uniform idempotent right quasigroup can be associated an approximate differential calculus, with Pansu differential calculus in sub-riemannian geometry as an example. An emergent algebra A over a uniform idempotent right quasigroup X is a collection of operations such that each operation emerges from X, meaning that it can be realized as a combination of the operations of the uniform irq X, possibly by taking limits which are uniform with respect to a set of parameters. Two applications are considered: we prove a bijection between contractible groups and distributive uniform irqs (uniform quandles) and that some symmetric spaces in the sense of Loos may be seen as uniform quasigroups with a distributivity property.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

More than discrete or continuous: a bird's view

I try to give mathematical evidence to the following equivalence, which is based on ideas from Plato (Timaeus): reality emerges from a more primitive, non-geometrical, reality in the same way as the brain construct (understands, simulates, transforms, encodes or decodes) the image of reality, starting from intensive properties (like a bunch of spiking signals sent by receptors in the retina), without any use of extensive (i.e. spatial or geometric) properties.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

Bipotentials for non monotone multivalued operators: fundamental results and applications

This is a survey of recent results about bipotentials representing multivalued operators. The notion of bipotential is based on an extension of Fenchel's inequality, with several interesting applications related to non associated constitutive laws in non smooth mechanics, such as Coulomb frictional contact or non-associated Drucker-Prager model in plasticity. Relations betweeen bipotentials and Fitzpatrick functions are described. Selfdual lagrangians, introduced and studied by Ghoussoub, can be seen as bipotentials representing maximal monotone operators. We show that bipotentials can represent some monotone but not maximal operators, as well as non monotone operators. Further we describe results concerning the construction of a bipotential which represents a given non monotone operator, by using convex lagrangian covers or bipotential convex covers.

0 citations0 reviewsNo code linkedOpen access